CiE 2018: Call for Participation

=========================
CALL FOR PARTICIPATION:
=========================

CiE 2018: Sailing Routes in the World of Computation
Kiel, Germany
July 30 - August 3, 2018
http://cie2018.uni-kiel.de
http://www.computability.org.uk

IMPORTANT DATES:
================
*** 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).


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, 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:
http://cie2018.uni-kiel.de/#sessions

CONTRIBUTED PAPERS:
===================
The list of papers accepted to be published in the Springer LNCS proceedings:
http://cie2018.uni-kiel.de/accepted-papers/

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. 

WOMEN IN COMPUTABILITY:
=======================
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, liesbeth.demol@univ-lille3.fr, 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 info@hapoc.org: 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 (https://www.aslonline.org/index.htm), may apply for (limited) ASL travel funds that we are making available for sponsored meetings. 

See http://www.aslonline.org/studenttravelawards.html. 

ORGANIZED BY:
=============
Department of Computer Science, Kiel University
For questions please contact the organisers at the email address
cie2018@email.uni-kiel.de 


===============
Association CiE:
http://www.computability.org.uk

CiE Conference Series:
http://www.computability.org.uk/index.php/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
http://cie2018.uni-kiel.de
http://www.computability.org.uk
====================================================

REGISTRATION IS NOW OPEN:
http://cie2018.uni-kiel.de/#registration
Early registration till May 30, 2018

INFORMAL PRESENTATION DEADLINE EXTENDED:
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:
https://easychair.org/conferences/?conf=cie2018 
selecting the category "Informal Presentation".

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