posted by user: nicopao || 2418 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
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
SELICUP-POPULARCULTURE 2018   THE HUMANITIES AND THE CHALLENGES OF THE NEW EUROPE: CULTURE, LANGUAGES, IDENTITIES. 8th International Conference of the Spanish Society for the Study of Popular Culture
CAiSE 2018   CfP: CAiSE 2018 (30th International Conference on Advanced Information Systems Engineering)
DATE E2 2018   Design, Automation, and Test in Europe, Topic E2: Compilers and Software Synthesis
ICS 2018   the 32nd ACM International Conference on Supercomputing
SI BWild 2017   Image and Vision Computing (IVC) Special Issue on Biometrics in the Wild
SIGI 2017   3rd International Conference on Signal and Image Processing
CEECBE 2018   Central and Eastern Europe in the Changing Business Environment
VIIth AIDA Europe Conference 2018   De-Mystifying InsurTech – a Legal and Regulatory View