Logic and Theory Group (LTG)

Two Awards for LTG

Two LTG students received prizes for the best thesis 2021 awarded by the Joint Alumni Association in Computer Science.
David Lehnherr received the award for the best master thesis and Olivier Stähli received the award for the best bachelor thesis.

Ambizione project granted

Congratulations to Federico Faroldi for receiving an Ambizione grant from the Swiss National Science Foundation.
Looking very much forward to hosting his project "The Structure of Reasons" in our research group.

Success in Proof-Finder Project

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.

Recognition of Outstanding Achievements in Teaching

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

NEW BOOK AVAILABLE

NEW BOOK AVAILABLE