Bern Logic Seminar
Due to measures taken to combat the coronavirus pandemic, there will not be any seminar talks at the university until further notice.
On May 27th, there will be an online seminar given by Vit Puncochar. If you wish to attend, please contact Prof. Dr. George Metcalfe or Prof. Dr. Thomas Studer.
On May 27th, there will be an online seminar given by Vit Puncochar. If you wish to attend, please contact Prof. Dr. George Metcalfe or Prof. Dr. Thomas Studer.
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 2020 can be found here.