The Nature of Computation: Logic, Algorithms, Applications (CiE 2013)

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).

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.

TUTORIAL SPEAKERS:  Gilles Brassard (Universite de Montreal) and Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and University of Colorado at Boulder)

PLENARY TALKS:
Ulle Endriss (University of Amsterdam)
Lance Fortnow (Georgia Institute of Technology)
Anna Karlin (University of Washington)
Bernard Moret (Ecole Polytechnique Federale de Lausanne)
Mariya Soskova (Sofia University)
Endre Szemeredi (Hungarian Academy of Sciences, Rutgers University)

SPECIAL SESSIONS:
* Algorithmic Randomness (organizers: Mathieu Hoyrup, Andre Nies)
Speakers: Johanna Franklin (University of Connecticut, USA), Noam Greenberg (Victoria University, New Zealand), Joseph S. Miller (University of Wisconsin, USA), Nikolay Vereshchagin (Moscow State University, Russia)

* Computational Complexity in the Continuous World (organizers: Akitoshi Kawamura, Robert Rettinger)
Speakers: Mark Braverman (Princeton University, USA), Daniel S. Graca (Universidade do Algarve), Joris van der Hoeven (Ecole polytechnique, France), Chee K. Yap (New York University, USA)

* Computational Molecular Biology (organizers: Alessandra Carbone, Jens
Stoye)
Speakers: Sebastian Boecker (University of Jena, Germany), Marilia D. V. Braga (Inmetro, Brazil), Andrea Pagnani (Human Genetics Foundation, Italy), Laxmi Parida (IBM Thomas J. Watson Research Center, USA)

* Computation in Nature (organizers: Mark Daley, Natasha Jonoska)
Speakers: Jerome Durand-Lose (Univ. of Orleans, France),  Giuditta Franco (Univ. of Verona Italy),  Lila Kari (Univ. of Western Ontario, Canada), Darko Stefanovic (Univ. of New Mexico, USA)

* Data Streams and Compression (organizers: Paolo Ferragina, Andrew
McGregor)
Speakers: Graham Cormode (AT&T Labs, USA), Irene Finocchi (University of Rome, Italy), Andrew McGregor (University of Massachusetts, USA), Marinella Sciortino (University of Palermo, Italy).

* History of Computation (organizers: Gerard Alberts, Liesbeth De Mol)
Speakers:  David Alan Grier (George Washington University, USA), Thomas Haigh (University of Wisconsin, USA), Ulf Hashagen (Deutsches Museum, Germany), Matti Tedre (Stockholm University, Sweden).

CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

Women in Computability Workshop,  July 2, 2013:

We continue the programme "Women in Computability" supported by the journal "Annals of Pure and Applied Logic" (Elsevier).

Speakers: Irene Finocchi,  Laxmi Parida, Liesbeth De Mol

The Women in Computability workshop aims to bring together women in Computing and Mathematical research to present and exchange their academic and scientific experience with young researchers. The meeting will offer the CIE scientific community the opportunity to encourage young students, especially young female researchers, to have active careers in the mathematical and computational sciences.

Contact: Paola Bonizzoni - bonizzoni at disco.unimib.it

Website: