Recent and upcoming talks by Johan van Benthem

Logic Colloquium 2015, August 3-8, 2015

The annual European Summer Meeting of the Association for Symbolic Logic, the Logic Colloquium 2015 (LC 2015), will be organized in Helsinki, Finland, 3-8 August 2015. Logic Colloquium 2015 is co-located with the 15th Conference of Logic, Methodology and Philosophy of Science, CLMPS 2015, and with the SLS Summer School in Logic. continue reading…

Logic Colloquium 2013, July 22-27, 2013

Logic Colloquium 2013, organized under the auspices of the Association for Symbolic Logic, will be held in Évora, Portugal, on July 22-27, 2013. Tutorials: » Ould Houcine (Université Lyon) » Luke Ong (University of Oxford) Plenary speakers: » Johan van Benthem (University of Amsterdam) » Mikolaj Bojanczyk (Warsaw University) » Jorg Brendle (Kobe University) » Stephen Lempp (University of Wisconsin-Madison) » Rosalie Iemhoff (Utrecht University) » François Loeser (Université Pierre et Marie Curie) » Maryanthe Malliaris (University of Chicago) » Andrey Morozov (Novosibirski State University) » Asger Tornquist (University of Copenhagen) » Vladimir Voevodsky (Institute for Advanced Study) Special sessions: » Logic and analysis (Organizers: Mauro Di Nasso and Imme van den Berg): – Hannes Diener (University of Siegen) – Bruno Dinis (Universidade Nova de Lisboa) – Isaac Goldbring (University of Illinois at Chicago) – Tom Lindstroem (University of Oslo) » Computability (Organizers: Valentina Harizanov and Félix Costa): – Samson Abramsky (University of Oxford) – Paul Shafer (Université Paris Diderot – Paris 7) – Amilcar Sernadas (Instituto Superior Técnico) – Mariya Soskova (Sofia University) » Model theory (Organizers: Katrin Tent and Mário Edmundo): – Artem Chernikov (The Hebrew University of Jerusalem) – Itay Kaplan (University of Münster) – Tamara Servi (CMAF Universidade de Lisboa) – Margaret Thomas (University of Konstanz) » Logical analysis of mathematical proofs (Organizers: Matthias Baaz and Fernando Ferreira): – Reinhard Kahle (Universidade Nova de Lisboa) – Alexander Kreuzer (Ecole Normale Supérieure de Lyon) – Alexander Leitsch (Vienna University of Technology) – Benno van den Berg (Utrecht University) » Set theory (Organizers: Sakae Fuchino and Boban Velickovic): – David Aspero (University of East Anglia) – Charles Morgan (University College London) – Ben Miller (University of Munster) – Toshimichi Usuba (Kobe University) continue reading…

This Week in Logic at CUNY

  Computational Logic Seminar November 13, Time 2:00 – 4:00 PM, GC Room 3309 Speaker: Wojtek Moczydlowski, Google Title: Applied higher infinities in impredicative constructive set theories. Abstract: The Intuitionistic Zermelo Fraenkel set theory IZF was introduced by Myhill more than 30 years ago, starting investigations into the world of constructive set theories. continue reading…