[FOM] Fwd: CiE 2018: Preliminary announcement

[Martin Davis]

---------- Forwarded message ----------
From: Florin Manea <flm at informatik.uni-kiel.de>
Date: Thu, Oct 19, 2017 at 3:31 AM
Subject: CiE 2018: Preliminary announcement
To:


Appologies for multiple postings.

=========================

PRELIMINARY ANNOUNCEMENT:
=========================

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


IMPORTANT DATES (tentative):
============================

Deadline for article registration (abstract submission): January 17, 2018
Deadline for article submission: February 1, 2018
Notification of acceptance: April 6, 2018
Final versions due: April 20, 2018

Deadline for informal presentations submission: April 20, 2018
(the notifications of acceptance for informal presentations will be sent
few days after submission)

Early registration before:  May 30, 2018


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)

ORGANIZED BY:
=============

Department of Computer Science, Kiel University

For questions please contact the PC-Chairs, Russell Miller and Dirk
Nowotka, or the CiE conference series Steering Committee Chair Florin Manea.


SPECIAL SESSIONS:
=================

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

The organisers and speakers of the special sessions will be announced soon.

CONTRIBUTED PAPERS:
===================

Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:
Eric Allender (Rutgers), Arnold Beckmann (Swansea), Marco Benini
(Insubria), Olaf Beyersdorff (Leeds), Patricia Bouyer (Paris), Alessandra
Carbone (Paris), Barbara Csima (Waterloo), Anuj Dawar (Cambridge), Henning
Fernau (Trier), Ekaterina Fokina (Vienna), Peter Høyer (Calgary), Georgiana
Ifrim (Dublin), Lila Kari (Waterloo), Elham Kashefi (Edinburgh), Karen
Lange (Wellesley), Benedikt Löwe (Amsterdam), Barnaby Martin (Durham),
Florin Manea (Kiel), Klaus Meer (Cottbus), Russell Miller (New York,
chair), Angelo Montanari (Udine), Andrey Morozov (Novosibirsk), Anca
Muscholl (Bordeaux), Dirk Nowotka (Kiel, chair), Arno Pauly (Bruxelles),
Isabella Peters (Kiel), Giuseppe Primiero (Middlesex), Henning Schnoor
(Kiel), Monika Seisenberger (Swansea), Shinnosuke Seki (Tokyo), Mariya
Soskova (Wisconsin–Madison), Raymond Turner (Essex), Peter Van Emde Boas
(Amsterdam), Heribert Vollmer (Hannover).

The CiE conferences serve as an interdisciplinary forum for research in all
aspects
of computability, foundations of computer science, logic, and theoretical
computer science, as well as the interplay of these areas with practical
issues in computer science and with other disciplines such as biology,
mathematics, philosophy, or physics.

THE PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) to submit their papers in all areas related to the above for
presentation at the conference and inclusion in the proceedings at
https://easychair.org/conferences/?conf=cie2018 .

Papers must be submitted in PDF format, using the LNCS style (available at
ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip) and should
have a maximum of 10 pages, including references but excluding a possible
appendix in which one can include proofs and other additional material.
Papers building bridges between different parts of the research community
are particularly welcome.

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.

INFORMAL PRESENTATIONS:
=======================

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 very shortly before the
conference and inform the participants about current research and work in
progress. The deadline for the submission of abstracts for informal
presentations is May 1st, 2018.

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 at 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.


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

CiE Conference Series:
http://www.computability.org.uk/index.php/cie-conference-series/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20171019/a4d5e303/attachment-0001.html>