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 Autumn Semester of 2024 can be found here.