CiE 2015 conference topics include, but not limited to:

  • Admissible sets
  • Algorithms
  • Analog computation
  • Artificial intelligence
  • Automata theory
  • Bioinformatics and bio-inspired computation
  • Bounded arithmetic
  • Classical computability and degree structures
  • Cognitive science and modelling
  • Complexity classes
  • Computability theoretic aspects of programs
  • Computable analysis and real computation
  • Computable structures and models
  • Computational and proof complexity
  • Computational biology
  • Computational creativity
  • Computational learning and complexity
  • Computational linguistics
  • Concurrency and distributed computation
  • Constructive mathematics
  • Cryptographic complexity
  • Decidability of theories
  • Derandomization
  • DNA computing
  • Domain theory and computability
  • Dynamical systems and computational models
  • Effective descriptive set theory
  • Emerging and non-standard models of computation
  • Finite model theory
  • Formal aspects of program analysis
  • Formal methods
  • Foundations of computer science
  • Games
  • Generalized recursion theory
  • History of computation
  • Hybrid systems
  • Higher type computability
  • Hypercomputational models
  • Infinite time Turing machines
  • Kolmogorov complexity
  • Lambda and combinatory calculi
  • L-systems and membrane computation
  • Machine learning
  • Mathematical models of emergence
  • Molecular computation
  • Morphogenesis and developmental biology
  • Multi-agent systems
  • Natural computation
  • Neural nets and connectionist models
  • Philosophy of science and computation
  • Physics and computability
  • Probabilistic systems
  • Process algebras and concurrent systems
  • Programming language semantics
  • Proof mining and applications
  • Proof theory and computability
  • Proof complexity
  • Quantum computing and complexity
  • Randomness
  • Reducibilities and relative computation
  • Relativistic computation
  • Reverse mathematics
  • Semantics and logic of computation
  • Swarm intelligence and self-organisation
  • Type systems and type theory
  • Uncertain reasoning
  • Weak systems of arithmetic and applications


CiE 2015: Evolving Computability
Bucharest, Romania: 29 June to 3 July 2015

Organizers: Radu Gramatovici (Bucharest), Liviu Marin (Bucharest)
Programme Committee Chairs: Victor Mitrana (Bucharest), Mariya Soskova (Sofia)
Tutorial Speakers: John Reif (Duke Unversity), Steve Simpson (Pennsylvania State University)
Invited Speakers: Ann Copestake (University of Cambridge), Mircea Dumitru (University of Bucharest), Pawel Gawrychowski (University of Warsaw), Julia Knight (University of Notre Dame), Anca Muscholl (Université Bordeaux), Gheorghe Paun (Romanian Academy), Alexander Razborov (University of Chicago and Steklov Mathematical Institute), Vlatko Vedral (University of Oxford)

Conference Series

Computability in Europe

The conference series Computability in Europe started with CiE 2005. Since 2008 it is the conference series of the Association Computability in Europe.
The series is coordinated by the CiE Conference Series Steering Committee:

Arnold Beckmann (Swansea, chair, 2005-2017)
Laurent Bienvenu (Paris, 2012-2016)
Alessandra Carbone (Paris, 2014-2018)
Barry Cooper (Leeds, president of the Association CiE)
Natasha Jonoska (Tampa FL, 2011-2015)
Benedikt Löwe (Amsterdam, 2005-2017)
Florin Manea (Kiel, 2013-2017)
Dag Normann (Oslo, treasurer of the Association CiE)
Mariya Soskova (Sofia, 2012-2016)
Susan Stepney (York, 2013-2017)


CiE 2015 is organised by the Faculty of Mathemics and Computer Science of the University of Bucharest.

University of Bucharest Faculty of Mathematics and Computer Science

Phone: +40213142863
Fax: +40213156990
Address: 14 Academiei St., RO-010014, Bucuresti, Romania


For the list of sponsors, visit this page.