Bern Logic Seminar

The Bern Logic Seminar is organized by the Logic Group of the Mathematical Institute and Logic and Theory Group of the Institute of Computer Science at the University of Bern.

The schedule for the Spring Semester of 2025 can be found here.