LTG Logic and Theory Group

The Logic and Theory Group (former Research Group for Theoretical Computer Science and Logic TIL) welcomes you to their homepage.

We are part of the Institute of Computer Science and Applied Mathematics at the Faculty of Science of the University of Bern.

Our partner group is the logic group of the Mathematical Institute of the University of Bern.