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 |