Colloquium on Mathematical Logic

Overview of Talks given in 2015-2016

Thursday September 10, 2015 Sweelinckzaal, Drift 21, Utrecht 16:30--18:00 Zlatan Damnjanovic: A New Framework for Formalist Foundations of Mathematics Abstract
Thursday October 8, 2015 A.W. De Grootkamer (0.19), Trans 8, Utrecht 16:00-17:00 Marta Bilkova: Uniform Interpolation in Provability Logics via Proof Theory Abstract
Thursday March 17, 2016 Science Park, ILLC Building, room F1.15 15:30-17:00 Matteo Acclavio: A Proof of Coherence for Symmetric Monoidal Categories using Rewriting Abstract
Friday April 15, 2016 Science Park 107, room F1.15 13:00-14:00 Jeffrey M. Keisler (UMass Boston): Observing, Reporting and Deciding in Networks of Agents Abstract
Tuesday May 17, 2016 Bungehuis, Spuistraat 210, Amsterdam, room 0.04 13:00-17:00 Workshop in honour of Jouko Väänänen (Abramsky, Grädel, Magidor) Meeting Web Page
June 22, 2016 Room 610, Hans Freudenthal Building, Utrecht 16:00-17:00 Fabio Pasquali (Paris): Choice in Triposes Abstract