| 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 |