posted by user: nicopao || 3238 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

CiE 2020   Conference on Computability in Europe
RiE 2021   12th International Conference on Robotics in Education
DATE 2020   Design, Automation, and Test in Europe
AIP Journal - Indexed in Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
AIME 2021   Artificial Intelligence in Medicine in Europe
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
DATE 2021   Design, Automation and Test in Europe Conference
CiVEJ 2020   Civil Engineering and Urban Planning: An International Journal
BHA Volume 2020   “Warfare in the Twentieth Century Europe: The Balkan Wars from the Ottoman Turkish Perspective”
NLPI 2021   2nd International Conference on NLP & Information Retrieval