CiE18: 2nd Call for Papers

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:
============================

Deadline for 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 a 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 organisers at the e-mail address
cie2018@email.uni-kiel.de

SPECIAL SESSIONS (and organisers):
==================================

Approximation and Optimisation — Organisers: Leah Epstein (Haifa), Klaus Jansen (Kiel)
Bioinformatics and Bio-inspired Computing — Organisers: Andre Franke (Kiel), Victor Mitrana (Bucharest)
Computing with Imperfect Information — Organisers: Tim McNicholl (Iowa), Mariya Soskova (Wisconsin-Madison)
Continuous Computation — Organisers: Ulrich Berger (Swansea), Dieter Spreen (Siegen)
History and Philosophy of Computing — Organisers: Liesbeth de Mol (Lille), Giuseppe Primiero (Middlesex)
SAT-Solving — Organisers: Vijay Ganesh (Waterloo), Olaf Beyersdorff (Leeds)

The speakers of the special sessions will be announced soon.

PROGRAMME 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), 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, co-chair), Angelo Montanari (Udine), Andrey Morozov (Novosibirsk), Anca Muscholl (Bordeaux), Dirk Nowotka (Kiel, co-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).

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

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@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).

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

CiE Conference Series:
http://www.computability.org.uk/index.php/cie-conference-series/

CiE2018: CfP

=========================
CALL FOR PAPERS:
=========================

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

============================
IMPORTANT DATES:
============================

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 — Organisers: Leah Epstein (Haifa), Klaus Jansen (Kiel)
Bioinformatics and Bio-inspired Computing — Organisers: Andre Franke (Kiel), Victor Mitrana (Bucharest)
Computing with Imperfect Information — Organisers: Tim McNicholl (Iowa), Mariya Soskova (Wisconsin-Madison)
Continuous Computation —  Ulrich Berger (Swansea), Dieter Spreen (Siegen)
History and Philosophy of Computing —  Liesbeth de Mol (Lille), Giuseppe Primiero (Middlesex)
SAT-Solving — Organisers: Vijay Ganesh (Waterloo), Olaf Beyersdorff (Leeds)

The 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@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/

New Council Members elected

At the AGM held in Turku (Finland) on June 15th, 2017, elections have been held for 6 new members of the Council. The members elected are:

  • Arnold Beckmann (Swansea)
  • Olivier Bournez (Paris)
  • Daniel Graça (Faro)
  • Benedikt Loewe (Hamburg/Amsterdam)
  • Barnaby Martin (Durham)
  • Mariya Soskova (Wisconsin-Madison)

Welcome to the new members!

CiE Day Lectures, Milan April 7, 2017

CiE Day Lectures in Milan
April 7, 2017
Dipartimento di Informatica, Sistemistica e Comunicazione dell’Università di Milano –Bicocca

Organizers:
Paola Bonizzoni
Raffaella Rizzi

The CiE Day Lectures in Milan is a series of seminars that reflect in the CiE spirit different ways in which computability emerges from the real world, and how this affects our way of thinking about everyday computational issues.

9.15 Opening (Paola Bonizzoni)

9.30 Continuous Time Models of Computation
Olivier Bournez
Department of Computer Science, Ecole Polytechnique (Paris-Saclay)

10.00 Provably total NP search problems in Bounded Arithmetic
Arnold Beckman
Department of Computer Science, College of Science, Swansea University

10.30 Handling Mobility Failures by Modal Types
Giuseppe Primiero
Department of Computer Science, Middlesex University London