[ Call for Theses and Job Openings ]

Logic Technology for Computer Science Education (LOGTECHEDU) is a project of the Johannes Kepler University (JKU) at the Linz Institute of Technology (LIT) pursued from 2018 to 2020 jointly by the Institute for Formal Methods and Verification (FMV, Armin Biere and Martina Seidl) and the Research Institute for Symbolic Computation (RISC, Wolfgang Schreiner and Wolfgang Windsteiger) in cooperation with the Department of MINT/STEM Education of the Linz School of Education (Barbara Sabitzer and Markus Hohenwarter).


The project pursues novel logic-based software tools for education, with focus on undergraduate university courses in computer science and mathematics. The project pursues various research strands on

  • Solver Guided Exercises,
  • Teaching Solver Technology,
  • Proof Assistants for Education (Theorema),
  • Specification and Verification Systems for Education (RISCAL), and
  • Logic across the Subjects in Primary, Secondary and Higher Education.


Prof. Armin Biere
Institute for Formal Models and Verification
Johannes Kepler University (JKU)
A-4040 Linz, Austria


https://fmv.jku.at/software     (solvers)

http://www.risc.jku.at/research/theorema/software     (Theorema)

http://www.risc.jku.at/research/formal/software/RISCAL     (RISCAL)

https://fmv.jku.at/logtechedu/call.pdf     (call for theses and job openings)