Biological Computing
Organizers: Shankara Krishna and Paola Bonizzoni
- Giancarlo Mauri (Università di Milano-Bicocca)
- Natasha Jonoska (University of South Florida)
- Stephane Vialette (Université Paris-Est Marne-la-Vallée)
- Yasubumi Sakakibara (Keio University)
Computability of the Physical
Organizers: Barry Cooper and Cris Calude
- Seth Lloyd (MIT)
- Yuri Manin (Max-Planck Inst. Bonn/Northwestern) (talk delivered by Cristian Calude, due to incapacity of Yuri Manin)
- Cris Moore (via teleconference link from Santa Fe)
- David Wolpert (via teleconference link from Intelligent Systems Div., Ames Research Centre, NASA)
Computational Complexity
Organizers: Alan Selman and Luís Antunes
- Eric Allender (Rutgers, the State University of NJ)
- Christian Glaßer (Universität Würzburg)
- John Hitchcock (University of Wyoming)
- Rahul Santhanam (University of Edinburgh)
Proof Theory and Computation
Organizers: Fernando Ferreira and Martin Hyland
- Thorsten Altenkirch (University of Notthingham)
- Samuel Mimram (CEA LIST, Gif-sur-Yvette)
- Paulo Oliva (Queen Mary, London)
- Lutz Strassburger (INRIA, Paris)
Reasoning as Computation from Leibniz to Boole
Organizers: Benedikt Löwe and Guglielmo Tamburrini
- Nimrod Bar-Am (Sapir Academic College)
- Michèle Friend (The George Washington University)
- Olga Pombo (Universidade de Lisboa)
- Sara Uckelman (University of Amsterdam)
Web Algorithms and Computation
Organizers: Martin Olsen and Thomas Erlebach
- Hannah Bast (University of Freiburg)
- Debora Donato (Yahoo! Research Barcelona)
- Alex Hall (Google Switzerland GmbH)
- Jeannette Janssen (Dalhousie University)