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.
|Saturday-Sunday October 6-7, 2018||Doelenzaal, University Library, Amsterdam||10:00--17:00||Peripatetic Seminar on Sheaves and Logic||Web page|
|Friday October 26, 2018||Room F1.15, Science Park 107, Amsterdam||16:00--17:00||Denis Saveliev (Steklov Mathematical Institute, Moscow): Hindman's finite sums theorem and its application to topologizations of algebras||Abstract|
|Friday November 30, 2018||Buys Ballot Gebouw Room 385, Utrecht||15:30-16:30||Matias Menni : The Unity and Identity of Decidable objects and double negation sheaves||Abstract|
|Friday June 28, 2019||Science Park 107, Amsterdam, F1.15||16:00-17:00||Makoto Fujiwara (Meiji, Konstanz) : Constructivism and weak logical principles in arithmetic||Abstract|