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. Participation is free and no registration is required.
Location: MM C 78.1
(GEP-/Alumni-Pavillon), ETH Zürich, Leonhardstr. 34, Zürich, see
here.
Confirmed speakers:
Barry Cooper (Leeds)
Jack Copeland (Canterbury)
Martin Davis (Berkeley)
Juraj Hromkovic (Zurich)
Ueli Maurer (Zurich)
Stewart Shapiro (Ohio)
Christof Teuscher (Portland)
Wolfgang Thomas (Aachen)
The abstracts of the talks are available here.
Schedule (download pdf)
Friday, October 26, 2012:
10.00-11.00
|
Barry Cooper (Leeds)
|
Emergence as computation: the causal
content of Turing invariance |
11.15-12.15
|
Wolfgang Thomas (Aachen)
|
Algorithms:
From Al-Khwarizmi to Turing
and beyond |
14.00-15.00
|
Jack Copeland (Canterbury)
|
Turing:
Pioneer of the information age |
15.30-16.30
|
Christof Teuscher (Portland)
|
What
Turing didn’t know about his
unorganized machines |
| 17.30-18.30 |
Juraj Hromkovic (Zurich) |
Alan
Turing und die Gründung der Informatik
(popular scientific lecture in German)
|
Saturday, October 27, 2012:
09.15-10.15
|
Stewart Shapiro (Ohio)
|
The
open-texture of computability |
10.45-11.45
|
Martin Davis (Berkeley)
|
Universality
is ubiquituous |
11.45-12.45
|
Ueli Maurer (Zurich)
|
Alan
Turing – A father of cryptography |
Sponsors:
Chair of Philosophy (Michael Hampe), D-GESS, ETH Zürich
Book announcement: Herbert Bruderer, Konrad Zuse und die
Schweiz, Oldenbourg Verlag 2012. A
flyer
is available
here.
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).