Annual Meeting 2012 - Turing under Discussion
The SSLPS Annual Meeting 2012
will held at the ETH in Zürich on October 26 and 27, 2012. It is
organized by Herbert Bruderer (ETH Zürich), Giovanni Sommaruga
(ETH Zürich, Chair), and Thomas Strahm (Universität Bern).
The meeting is entitled "Turing under
Discussion" and is a contribution to the Turing Centenary celebrations.
Confirmed speakers:
Barry Cooper (Leeds)
Jack Copeland (Canterbury)
Martin Davis (Berkeley)
Juraj Hromkovic (Zürich)
Ueli Maurer (Zürich)
Stewart Shapiro (Ohio)
Christof Teuscher (Portland)
Wolfgang Thomas (Aachen)
PAST MEETINGS
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).