posted by user: nicopao || 2491 views || tracked by 11 users: [display]

CiE 2013 : Computability in Europe 2013


Conference Series : Conference on Computability in Europe
When Jul 1, 2013 - Jul 5, 2013
Where University of Milano-Bicocca
Submission Deadline Jan 20, 2013
Notification Due Mar 4, 2013
Final Version Due Apr 1, 2013
Categories    computer science

Call For Papers

COMPUTABILITY IN EUROPE 2013: The Nature of Computation
Milan, Italy
July 1 – 5, 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).

Please mark the conference dates in your agendas for 2013.


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.


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.

Related Resources

HCI-Europe 2018   HCI-Europe - Human Computer Interaction
IJMVSC 2018   The International Journal of Managing Value and Supply Chains
DATE E2 2018   Design, Automation, and Test in Europe, Topic E2: Compilers and Software Synthesis
ICDIP-Ei, Scopus and CPCI 2018   ICDIP 2018 The 10th International Conference on Digital Image Processing--Ei Compendex, Scopus and CPCI
IDECT/CIE 2018   International Design Engineering Technical Conferences & Computers & Information in Engineering Conference
IJIST 2018   The International Journal of Information Science & techniques
ICVL 2018   The 13th International Conference on Virtual Learning
ICAISE--IEEE, EI and Scopus 2018   2018 International Conference on Artificial Intelligence and Software Engineering (ICAISE 2018)--IEEE, EI Compendex and Scopus
ELC EU 2018   Embedded Linux Conference Europe 2018
Ada-Europe 2018   International Conference on Reliable Software Technologies