Computability in
Europe 2019

JULY 15th - 19th, 2019, DURHAM

COMPUTABILITY IN EUROPE 2019
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.

Registration is now avaliable.

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

ACCEPTED PAPERS

Nikolay Bazhenov, Manat Mustafa and Sergey Ospichev. Bounded reducibility for computable numberings.
Iskander Kalimullin, Russell Miller and Hans Schoutens. Degree Spectra for Transcendence in Fields.
Xizhong Zheng and Klaus Ambos-Spies. On the Differences and Sums of Strongly Computably Enumerable Real Numbers.
Nikolay Bazhenov, Hristo Ganchev and Stefan Vatev. Effective embeddings for pairs of structures.
Julien Cervelle and Patrick Cegielski. Study of step-wise simulation between ASMs.
Rumen Dimitrov, Valentina Harizanov, Andrey Morozov, Paul Shafer, Alexandra Soskova and Stefan Vatev. Cohesive Powers of Linear Orders.
Mate Szabo. Kalmár's Argument for the Independence of Computer Science.
Paul Bell and Igor Potapov. Towards Uniform Online Spherical Tessellations.
Laurent Beaudou, Florent Foucaud, Florent Madelaine, Lhouari Nourine and Gaétan Richard. Complexity of regular path query homomorphisms.
Jean-Yves Moyen and Jakob Grue Simonsen. More Intensional Versions of Rice's Theorem.
Niels Grüttemeier, Christian Komusiewicz, Jannik Schestag and Frank Sommer. Destroying Bicolored \(P_3\)s by Deleting Few Edges.
Florian Bridoux, Richard Adrien, Kévin Perrot and Nicolas Durbec. Complexity and Fixed Points in Boolean Networks.
Jiri Wiedermann and Jan van Leeuwen. Finite State Machines with Feedback: An Architecture Supporting Minimal Machine Consciousness.
Lorenzo Carlucci, Leonardo Mainardi and Michael Rathjen. A note on the ordinal of \(\mathrm{RCA}_0 + \mathrm{WO}(\sigma)\).
Shaoyi Wang, Guohua Wu and Mars Yamaleev. The d.r.e wtt-degrees are dense.
Sam Sanders. Nets and Reverse Mathematics: initial results.
Iosif Petrakis. Borel and Baire sets in Bishop spaces.
Michał Wrocławski. Representations of natural numbers and computability of various functions.
Bruno Durand and Gregory Lafitte. An algorithmic approach to characterizations of admissibles.
Daniil Musatov and Ruslan Ishkuvatov. On approximate uncomputability of the Kolmogorov complexity function

SUBMISSION GUIDELINES

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.

INVITED AND TUTORIAL SPEAKERS

Image

Felipe Cucker Hong Kong
Invited Speaker

Image

Markus Holzer Giessen
Tutorial Speaker

Image

Assia Mahboubi Nantes
Tutorial Speaker

Image

Ursula Martin Oxford
Invited Speaker

Image

Alexander Schönhuth Amsterdam
Invited Speaker

Image

Sonja Smets Amsterdam
Invited Speaker

Image

Linda Brown Westrick Penn State
Invited Speaker

PROGRAMME

A schedule will appear here later.

Invited Speakers and Tutorials

Felipe Cucker Computing the Homology of Semialgebraic Sets
Markus Holzer
Assia Mahboubi
Ursula Martin Journeys in mathematical landscapes: genius or craft?
Alexander Schönhuth Neural network architectures for prediction of diseases from genotype data
Sonja Smets
Linda Brown Westrick Climbing the hierarchy of completely positive entropy in two-dimensional shifts of finite type

Special Sessions

There will also be tutorials, contributed talks and informal presentations. There will also be a Women in Computability Workshop

SUBMISSION GUIDELINES

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.

IMPORTANT DATES

  • 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

Scam Alert: We are aware that invited speakers and delegates may be contacted by individuals claiming to be affiliated with CiE2019 and offering assistance with accommodation bookings. Please be aware that this is a scam operated by a company calling themselves Business Travel Management. You will never receive any unsolicited contact from the organizers of CiE promoting accommodation.

DURHAM

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


contact: cie.2019@durham.ac.uk

REGISTRATION

Registration is now available. Regular registration fees are £200 (£250 after 17 May 2019) and student registration fees are £100 (£150 after 17 May 2019). During the conference, registered participants will have free access to the online version of the LNCS conference proceedings on SpringerLink. A discount of £25 will be offered to participants who do not wish to receive a hard copy of the LNCS conference proceedings.
Please register at www.dur.ac.uk/conference.booking/details/?id=1054