About
CiE 2018 is the fourteenth 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
According to the rules of organising a CiE conference speakers at special sessions, Steering Committee members, the PC chairs, special session organizers, and local organizers do not have to pay the registration fee.
If you fall in one of these categories, please send us the registration data by e-mail (First Name, Last Name, Affiliation, and any other special requests you may have, e.g., whether you would like a vegan/vegetarian dinner). These data should be sent at cie2018@email.uni-kiel.de. Please note that if you want to take part to the conference dinner and excursion, this should be booked separately via the registration link.
If you are not one of the aforementioned persons, please register at this link. Special requests, like, e.g., whether you would like a vegan/vegetarian dinner should be send by e-mail at cie2018@email.uni-kiel.de.
Important Dates
- Extended deadline for abstract submission (abstract submission): January 24, 2018
- Extended deadline for article submission: February 8, 2018
- Notification of acceptance: April 6, 2018
- Deadline for informal presentations submission: May 1, 2018
- Early registration before: May 30, 2018
Previous Conferences
- CiE 2005: New Computational Paradigms, Amsterdam, Netherlands
- CiE 2006: Logical Approaches to Computational Barriers, Swansea, UK
- CiE 2007: Computation and Logic in the Real World, Sienna, Italy
- CiE 2008: Logic and Theory of Algorithms, Athens, Greece
- CiE 2009: Mathematical Theory and Computational Practice, Heidelberg, Germany
- CiE 2010: Programs, Proofs, Processes, Ponta Delgada (Azores), Portugal
- CiE 2011: Models of Computation in Context, Sofia, Bulgaria
- CiE 2012 – Turing Centenary Conference: How the World Computes, Cambridge, UK
- CiE 2013: The Nature of Computation – Logic, Algorithms, Application, Milan, Italy
- CiE 2014: Language, Life, Limits, Budapest, Hungary
- CiE 2015: Evolving Computability, Bucharest, Romania
- CiE 2016: Pursuit of the Universal, Paris, France
- CiE 2017: Unveiling Dynamics and Complexity, Turku, Finland
Speakers
Tutorial Speakers
- Pinar Heggernes, Bergen, Norway
- Bakhadyr Khoussainov, Auckland, NZ
Invited Speakers
- Kousha Etessami, Edinburgh, UK
- Johanna Franklin, Hempstead, US
- Mai Gehrke, Paris, France
- Alberto Marcone, Udine, Italy
- Alexandra Silva, London, UK
- Jeffrey O. Shallit, Waterloo, Canada
Special Sessions
- Approximation and Optimisation
Leah Epstein (Haifa), Klaus Jansen (Kiel) - Bioinformatics and Bio-inspired Computing
Andre Franke (Kiel), Victor Mitrana (Bucharest) - Computing with Imperfect Information
Tim McNicholl (Iowa), Mariya Soskova (Wisconsin-Madison) - Continuous Computation
Ulrich Berger (Swansea), Dieter Spreen (Siegen) - History and Philosophy of Computing
Liesbeth de Mol (Lille), Giuseppe Primiero (Middlesex) - SAT-Solving
Vijay Ganesh (Waterloo), Olaf Beyersdorff (Leeds)
Program Committee
- Eric Allender, Rutgers
- Arnold Beckmann, Swansea
- Marco Benini, Insubria
- Olaf Beyersdorff, Leeds
- Patricia Bouyer, Paris
- Alessandra Carbone, Paris
- Barbara Csima, Waterloo
- Anuj Dawar, Cambridge
- Ekaterina Fokina, Vienna
- Peter Høyer, Calgary
- Georgiana Ifrim, Dublin
- Lila Kari, Waterloo
- Karen Lange, Wellesley
- Benedikt Löwe, Amsterdam
- Barnaby Martin, Durham
- Florin Manea, Kiel
- Klaus Meer, Cottbus
- Russell Miller, New York, co-chair
- Angelo Montanari, Udine
- Andrey Morozov, Novosibirsk
- Anca Muscholl, Bordeaux
- Dirk Nowotka, Kiel, co-chair
- Arno Pauly, Bruxelles
- Giuseppe Primiero, Middlesex
- Henning Schnoor, Kiel
- Monika Seisenberger, Swansea
- Shinnosuke Seki, Tokyo
- Mariya Soskova, Wisconsin–Madison
- Peter Van Emde Boas, Amsterdam
- Heribert Vollmer, Hannover
Partners
Organised by
Department of Computer Science, Kiel University
For questions please contact the organisers at the e-mail address cie2018@email.uni-kiel.de.