[Proof Complexity] CiE 2015: Evolving Computability, Bucharest, June 29 - July 3, 2015

S B Cooper pmt6sbc at maths.leeds.ac.uk
Wed Oct 22 22:42:43 CEST 2014

      COMPUTABILITY IN EUROPE 2015: Evolving Computability
                   Bucharest, Romania
                    June 29 - July 3


Submission Deadline for LNCS:                 11 January 2015
Notification of authors:                         9 March 2015
Deadline for final revisions:                    6 April 2015

CiE 2015 is the 11th 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), Ponta Delgada (2010),
Sofia (2011), Cambridge (2012), Milan (2013) and Budapest (2014).

Evolution of the universe, and us within it, invite a parallel
evolution in understanding. The CiE agenda - fundamental and
engaged - targets the extracting and developing of computational
models basic to current challenges.  From the origins of life, to
the understanding of human mentality, to the characterising of
quantum randomness - computability theoretic questions arise in
many guises.  The CiE community, this coming year meeting for the
first time in Bucharest, carries forward the search for
coherence, depth and new thinking across this rich and vital
field of research.

In all cases we are looking for fundamental and theoretical
submissions. In line with other conferences in this series, CiE
2015 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.

For topics covered by the conference, please visit


  * John Reif (Duke Unversity)
  * Steve Simpson (Pennsylvania State University)


  * Ann Copestake (University of Cambridge)
  * Mircea Dumitru (University of Bucharest, Public Lecture)
  * Pawel Gawrychowski (Max-Planck-Institut fuer Informatik)
  * Julia Knight (University of Notre Dame)
  * Anca Muscholl (Universite Bordeaux)
  * Gheorghe Paun (Romanian Academy)
  * Alexander Razborov (University of Chicago
       and Steklov Mathematical Institute)
  * Vlatko Vedral (University of Oxford)


  * Representing streams
     (Organizers: Joerg Endrullis and Dimtri Hendriks)
  * Automata, logic and infinite games
     (Organizers: Dietmar Berwanger and Ioana Leustean)
  * Reverse mathematics
     (Organizers: Damir Dzhafarov and Alberto Marcone)
  * Classical computability theory
     (Organizers: Marat Arslanov and Steffen Lempp)
  * Bio-inspired computation
     (Organizers: Andrei Paun and Petr Sosik)
  * History and philosophy of computing
     (Organizers: Christine Proust and Marco Benini)


  * Marat Arslanov (Kazan)           * Jeremy Avigad (Pittsburgh)
  * Veronica Becher (Buenos Aires)   * Arnold Beckmann (Swansea)
  * Laurent Bienvenu (Paris)         * Alessandra Carbone (Paris)
  * Gabriel Ciobanu (Iasi)           * S Barry Cooper (Leeds)
  * Laura Crosilla (Leeds)           * Liesbeth De Mol (Ghent)
  * Walter Dean (Warwick)            * Volker Diekert (Stuttgart)
  * Damir Dzhafarov (Storrs, Connecticut)
  * Peter van Emde Boas (Amsterdam)  * Rachel Epstein (Harvard)
  * Johanna Franklin (Hempstead, NY) * Neil Ghani (Glasgow)
  * Joel David Hamkins (New York)    * Rosalie Iemhoff (Utrecht)
  * Emmanuel Jeandel (LORIA)         * Natasha Jonoska (Tampa, FL)
  * Antonina Kolokolova (St.John's, NL)
  * Antonin Kucera (Prague)          * Oliver Kutz (Magdeburg)
  * Benedikt Loewe (Hamburg & Amsterdam)
  * Jack Lutz (Ames, IA)             * Florin Manea (Kiel)
  * Alberto Marcone (Udine)          * Radu Mardare (Aalborg)
  * Joe Miller (Madison, WI)
  * Russell Miller (Flushing, NY)    * Mia Minnes (La Jolla, CA)
  * Victor Mitrana (Bucharest, co-chair)
  * Ian Pratt-Hartmann (Manchester)  * Dag Normann (Oslo)
  * Mehrnoosh Sadrzadeh (London)     * Anne Smith (St Andrews)
  * Mariya Soskova (Sofia, co-chair) * Susan Stepney (York)
  * Paul Spirakis (Patras & Liverpool)
  * Jacobo Toran (Ulm)               * Marius Zimand (Towson, MD)

The PROGRAMME COMMITTEE cordially invites all researchers
(European and non-European) in computability related areas to
submit their papers (in PDF format, max 10 pages using the LNCS
style) for presentation at CiE 2015.

The submission site
is open.

For submission instructions consult

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer


CiE 2015 http://fmi.unibuc.ro/CiE2015/

ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
Computability (Journal of CiE) http://www.computability.de/journal/
CiE on FaceBook https://www.facebook.com/AssnCiE
Association CiE on Twitter https://twitter.com/AssociationCiE

More information about the Proof-Complexity mailing list