Colloquium on Mathematical Logic

Overview of Talks given in 2014-2015

Wednesday October 22, 2014 Janskerkhof 13, room 0.06, Utrecht 15:00--16:00 Fan Yang: Propositional Dependence Logic PIIA Seminar Web Page
Wednesday November 5, 2014 ILLC, Science Park 107, Amsterdam, Room D1.112 16:00--17:00 Dorottya Sziraki: Algebraic Logic and Vaught's Conjecture Abstract
Wednesday November 19, 2014 Hans Freudenthal Building, Budapestlaan 6, Utrecht, Room 610 16:00--17:00 Kostas Tsaprounis: Long Reals Abstract
Friday November 28, 2014 Drift 6, room 0.07, Utrecht 10:00--14:30 Structure and Relations: F.A. Muller, B. van den Berg and J. Leo
Friday December 5, 2014 SP 107, room F1.15 (ILLC Seminar Room), Amsterdam 16:00--17:00 Volodya Shavrukov: Astrology of Nerode Semirings Abstract PIIA Seminar Web Page
Thursday December 11, 2014 Janskerkhof 13, room 006, Utrecht 16:00--18:00 Matthias Schirn: Frege: Second-Order Abstraction and Referential Indeterminacy Abstract
Friday December 12, 2014 Drift 6, room 007, Utrecht 16:00--17:00 Jouko Väänänen: Quantum Team Logic Abstract
Friday February 27, 2015 Belle van Zuylenzaal, Academiegebouw, Utrecht 09:15--18:00 Heyting Day: Talks by Lev Beklemishev, Paulo Oliva, Jaap van Oosten, Nick Bezhanishvili and Michael Rathjen (Heyting Lecture) Meeting Web page
Wednesday March 11, 2015 Hans Freudenthal Building, Budapestlaan 6, Utrecht, Room 610 16:00--17:00 Kostas Tsaprounis: Elementary embeddings and (very) large cardinals Abstract
Thursday-Friday April 16-17, 2015 Kromme Nieuwegracht 29, Utrecht 09:30--17:00 Utrecht Workshop on Proof Theory Meeting web page
Thursday May 28, 2015 Kanunnikenzaal, University Faculty Club (Academiegebouw), Utrecht 09:15--17:00 Meeting Theories and Rules Meeting web page
Thursday June 9, 2015 Huygens building room HG03.085, Nijmegen 09:15--17:00 Meeting Computability, Probability and Logic Meeting web page
Tuesday June 30, 2015 ILLC, room F1.15, Amsterdam 16:00--17:00 Benjamin Rin: On Set-theoretic and Transfinite Analogues of Epistemic Arithmetic and Flagg Consistency Abstract