Institute of Computer Science

Research

LTG

Logic and Theory Group (LTG)

Logic land

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