[Proof Complexity] CiE 2019 First Call for Papers

Barnaby Martin barnabymartin at gmail.com
Thu Oct 4 13:39:34 CEST 2018

CiE 2019
Durham, United Kingdom
July 15 – July 19, 2019

Deadline for article registration (abstract submission):  7 January 2019 AOE
Deadline for article submission: 14 January 2019 AOE
Notification of acceptance: 18 March 2019
Final versions due: 4 April 2019

Deadline for informal presentations submission: 1 May 2019
(The notifications of acceptance for informal presentations will be sent a
few days after submission.)

Early registration before: 15 May 2019

CiE 2019 is the 15th 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), Budapest (2014), Bucharest (2015),
Paris (2016), Turku (2017) and Kiel (2018).

– Markus Holzer (JLU Giessen)
– Assia Mahboubi (University of Nantes)

– Felipe Cucker (City University of Hong Kong)
– Ursula Martin (University of Oxford)
– Alexander Schönhuth (CWI, Amsterdam)
– Sonja Smets (University of Amsterdam)
– Linda Brown Westrick (Penn State)

Algorithms and Complexity in Durham (ACiD), a research group in the
Department of Computer Science, Durham University

For questions please contact the organisers at the e-mail address
cie.2019 at durham.ac.uk .

– Computational Neuroscience, orrganised by Noura Al Moubayed (Durham
University) and Jason Connolly (Durham University)

– History and Philosophy of Computing, organised by the Council of the
HaPoC Commission

– Lowness Notions in Computability, organised by Johanna Franklin (Hofstra
University) and Joseph S. Miller (University of Wisconsin–Madison)

– Probabilistic Programming and Higher-Order Computation, organised by
Christine Tasson (Paris Diderot University)

– Smoothed and Probabilistic Analysis of Algorithms, organised by Bodo
Manthey (University of Twente)

– Transfinite Computations, organised by Sabrina Ouazzani (Paris-Est
Créteil University)

The speakers of the special sessions will be announced soon.


Contributed papers will be selected from submissions received by the

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)
Valerie 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)

The CiE conferences serve as an interdisciplinary forum for research in all
aspects of computability, foundations of computer science, logic, and
theoretical computer science, as well as the interplay of these areas with
practical issues in computer science and with other disciplines such as
biology, mathematics, philosophy, or physics.

THE PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) to submit their papers in all areas related to the above for
presentation at the conference and inclusion in the proceedings of CiE 2019
at https://easychair.org/conferences/?conf=cie2019 .

Papers must be submitted in PDF format, using the LNCS style (available at
and must have a maximum of 12 pages, including references but excluding a
possible appendix in which one can include 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 LNCS, Springer Verlag.


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 (
https://easychair.org/conferences/?conf=cie2019), using the LNCS style file
(available at
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.


We are very happy to announce that within the framework of the Women in
Computability programme, we are able to offer some grants of up to 250 EUR
for junior female researchers who want to participate in CiE 2019.
Applications for this grant should be sent to Liesbeth De Mol,
liesbeth.demol at univ-lille3.fr, before 15 May 2019 and include a short cv
(at most 2 pages) and contact information for an academic reference.
Preference will be given to junior female researchers who are presenting a
paper (including informal presentations) at CiE 2019.

Association CiE:

CiE Conference Series:

More information about the Proof-Complexity mailing list