Logic List Mailing Archive

Colloquium in Honour of Ernst Specker in the Year of his 90th Birthday

29-30 Oct 2010
Zuerich, Switzerland

Colloquium in Honour of Ernst Specker in the Year of his 90th Birthday
----------------------------------------------------------------------
October 29-30, 2010
Department of Mathematics
ETHZ, Zurich, Switzerland

Official website and registration:
http://www.fim.math.ethz.ch/activities/colloquium_specker/

More background information about E. Specker:
http://www.cs.technion.ac.il/~janos/specker-90/

Topics will cover recent developments topics of E. Specker's work.
In particular:
* Recursive analysis
* Combinatorics
* Model theory
* Set theory
* Complexity theory
* Quantum theory and quantum computing

Confirmed speakers:
* A. Blass (University of Michigan, USA),
* E. Fischer (Technion-Israel Institute of Technology, Israel),
* J. Flum (University of Freiburg, Germany),
* M. Fuerer (The Pennsylvania State University, USA)
* H. Gaifman (Columbia University, New York, USA)
* E. Graedel (RWTH Aachen, Germany)
* N. Hungerbuehler (University of Fribourg und ETH Zurich, Switzerland)
* R. Kossak (CUNY, New York, USA)
* K. Tent (University of Muenster, Germany)
* S. Wolf (ETH Zurich, Switzerland)
* M. Ziegler (University of Freiburg, Germany)