Rosalie Iemhoff (mail: Rosalie.Iemhoff AT phil.uu.nl)
Benno van den Berg (mail: bennovdberg AT gmail.com)
Jaap van Oosten (mail: J.vanOosten AT uu.nl)
Starting 2000, the Colloquium on Mathematical Logic is a
joint event organized by the logicians at the Universiteit van Amsterdam and the
The CML meets irregularly in one of the two cities.
The Colloquium intends to bring together researchers working in Mathematical Logic and Logic related areas of Theoretical Computer Science and Philosophy.
It is also meant as a forum for (PhD) students and recent PhD's to present their own work.
We welcome talks! If you are interested, please contact us.
|Wednesday October 19, 2016||Room 012, Drift 23, Utrecht||16:00--17:00||Fedor Pakhomov: Transitive modal logics and second-order theories||Abstract|
|Thursday February 9, 2017||Room F1.15, Science Park 107, Amsterdam||16:00-17:00||Andrew Swan (ILLC): Lifschitz Realizability as a Topological Construction||Abstract|
|Friday March 31, 2017||Room 006, Janskerkhof 13, Utrecht||11:00-12:00||Lev Beklemishev (Moscow): On the algebraic model for reflection calculus with conservativity modalities||Abstract|