PAST MEETINGS
Annual Meeting 2019
Deontic Logic, Bern, October 2019. Speakers: Federico L.G. Faroldi,
Alessandro Giordani,
Piotr Kulicki,
Björn Lellmann,
Xavier Parent.
Annual Meeting 2018
Logic and Quantum Physics, Lugano, September 2018. Speakers: Claus Beisbart,
Olivia Caramello,
Gemma De Las Cuevas,
Stephan Hartmann,
Renato Renner,
Ruediger Schack,
Christian Wuethrich.
Annual Meeting 2017
Axiomatic Thinking: One hundred years since Hilbert’s address in Zurich, Zurich, September 2017. Speakers: Steve Awodey, John Bell, Nachum Dershowitz, Ulrich Felgner, Fernando Ferreira, Domenico Giulini, Lorenz Halbeisen, Gerhard Jäger, Laurent Lafforgue, Peter Schroeder-Heister, Wilfried Sieg
Annual Meeting 2016
Logic and Probability, Bern, October 2016. Speakers: Sebastiaan Terwijn, Zoran Ognjanovic, Ioannis Kokkinis, Dragan Doder, Matthias Unterhuber
Annual Meeting 2015
Computer Science meets Descriptive Set Theory, Lausanne, December 2015. Speakers: Olivier Finkel, Victor Selivanov, Bill Wadge
Annual Meeting 2014
Logical Pluralism, Neuchâtel, December 2014.
Speakers:
Aaron Cotnoir,
Catarina Dutilh Novaes, Matti Eklund,
Rosanna Keefe,
Julien Murzi, Ole Thomassen Hjortland
Annual Meeting 2013
Advances in Proof Theory, Bern, December 2013.
Speakers:
Wilfried Buchholz, Andrea Cantini, Roy Dyckhoff, Solomon Feferman,
Rajeev Goré, Per Martin-Löf, Pierluigi Minari, Grigori Mints, Wolfram
Pohlers, Michael Rathjen, Peter Schroeder-Heister, Peter Schuster,
Helmut Schwichtenberg, Anton Setzer, Stan Wainer
Annual Meeting 2012
Turing under Discussion, Zurich, October 2012.
Speakers: Barry Cooper, Jack Copeland, Martin Davis, Juraj Hromkovic, Ueli Maurer, Stewart Shapiro, Christof Teuscher, Wolfgang Thomas
Annual Meeting 2011
On the
Posterity of Büchi (Logic and Automata), Lausanne, March/April
2011.
Speakers: Mikolaj
Bojanczyk, Thomas Colcombet, Christof Löding, Wolfgang Thomas,
Igor Walukiewicz.
Annual Meeting 2010
Engeler Colloquium, Bern,
March 2010.
Speakers: Henk
Barendregt, Bruno Buchberger, Giuseppe Longo, Johann A. Makowsky,
Giuseppe Rosolini.
Annual Meeting 2009
Plurals
and Plural Quantification, Geneva, October 2009.
Speakers: Ghislain Guigon,
Øystein
Linnebo, Friederike Moltmann, Alex Oliver, Agustín
Rayo, Timothy Smiley, Gabriel Uzquiano.
Annual Meeting 2008
In conjunction with a
workshop
on recent trends in proof theory, Bern, July 2008,
immediately following the
Logic
Colloquium 2008.
Annual Meeting 2007
Structuralism,
Lausanne, November 2007.
Speakers:
Dennis Dieks
(Utrecht), Steven French (Leeds), Claus Kiefer (Cologne), Stewart
Shapiro
(Ohio State / St. Andrews).
Annual Meeting 2006
Foundational theories of
mathematics, Fribourg, October 2006.
Speakers: Peter
Aczel (Manchester), John Bell (Western Ontario), Bob Hale (Glasgow),
John Mayberry (Bristol).
Annual Meeting 2005
Constructivism,
Neuchatel, April 2005.
Speakers: Laura
Crosilla (Florence), Per Martin-Löf (Stockholm),
Dirk van Dalen (Utrecht).
Annual Meeting 2004
Modern uses of lambda
calculi, Bern, October 2004.
Speakers:
Andrea
Cantini (Florence), Mariangiola Dezani (Torino), Jean-Pierre
Desclés (Paris), Michael Esfeld (Lausanne),Peter Simons
(Leeds).
Annual Meeting 2003
Logic and the net,
Münchenwiler, October 2003.
Speakers:
Kai
Brünnler (Bern), Michel Krebs, Markus Sprenger (Bern), Ulrich
Reimer (Kreuzlingen), Bernhard Zgraggen (Brig), Nic Wilson (Cork).
Annual Meeting 2002
Quantification,
Neuchatel, October 2002.
Speakers:
J. Kohlas (Fribourg), A. ter Meulen (Groningen), M. Parigot (Paris), V.
Peckhaus (Erlangen), G. Sommaruga (Fribourg).
Annual Meeting 2001
Logic and information,
Bern, October 2001.
Speakers: J.
van Benthem (Amsterdam), M. Cerezo (Navarra), P. Gochet
(Liège), H. Rott (Regensburg), H. Sturm
(Konstanz).