Computability in
Europe 2019

JULY 15th - 19th, 2019, DURHAM

Computing with Foresight and Industry

CiE 2019 is the fifteenth 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.

Please download and display our poster.

Programme Committee

  • Erika Abraham, RWTH Aachen
  • Merlin Carl, University of Konstanz
  • Erzsébet Csuhaj-Varjú, Eötvös Loránd University
  • Walter Dean, University of Warwick
  • Henning Fernau, University of Trier
  • Gianluca Della Vedova, University of Milano-Bicocca    
  • Liesbeth De Mol, University of Lille
  • Valeria de Paiva, Nuance Communications
  • Alessandra Di Pierro, University of Verona
  • Johanna Franklin, Hofstra University
  • Pawel Gawrychowski, University of Wrocław
  • Pinar Heggernes, University of Bergen
  • Mathieu Hoyrup, LORIA
  • Peter Jonsson, Linköping University
  • Dietrich Kuske, TU Ilmenau
  • Stephane Le Roux, TU Darmstadt
  • Benedikt Löwe, University of Amsterdam
  • Florin Manea, Christian-Albrechts-University
  • Barnaby Martin, Durham University
  • Elvira Mayordomo, University of Zaragoza
  • Klaus Meer, BTU Cottbus-Senftenberg
  • Dirk Nowotka, Christian-Albrechts-University
  • Arno Pauly, Swansea University
  • Daniel Paulusma, Durham University (co-chair)
  • Daniela Petrisan, Paris Diderot University
  • Giuseppe Primiero, University of Milan (co-chair)
  • Christine Tasson, Paris Diderot University
  • Hélène Touzet, University of Lille
  • Peter Van Emde Boas, University of Amsterdam
  • Georg Zetzsche, Paris Diderot University



Felipe Cucker Hong Kong
Invited Speaker


Markus Holzer Giessen
Tutorial Speaker


Assia Mahboubi Nantes
Tutorial Speaker


Ursula Martin Oxford
Invited Speaker


Alexander Schönhuth Amsterdam
Invited Speaker


Sonja Smets Amsterdam
Invited Speaker


Linda Brown Westrick Penn State
Invited Speaker


The programme will appear here. It will contain invited talks, tutorials, contributed talks and informal presentations. There will also be a Women in Computability Workshop and special sessions in

  • Computational Neuroscience
    Organizers: Noura Al Moubayed (Durham University) and Jason Connolly (Durham University)
    Speakers: Ulrik Beierholm (Durham University), Netta Cohen (Leeds University), Evelyne Sernagor (Newcastle University), V Anne Smith (University of St Andrews)

  • History and Philosophy of Computing
    (The HaPoC Commission are offering two travel grants. Further information under Sponsors.)
    Organizer: Council of the HaPoC Commission
    Speakers: Tony Hoare (University of Oxford, via Skype), Michael Jackson (Open University), Ray Turner (University of Essex)

  • Lowness Notions in Computability
    Organizers: Johanna Franklin (Hofstra University) and Joseph S. Miller (University of Wisconsin-Madison)
    Speakers: Kenshi Miyabe (Meiji University), Benoit Monin (LACL, Créteil University), Keng Meng Ng (Nanyang Technological University), Don Stull (LORIA)

  • Probabilistic Programming and Higher-Order Computation
    Organizer: Christine Tasson (Paris Diderot University)
    Speakers: Thomas Ehrhard (IRIF, Paris Diderot University), Cameron Freer (MIT), Joost-Pieter Katoen (RWTH Aachen), Sam Staton (University of Oxford)

  • Smoothed and Probabilistic Analysis of Algorithms
    Organizer: Bodo Manthey (University of Twente)
    Speakers: Stefan Klootwijk (University of Twente), Clemens Rösner (University of Bonn), Sophie Huiberts (CWI, Amsterdam), Sebastian Wild (University of Waterloo)

  • Transfinite Computations
    Organizer: Sabrina Ouazzani (LIX, École Polytechnique)
    Speakers: Merlin Carl (University of Konstanz), Lorenzo Galeotti (University of Hamburg), Philip Welch (University of Bristol), Benjamin Rin (Utrecht University)


Regular Papers

Regular papers must be submitted via EasyChair and must use the LNCS style file available here. Papers can have a maximum of 12 pages including references, but excluding a possible appendix containing proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome.

The conference proceedings will be published by Springer in the series Lecture Notes in Computer Science.

Informal Presentations

Continuing the tradition of past CiE conferences, we invite researchers to present informal presentations of their recent work. A proposal for an informal presentation must be submitted via EasyChair and must use the LNCS style file available here and be 1 page; a brief description of the results suffices and an abstract is not required. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal presentations at CiE 2019 may appear or may have appeared in other conferences with formal proceedings and/or in journals.


  • Paper Submission: 21st January 2019 AOE
    (please note that the deadline has been extended and it is not necessary to submit an abstract in advance of the paper)
  • Notification: 18th March 2019
  • Final Version: 4th April 2019

  • Informal Presentations: 1st May 2019
  • Notification for Informal Presentations: within a few days of submission

  • Early Registration: 15th May 2019
  • Final Registration: 25th June 2019


The conference is hosted by Algorithms and Complexity in Durham (ACiD), a research group in the Department of Computer Science.

Organizing Committee

  • Matthew Johnson (Durham)
  • Barnaby Martin (Durham)
  • Daniel Paulusma (Durham)
  • Giuseppe Primiero (Milan).