COMPUTABILITY IN EUROPE 2013: The Nature of Computation
Milan, Italy
July 1 – 5, 2013
http://cie2013.disco.unimib.it

CiE 2013 is the ninth conference organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011) and Cambridge (2012).

Please mark the conference dates in your agendas for 2013.

SPECIAL SESSIONS on:

Algorithmic Randomness. Chairs: Mathieu Hoyrup, Andre Nies
Computational Complexity in the Real World. Chairs: Akitoshi Kawamura, Robert Rettinger
Computational Molecular Biology. Chairs: Alessandra Carbone, Jens Stoye
Computation in Nature. Chairs: Mark Delay, Natasha Jonoska
History of Computation. Chairs: Gerard Alberts, Liesbeth De Mol
Data Streams and Compression. Chairs: Paolo Ferragina, Andrew McGregor
The Nature of Computation is meant to emphasize the special focus of CIE13 on the unexpected and strong changes that studies on Nature have brought in several areas of mathematics, physics, and computer science. Starting from
Alan Turing, research on Nature with a computational perspective has produced novel contributions, giving rise even to new disciplines.

Two complementary research perspectives pervade the Nature of Computation theme. One is focused on the understanding of new computational paradigms inspired by the processes occurring in the biological world, while focusing on a deeper and modern understanding of the theory of computation.

The other perspective is on our understanding of how computations really occur in Nature, on how we can interact with those computations, and on their applications.

The conference will address all these aspects besides the more established lines of research of Computational Complexity and the interplay between Proof Theory and Computation.

Novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency are welcome. Also, massive data analysis and computations are a recent subject of attention, since the most recent technologies produce huge amounts of data, and managing such data requires some theoretical frameworks.

In all cases we are looking for fundamental and theoretical submissions. In line with other conferences in this series, CiE2013 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computation with an emphasis on new paradigms of computation and the development of their mathematical theory.

We particularly invite papers that build bridges between different parts of the research community.

The PROGRAMME COMMITTEE consists of:

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)
The PC invites all researchers in the area of the conference to submit their papers for presentation at CiE 2013. The best of the accepted papers will be published in the conference proceedings within the Lecture Notes in Computer Science (LNCS) series of Springer. The volume will be available at the conference.