Institute for Logic, Language and Computation
CiE-CS: CiE 2013
CiE 2013: The Nature of Computation: Logic, Algorithms, Applications.
Milano, Italy. 1-5 July 2013.

Organizers. Paola Bonizzoni (Milano), Giancarlo Mauri (Milano), Gianluca Della Vedova (Milano).

Programme Committee Chairs. Paola Bonizzoni (Milano), Vasco Brattka (Cape Town).

The conference CiE 2013 will be co-located with the conference Unconventional Computation & Natural Computation 2013 (UCNC 2013).

Programme Committee. Gerard Alberts (Amsterdam), Luís Antunes (Porto), Arnold Beckmann (Swansea), Laurent Bienvenu (Paris), Paola Bonizzoni (Milano, co-chair), Vasco Brattka (Cape Town, co-chair), Cameron Buckner (Houston TX), Bruno Codenotti (Pisa), Stephen Cook (Toronto ON), Barry Cooper (Leeds), Ann Copestake (Cambridge), Erzsébet Csuhaj-Varjú (Budapest), Anuj Dawar (Cambridge), Gianluca Della Vedova (Milano), Liesbeth De Mol (Gent), Jérôme Durand-Lose (Orléans), Viv Kendon (Leeds), Bjørn Kjos-Hanssen (Honolulu HI), Antonina Kolokolova (St. John's NF), Benedikt Löwe (Amsterdam), Giancarlo Mauri (Milano), Rolf Niedermeier (Berlin), Geoffrey Pullum (Edinburgh), Nicole Schweikardt (Frankfurt), Sonja Smets (Amsterdam), Susan Stepney (York), S. P. Suresh (Chennai), Peter van Emde Boas (Amsterdam).