Logic and Theory Group (LTG)

Welcome to the Logic and Theory Group (LTG) at the Institute of Computer Science of the University of Bern.
Welcome to the Logic and Theory Group (LTG) at the Institute of Computer Science of the University of Bern.
A few years ago we ended the LWB project and from then on we kept receiving enquiries as to whether it could be continued. In response to this, the small project Proof-Finder was created, which is programmed in Python and checks the derivability of formulas for the logics CPL and IL as well as the modal logics K and S4 and generates the corresponding LaTeX code. The project is open source and feedback, especially suggestions for improvement, are very welcome.
Two semester in row, LTG lecturers received the university’s
recognition of outstanding achievements in teaching:
Thomas Strahm for „Berechenbarkeit und Komplexität“, spring semester 19
Thomas Studer for „Modal Logic“, autumn semester 19
Two LTG students received the prize for the best thesis 2020 awarded by the Joint Alumni Association in Computer Science.
Nenad Savic received the award for the best PhD thesis and Michael Baur received the award for the best Master thesis.