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 invited and tutorial speakers, 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 10, 2018
- Early registration before: May 30, 2018
Tentative Schedule
July 30, 2018
| Track 1 | Track 2 | Track 3 | |
| 8:30 ‐ 9:15 | Registration | ||
| 9:15 ‐ 9:30 | Opening | ||
| 9:30 ‐ 10:30 | Invited talk: Kousha Etessami | ||
| 10:30 ‐ 11:00 | Coffee | ||
| 11:00 ‐ 12:00 | Tutorial, part 1: Bakhadyr Khoussainov | ||
| 12:00 ‐ 13:30 | Lunch | ||
| 13:30 ‐ 14:30 | Invited talk: Johanna Franklin | ||
| 14:30 ‐ 15:00 | Coffee | ||
| Special sessions | |||
| Computing with Imperfect Information 1 | Approximation and Optimisation 1 | Bioinformatics and Bio-inspired Computing 1 | |
| 15:00 ‐ 15:45 | Arno Pauly | Kim-Manuel Klein | Takashi Yokomori |
| 15:45 ‐ 16:30 | Eric Astor | Asaf Levin | Alfonso Paton |
| 16:30 ‐ 16:45 | Break | ||
| Special sessions | |||
| Continuous Computation 1 | SAT-Solving 1 | Bioinformatics and Bio-inspired Computing 2 | |
| 16:45 ‐ 17:30 | Matthew de Brecht | Joao Marques Silva | Bertil Schmidt |
| 17:30 ‐ 18:15 | Daniel Graça | Florian Lonsing | Oliver Kohlbacher |
July 31, 2018
| Track 1 | Track 2 | Track 3 | |
| 9:00 ‐ 10:00 | Invited talk: Mai Gehrke | ||
| 10:00 ‐ 10:30 | Coffee | ||
| Contributed session 1 | |||
| 10:30 ‐ 10:55 | tba | tba | tba |
| 10:55 ‐ 11:20 | tba | tba | tba |
| 11:20 ‐ 11:45 | tba | tba | tba |
| 11:45 ‐ 12:10 | tba | tba | tba |
| 12:10 ‐ 13:30 | Lunch | ||
| Contributed session 2 | |||
| 13:30 ‐ 13:55 | tba | tba | tba |
| 13:55 ‐ 14:20 | tba | tba | tba |
| 14:20 ‐ 14:45 | tba | tba | tba |
| 14:45 ‐ 15:15 | Coffee | ||
| 15:15 ‐ 16:15 | Tutorial, part 2: Bakhadyr Khoussainov | ||
| 16:15 ‐ 16:30 | Break | ||
| Women in Computability Workshop | |||
| 16:30 ‐ 17:00 | tba | ||
| 17:00 ‐ 17:30 | tba | ||
| 17:30 ‐ 18:00 | tba | ||
| 19:00 ‐ | Women in Computability dinner | ||
August 1, 2018
| Track 1 | Track 2 | Track 3 | |
| 9:00 ‐ 10:00 | Invited talk: Jeffrey Shallit | ||
| 10:00 ‐ 10:30 | Coffee | ||
| Contributed session 3 | |||
| 10:30 ‐ 10:55 | tba | tba | tba |
| 10:55 ‐ 11:20 | tba | tba | tba |
| 11:20 ‐ 11:45 | tba | tba | tba |
| 11:45 ‐ 12:10 | tba | tba | tba |
| 12:10 ‐ 13:30 | Lunch | ||
| 13:30 ‐ 14:30 | Tutorial, part 3: Bakhadyr Khoussainov | ||
| 15:00 ‐ | Excursion and conference dinner | ||
August 2, 2018
| Track 1 | Track 2 | Track 3 | |
| 9:00 ‐ 10:30 | Tutorial, part 1: Pinar Heggernes | ||
| 10:30 ‐ 11:00 | Coffee | ||
| Special sessions | |||
| Computing with Imperfect Information 2 | Approximation and Optimisation 2 | History and Philosophy of Computing 1 | |
| 11:00 ‐ 11:45 | Paul Schupp | Sebastian Berndt | Wilfried Sieg |
| 11:45 ‐ 12:30 | Ethan McCarthy | Thomas Erlebach | Paula Quinon |
| 12:30 ‐ 13:30 | Lunch | ||
| 13:30 ‐ 14:30 | Invited talk: Alberto Marcone | ||
| 14:30 ‐ 15:00 | Coffee | ||
| Special sessions | |||
| Continuous Computation 2 | SAT-Solving 2 | History and Philosophy of Computing 2 | |
| 15:00 ‐ 15:45 | Mathieu Hoyrup | Oliver Kullmann | Christoph Benzmüller |
| 15:45 ‐ 16:30 | Dag Normann | Massimo Lauria | Martin Davis |
| 16:30 ‐ 16:45 | Break | ||
| 16:45 ‐ 19:00 | General Assembly | ||
August 3, 2018
| Track 1 | Track 2 | Track 3 | |
| 9:00 ‐ 10:30 | Tutorial, part 2: Pinar Heggernes | ||
| 10:30 ‐ 11:00 | Coffee | ||
| Contributed session 4 | |||
| 11:00 ‐ 11:25 | tba | tba | tba |
| 11:25 ‐ 11:50 | tba | tba | tba |
| 11:50 ‐ 12:15 | tba | tba | tba |
| 12:15 ‐ 13:30 | Lunch | ||
| Contributed session 5 | |||
| 13:30 ‐ 13:55 | tba | tba | tba |
| 13:55 ‐ 14:20 | tba | tba | tba |
| 14:20 ‐ 14:30 | Break | ||
| 14:30 ‐ 15:30 | Invited talk: Alexandra Silva | ||
| 15:30 ‐ 15:45 | Closing | ||
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
Organizers: Leah Epstein (Haifa), Klaus Jansen (Kiel)
Speakers: Sebastian Berndt (Kiel University), Thomas Erlebach (University of Leicester), Kim-Manuel Klein (École Polytechnique Fédérale de Lausanne), Asaf Levin (the Technion, Haifa) - Bioinformatics and Bio-inspired Computing
Organizers: Andre Franke (Kiel), Victor Mitrana (Bucharest)
Speakers: Oliver Kohlbacher (Universität Tübingen), Alfonso Paton (Universidad Politécnica de Madrid), Bertil Schmidt (Johannes Gutenberg University Mainz), Takashi Yokomori (Waseda University) - Computing with Imperfect Information
Organizers: Tim McNicholl (Iowa), Mariya Soskova (Wisconsin-Madison)
Speakers: Eric Astor (University of Connecticut), Ethan McCarthy (University of Wisconsin-Madison), Arno Pauly (Swansea University), Paul Schupp (University of Illinois at Urbana-Champaign) - Continuous Computation
Organizers: Ulrich Berger (Swansea), Dieter Spreen (Siegen)
Speakers: Matthew de Brecht (Kyoto University), Daniel Graça (University of Algarve), Mathieu Hoyrup (LORIA, Nancy), Dag Normann (University of Oslo) - History and Philosophy of Computing
Organizers: Liesbeth de Mol (Lille), Giuseppe Primiero (Middlesex)
Speakers: Christoph Benzmüller (Luxembourg/FU Berlin), Martin Davis (New York University), Paula Quinon (Lund University), Wilfried Sieg (Carnegie Mellon University) - SAT-Solving
Organizers: Vijay Ganesh (Waterloo), Olaf Beyersdorff (Leeds)
Speakers: Oliver Kullmann (Swansea University), Massimo Lauria (Sapienza University Rome), Florian Lonsing (TU Vienna), Joao Marques Silva (University of Lisbon)
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.