Sunday, September 19, 2010

Ernst Specker Colloquium, ETHZ Zurich

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:

More background information about E. Specker:

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)