CiE 2018: Call for Participation


CiE 2018: Sailing Routes in the World of Computation
Kiel, Germany
July 30 - August 3, 2018

*** Early registration before:  May 30, 2018 ***
(Please see information about grants below)

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.

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), and Turku (2017).

Pinar Heggernes (Bergen, Norway)
Bakhadyr Khoussainov (Auckland, NZ)

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)

Approximation and Optimisation, Bioinformatics and Bio-inspired Computing, Computing with Imperfect Information, Continuous Computation, History and Philosophy of Computing, SAT-Solving.

The speakers and organisers of the special sessions are listed on the website of the conference:

The list of papers accepted to be published in the Springer LNCS proceedings:

Continuing the tradition of past CiE conferences, in addition to the formal presentations based on the LNCS proceedings volume, CiE 2018 will host a track of informal presentations, that are prepared shortly before the conference and inform the participants about current research and work in progress. The list of informal presentations will be soon available on the website. 

We are very happy to announce that within the framework of the Women in Computability programme, sponsored by ACM-Women, we are able to offer four grants of up to 250 EUR for junior female researchers who want to participate in CiE 2018. Applications for this grant should be sent to Liesbeth De Mol,, before 15 May 2018 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 2018.

HaPoC Grants | Commission for the History and Philosophy of Computing
The HaPoc Council is happy to announce the availability of two HAPOC travel grants of 250USD each to support participation to the conference. To be eligible for a grant, a paper or informal presentation in the area of history and/or philosophy of computing accepted at CiE 2018 is required. In order to apply for a grant, please send the following details to cv, the paper or informal presentation submitted, accompanied by the acceptance email, a detailed budget indicating any other funding possibilities (if available). Deadline: May 23rd, 2018.

ASL Travel Grants | Association for Symbolic Logic
Students, who are members of the Association for Symbolic Logic (, may apply for (limited) ASL travel funds that we are making available for sponsored meetings. 


Department of Computer Science, Kiel University
For questions please contact the organisers at the email address 

Association CiE:

CiE Conference Series:


Extended Deadline for Informal Presentations at CiE2018

Call for participation and informal presentations
CiE 2018: Sailing Routes in the World of Computation
Kiel, Germany
July 30 - August 3, 2018

Early registration till May 30, 2018

Important dates
- Submission deadline: May 10, 2018 (extended)
- Notification of acceptance: few days after the submission

There is a remarkable difference in conference style between computer science and mathematics conferences. Mathematics conferences allow for informal presentations that are prepared very shortly before the conference and inform the participants about current research and work in progress. The format of computer science conferences with pre-conference proceedings is not able to accommodate this form of scientific communication.

Continuing the tradition of past CiE conferences, also this year's CiE conference endeavours to get the best of both worlds. In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers (both in Computer Science and Mathematics) to present informal presentations. For this, please send us a brief description of your talk (one page) by the submission deadline May 10, 2018.

Important note:
Results presented as informal presentations at CiE 2018 are expected to appear or to have appeared in other conferences with formal proceedings and/or in journals. Also papers that have just been submitted to other formally peer reviewed conferences are eligible for being presented as informal presentations at CiE 2018.

Please submit your abstract electronically, via EasyChair at: 
selecting the category "Informal Presentation".

You will be notified whether your talk has been accepted for informal presentation soon after your submission.