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)