| September 19, 2003 | UvA | 16:00 (sharp) - 17:30 | Ian Hodkinson (London) | Random graphs and canonicity of algebras |
|---|---|---|---|---|
| October 3, 2003 | UU | 16:00 - 17:00 | Evan Goris (Amsterdam) | Extending ILM with an operator for Sigma1-ness |
| October 17, 2003 | UvA | 16:00 (sharp) - 17:30 | Dimitri Hendriks (UU/KUN) | Adbmal Abstract |
| October 30, 2003 (Hors série) | UU, Ruppertgebouw (Trans I,Leuvenlaan 19), room 114 | 16:00 - 17:00 | Gilles Dowek (École Polytechnique, INRIA) | Eigenvariables, bracketing and the decidability of positive minimal logic Abstract |
| October 31, 2003 | No seminar | |||
| November 14, 2003. Joint meeting with IHFS | UU, Minnaertgebouw, room 208 | 15:00 - 17:30 | Sonja Smets (Brussels) | From Quantum Physics to Operational Quantum Logic; on the Logicality of Quantum Systems Abstract |
| November 28, 2003 | UU | 16:00 - 17:00 | Clemens Kupke (Amsterdam) | Completeness for Coalgebraic Modal Logic via Stone Duality Abstract |
| 17:15 - 18:15 | Philipp Gerhardy (Aarhus) | Refined complexity analysis of cut elimination Abstract | ||
| December 12, 2003 | UvA | 16:15 - 17:00 | Philip Welch (Bristol) | Infinite games of perfect information and Quasi-inductive definitions Abstract |
| January 15, 2004 | UU | PROVABILITY LOGIC: NEW FRONTIERS. One-day event organized by the Department of Philosophy of Utrecht University in connection with the visit of Prof. Sergei N. Artemov.Detailed information and preliminary program | ||
| January 16, 2004 | UvA | 16:00 (sharp) - 17:00 | Meeting cancelled! | |
| January 23, 2004 | UU Academiegebouw, Opzomerkamer | 16:00 - 17:00 | Sergei Artemov (New York NY) | Reflexive Combinatory Logic. Abstract |
| January 30, 2004. Joint meeting with IHFS | UU, Minnaertgebouw, room 107A | 15:00 - 17:00 | Jan Wolenski (Kraków) | The status of T-sentences |
| February 6, 2004. Symposium Philosophy of Constructive Type Theory | Leiden, WSD complex, building 1175, room 148 | 11:00 - 18:30 | Day around Per Martin-Löf | Program |
| February 13, 2004 | UU | 16:00 - 17:00 | Klaas Pieter Hart (Delft) | Embeddability of the measure algebra Abstract |
| March 2, 2004 | UvA | 17:00 - 18:00 | Nicola Gambino (Cambridge) | Wellfounded Trees, Fixpoints and Free Monads Abstract |
| March 12, 2004 | UU, Wiskundegebouw, Budapestlaan, Utrecht, room K11 (Bus 11 from Central Station) | 16:00 - 17:00 | Claire Kouwenhoven (Utrecht) | The algebraic set theory of the effective topos Abstract |
| March 22, 2004 (Hors série) | UvA | 17:00 - 19:00 | VILEM NOVAK (University of Ostrava, Czech Republic) | Mathematical Principles of Fuzzy Logic Abstract |
| March 26, 2004 (Cancelled!) | UvA | 16:00 - 17:00 | Alfred Jurcka (UU) | Cardinal Characteristics of the Continuum |
| April 16, 2004 | UvA | 16:00 - 17:00 | Nick Bezhanishvili (UvA) | The logic of the Rieger-Nishimura ladderAbstract |
| May 14, 2004 | UU, Wiskundegebouw, Budapestlaan, Utrecht, room K11 (Bus 11 from Central Station) | 16:00 - 17:00 | Andreas Weiermann (UU) | Classifying the phase transition for Ackermannian Paris Harrington functionsAbstract |