Biological Computing

Organizers: Shankara Krishna and Paola Bonizzoni

Computability of the Physical

Organizers: Barry Cooper and Cris Calude

Computational Complexity

Organizers: Alan Selman and Luís Antunes

Proof Theory and Computation

Organizers: Fernando Ferreira and Martin Hyland

Reasoning as Computation from Leibniz to Boole

Organizers: Benedikt Löwe and Guglielmo Tamburrini

Web Algorithms and Computation

Organizers: Martin Olsen and Thomas Erlebach