1-5 July 2013
Milan, Italy
----------------------------------------------------------------------------
P R E L I M I N A R Y A N N O U N C E M E N T
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 organized 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.
INVITED SPEAKERS
Ulle Endriss (University of Amsterdam)
Lance Fortnow (Georgia Institute of Technology)
Bernard Moret (Ecole Polytechnique Fédérale de Lausanne)
Mariya Soskova (Sofia University)
Endre Szemerédi (Hungarian Academy of Sciences, Rutgers University)
TUTORIAL SPEAKERS
Gilles Brassard (Université de Montréal)
Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and
University of Colorado Boulder)
SPECIAL SESSIONS on
Algorithmic Randomness
organizers: Mathieu Hoyrup, Andre Nies
Data Streams and Compression
organizers: Paolo Ferragina, Andrew McGregor
Computational Complexity in the Continuous World
organizers: Akitoshi Kawamura, Robert Rettinger
Computational Molecular Biology
organizers: Alessandra Carbone, Jens Stoye
Computation in Nature
organizers: Mark Delay, Natasha Jonoska
History of Computation
organizers: Gerard Alberts, Liesbeth De Mol
The Nature of Computation is meant to emphasize the special focus of CiE 2013
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, CiE 2013 has a broad scope and
provides a forum for the discussion of theoretical and practical issues in
Computability 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)
Luis Antunes (Porto)
Arnold Beckmann (Swansea)
Laurent Bienvenu (Paris)
Paola Bonizzoni (Milan, co-chair)
Vasco Brattka (Muenchen and Cape Town, co-chair)
Cameron Buckner (Houston TX)
Bruno Codenotti (Pisa)
Stephen Cook (Toronto ON)
Barry Cooper (Leeds)
Ann Copestake (Cambridge)
Erzsebet Csuhaj-Varju (Budapest)
Anuj Dawar (Cambridge)
Gianluca Della Vedova (Milan)
Liesbeth De Mol (Gent)
Jerome Durand-Lose (Orleans)
Viv Kendon (Leeds)
Bjoern Kjos-Hanssen (Honolulu, HI)
Antonina Kolokolova (St. John's, NF)
Benedikt Loewe (Amsterdam & Hamburg)
Giancarlo Mauri (Milan)
Rolf Niedermeier (Berlin)
Geoffrey Pullum (Edinburgh)
Nicole Schweikardt (Frankfurt)
Sonja Smets (Amsterdam)
Susan Stepney (York)
S. P. Suresh (Chennai)
Peter van Emde Boas (Amsterdam)
In a Call for Papers to be sent out in October 2012, the PC will invite 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, which will be available at the conference.