Biological Computing
- Giancarlo Mauri (Università di Milano-Bicocca), June, 30, 15:50--16:30, Amphitheatre South
- Computational Complexity Aspects in Membrane Computing
- Natasha Jonoska (University of South Florida), June, 30, 16:40--17:20, Amphitheatre South
- DNA Rearrangements Through Spatial Graphs
- Stephane Vialette (Université Paris-Est Marne-la-Vallée), July, 1, 10:30--11:10, Amphitheatre South
- Searching for Connected/Functional Motifs in Biological Networks
- Yasubumi Sakakibara (Keio University), July, 1, 11:15--11:55, Amphitheatre South
- Development of a Bacteria Computer: From in silico finite Automata to in vitro and in vivo
Computability of the Physical
- Cris Moore (via teleconference link from Santa Fe), June, 30, 15:50--16:30, Aula Magna
- Analog Algorithms: a classical story from optimization
- David Wolpert (via teleconference link from Intelligent Systems Div., Ames Research Centre, NASA), June, 30, 16:40--17:20, Aula Magna
- Physical Inference of Dynamical Systems
- Yuri Manin (Max-Planck Inst. Bonn/Northwestern) (talk delivered by Cristian Calude, due to incapacity of Yuri Manin), July, 1, 10:30--11:10, Aula Magna
- Infinities in Quantum Field Theory and in Classical Computing: Renormalization Program
- Seth Lloyd (MIT), July, 1, 11:15--11:55, Aula Magna
Computational Complexity
- Eric Allender (Rutgers, the State University of NJ), June, 30, 15:50--16:30, Amphitheatre North
- Avoiding Simplicity is Complex
- Christian Glaßer (Universität Würzburg), June, 30, 16:40--17:20, Amphitheatre North
- Approximability and Hardness in Multi-Objective Optimization
- To be announced, July, 1, 10:30--11:10, Amphitheatre North
- Rahul Santhanam (University of Edinburgh), July, 1, 11:15--11:55, Amphitheatre North
- The Complexity of Explicit Constructions
