About

Download Poster

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.

Association CiE | CiE Conference Series

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

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.