[Proof Complexity] COMPUTABILITY IN EUROPE 2015: Evolving Computability, Bucharest, Romania, June 29-July 3

S B Cooper pmt6sbc at maths.leeds.ac.uk
Thu Sep 25 23:01:01 CEST 2014

       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 2015: Evolving Computability
                  Bucharest, Romania
                       June 29 - July 3

CiE 2015 is the 11-th 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)


Ann Copestake (University of Cambridge)
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)


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


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)

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

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.


Marat Arslanov (Kazan), Jeremy Avigad (Pittsburgh), Veronica Becher
(Buenos Aires), Arnold Beckmann (Swansea), Laurent Bienvenu (Paris),
Gabriel Ciobanu (Bucharest), 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
(Storrs, Connecticut), 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 (Bremen), 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), Dag Normann (Oslo), Ian Pratt-Hartmann
(Manchester), Mehrnoosh Sadrzadeh (London), Anne Smith (St Andrews),
Mariya Soskova (Sofia, co-chair), Paul Spirakis (Patras & Liverpool),
Susan Stepney (York), Jacobo Toran (Ulm), Marius Zimand (Towson, MD).

In a Call for Papers to be sent out in October 2014, the PC will
invite all researchers in the area of the conference to submit
their papers for presentation at CiE  2015.  The best of the
accepted papers will be published in the conference proceedings
within the Lecture Notes in Computer Science (LNCS) series of
Springer (tbc), which will be available at the conference.


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.cs.swan.ac.uk/acie
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