Welcome to the Logic and Theory Group (LTG) at the Institute of Computer Science of the University of Bern.
