Institute for Logic, Language and Computation
CiE-CS: CiE 2010
CiE 2010: Programs, Proofs, Processes.
Ponta Delgada (Açores), Portugal. June/July 2010.

Organizers: Luís Antunes, Fernando Ferreira, Elisabete Freire, Matthias Funk, Luís Gomes, Hélia Guerra, João Rasga

Programme Committee:

Klaus Ambos-Spies (Heidelberg), Luis Antunes (Porto), Paola Bonizzoni (Milano), Alessandra Carbone (Paris), Steve Cook (Toronto ON), Barry Cooper (Leeds), Erzsébet Csuhaj-Varjú (Budapest), Fernando Ferreira (Lisbon, co-chair), Nicola Galesi (Rome), Luís Mendes Gomes (Ponta Delgada), Rosalie Iemhoff (Utrecht), Achim Jung (Birmingham), Michael Kaminski (Haifa), Jarkko Kari (Turku), Viv Kendon (Leeds), James Ladyman (Bristol), Kamal Lodaya (Chennai), Giuseppe Longo (Paris), Benedikt Löwe (Amsterdam), Elvira Mayordomo Cámara (Zaragoza, co-chair), Wolfgang Merkle (Heidelberg), Russell Miller (New York NY), Dag Normann (Oslo), Isabel Oitavem (Lisbon), João Rasga (Lisbon), Nicole Schweikardt (Frankfurt), Alan Selman (Buffalo NY), Peter van Emde Boas (Amsterdam), Albert Visser (Utrecht)
Tutorial Speakers (partial list). Bruno Codenotti (Pisa).

Invited Speakers (partial list). Eric Allender (Piscataway NJ), José Luís Balcazar (Barcelona), Ronald de Wolf (Amsterdam), Denis Hirschfeldt (Chicago IL), Sara Negri (Helsinki), Toniann Pitassi (Toronto ON).

Special Sessions (organizers in parentheses).
  1. Reasoning and Computation from Leibniz to Boole.
  2. Biological Computing (Paola Bonizzoni).
  3. Computability of the Physical (Cris Calude, Barry Cooper).
  4. Proof Theory and Computation (Fernando Ferreira).
  5. Computational Complexity (Elvira Mayordomo and Alan Selman).
  6. Web Algorithms and Computation.