Tuesday, May 15, 2018

[DMANET] 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/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************