[Proof Complexity] Computability in Europe 2013: The Nature of Computation

CiE Conference Series cie.conference.series at gmail.com
Tue Oct 16 01:01:06 CEST 2012

       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

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.


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)


Gilles Brassard (Université de Montréal)
Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and
University of Colorado Boulder)


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

 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.


     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.


  ASSOCIATION COMPUTABILITY IN EUROPE      http://www.computability.org.uk
  CiE Conference Series                    http://www.illc.uva.nl/CiE
  CiE 2013                                 http://cie2013.disco.unimib.it
  CiE Membership Application Form          http://www.cs.swan.ac.uk/acie

More information about the Proof-Complexity mailing list