Portal
UniBE

Faculties
& Institutes
Faculty of
Science
Institute of Computer Science

Faculties & Institutes

Faculty of Science

Institute of Computer Science

Institute of Computer Science

Research

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.

News and Events

Antonis Achilleos speaks at the LTG seminar

Dr. Mladen Vukovic speaks at the LTG seminar

Relationale Datenbanken

NEW BOOK AVAILABLE

Logics of Proofs and Justifications

NEW BOOK AVAILABLE

Vorherige Weitere