Author: admin

Computability in Europe 2020 THIRD CALL FOR PAPERS

 CiE 2020:Salerno, Italy
June 29 – July 3, 2020 https://www.acie.eu/cie-conference-series/cie2020https://www.acie.eu

IMPORTANT DATES: 

Deadline for abstract registration: 17 January 2020 AOE (extended)
Deadline for article submission: 24 January 2020 AOE  (extended)
Notification of acceptance: 14 March 2020
Final versions due: 7 April 2020 
Deadline for informal presentations submission: 10 April 2020 (The notifications of acceptance for informal presentations will be sent a few days after submission.) 
Early registration before: 1 May 2020 

CiE 2020 is the 16th 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), Turku (2017), Kiel (2018), and Durham (2019).

TUTORIAL SPEAKERS: 

– Virginia Vassilevska Williams (MIT)
– Martin Ziegler (Korea Advanced Institute of Science and Technology)

INVITED SPEAKERS:  

Paolo Boldi (University of Milan)
Véronique Bruyère (University of Mons)
Ekatarina Fokina (Vienna University of Technology)
Amaury Pouly (CNRS Paris)
Antonio Restivo (University of Palermo)
Damien Woods (Maynooth University)

HOSTED BY: 

Department of Computer Science, University of Salerno

SPECIAL SESSIONS: 

Algorithmic Learning Theory
Combinatorial String Matching
Computable Topology
History and Philosophy of Computing
Large scale Bioinformatics and Computational Sciences
Modern aspects of Formal Languages

CONTRIBUTED PAPERS: 

Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of: 
Marcella Anselmo          University of Salerno (co-chair)
Veronica Becher           Universidad de Buenos Aires
Paola Bonizzoni        University of Milano-Bicocca
Laura Crosilla         University of Oslo
Liesbeth De Mol           Université de Lille 3
Gianluca Della Vedova     University of Milano-Bicocca
Jérôme Durand-Lose      Université d’Orléans
Pawel Gawrychowski     University of Wroclaw
Mathieu Hoyrup           LORIA
Juliette Kennedy          University of Helsinki
Karoliina Lehtinen         University of Liverpool
Benedikt Loewe            Universiteit van Amsterdam
Florin Manea            Universität Göttingen
Timothy McNicholl        Iowa State University
Klaus Meer             BTU Cottbus-Senftenberg
Turlough Neary            University of Zurich
Daniel Paulusma         Durham University
Arno Pauly            Swansea University (co-chair)
Karin Quaas            University of Leipzig
Viola Schiaffonati     Politecnico di Milano
Markus L. Schmid           Humboldt University Berlin
Alexander Schoenhuth       Bielefeld University
Thomas Schwentick       Universität Dortmund
Marinella Sciortino        University of Palermo
Victor Selivanov        Institute on Informatics Systems
Mariya Soskova          University of Wisconsin-Madison
Peter Van Emde Boas    Universiteit van Amsterdam 
Linda Brown Westrick         Pennsylvania State University

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 original research articles in all areas related to the above for presentation at the conference and inclusion in the proceedings of CiE 2020 at https://easychair.org/conferences/?conf=cie2020. 
Papers must be submitted in PDF format, using the LNCS style (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and must have a maximum of 12 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.

Women in Computability Travel Grants

We are very happy to announce that within the framework of the Women in Computability programme sponsored by ACM-W we are able to offer four grants of up to 250 EUR for junior female researchers who want to participate in CiE 2020. Applications for this grant should be sent to johanna.franklin@gmail.com, before April 30, 2020 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 2020.

CiE 2020 FIRST CALL FOR PAPERS

CiE 2020:
Salerno, Italy

June 29 – July 3, 2020 
https://www.acie.eu/cie-conference-series/cie2020
https://www.acie.eu

IMPORTANT DATES:

Deadline for abstract registration: 3 January 2020 AOE 
Deadline for article submission: 17 January 2020 AOE 
Notification of acceptance: 29 February 2020
Final versions due: 15 March 2020 

Deadline for informal presentations submission: 10 April 2020
(The notifications of acceptance for informal presentations will be sent a few days after submission.) 

Early registration before: 1 May 2020 

CiE 2020 is the 16th 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), Turku (2017), Kiel (2018), and Durham (2019).

TUTORIAL SPEAKERS:

– Virginia Vassilevska Williams (MIT)
– Martin Ziegler (Korea Advanced Institute of Science and Technology)

INVITED SPEAKERS:

Paolo Boldi (University of Milan)
Véronique Bruyère (University of Mons)
Ekatarina Fokina (Vienna University of Technology)
Amaury Pouly (CNRS Paris)
Antonio Restivo (University of Palermo)
Damien Woods (Maynooth University)

HOSTED BY:

Department of Computer Science, University of Salerno

SPECIAL SESSIONS:

Algorithmic Learning Theory

Combinatorial String Matching

Computable Topology

History and Philosophy of Computing

Large scale Bioinformatics and Computational Sciences

Modern aspects of Formal Languages

CONTRIBUTED PAPERS:

Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of: 

Marcella    Anselmo          University of Salerno (co-chair)
Veronica    Becher           Universidad de Buenos Aires
Paola       Bonizzoni        University of Milano-Bicocca
Laura       Crosilla         Univeristy of Birmingham
Liesbeth    De Mol           Université de Lille 3
Gianluca    Della Vedova     University of Milano-Bicocca
Jérôme      Durand-Lose      Université d’Orléans
Pawel       Gawrychowski     University of Wroclaw
Mathieu     Hoyrup           LORIA
Juliette    Kennedy          University of Helsinki
Karoliina   Lehtinen         University of Liverpool
Benedikt    Loewe            University of Amsterdam
Florin      Manea            University of Göttingen
Timothy     McNicholl        Iowa State University
Klaus       Meer             BTU Cottbus-Senftenberg
Turlough    Neary            University of Zurich
Daniel      Paulusma         Durham University
Arno        Pauly            Swansea University (co-chair)
Karin       Quaas            University of Leipzig
Viola       Schiaffonati     Politecnico di Milano
Markus L.   Schmid           Universitaet Trier
Alexander   Schoenhuth       Bielefeld University
Thomas      Schwentick       Universitt Dortmund
Marinella   Sciortino        University of Palermo
Victor      Selivanov        Institute on Informatics Systems
Mariya      Soskova          University of Wisconsin-Madison
Peter       Van Emde Boas    Universiteit van Amsterdam 
Linda Brown Westrick         Pennsylvania State University

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 of CiE 2020 at https://easychair.org/conferences/?conf=cie2020. 

Papers must be submitted in PDF format, using the LNCS style (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and must have a maximum of 12 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. 

CiE 2019 CALL FOR INFORMAL PRESENTATIONS

CiE 2019: Computing with Foresight and Industry
Durham, United Kingdom
July 15 – July 19, 2019
https://community.dur.ac.uk/cie.2019/
https://www.acie.eu

IMPORTANT DATES:

Deadline for informal presentations submission: 1 May 2019
(The notifications of acceptance for informal presentations will be sent a few days after submission.)

Early registration before: 17 May 2019

CIE2019: EXTENDED DEADLINES

============================
CiE 2019 Extended Deadlines:
============================
CiE 2019: Computing with Foresight and Industry
Durham, United Kingdom
July 15 – July 19, 2019
https://community.dur.ac.uk/cie.2019/
http://www.computability.org.uk

IMPORTANT DATES:
============================
Deadline for abstract registration and article submission: 21 January 2019 AOE
Notification of acceptance: 18 March 2019
Final versions due: 4 April 2019

Deadline for informal presentations submission: 1 May 2019
(The notifications of acceptance for informal presentations will be sent a few days after submission.)

Early registration before: 15 May 2019

Final CFP CiE 2019: Computing with Foresight and Industry

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

CiE 2019 FINAL CALL FOR PAPERS:

CiE 2019: Computing with Foresight and Industry
Durham, United Kingdom
July 15 – July 19, 2019
https://community.dur.ac.uk/cie.2019/
http://www.computability.org.uk

IMPORTANT DATES:

Deadline for article registration (abstract submission): 7 January 2019 AOE
Deadline for article submission: 14 January 2019 AOE
Notification of acceptance: 18 March 2019
Final versions due: 4 April 2019

Deadline for informal presentations submission: 1 May 2019
(The notifications of acceptance for informal presentations will be sent a few days after submission.)

Early registration before: 15 May 2019

CiE 2019 is the 15th 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), Turku (2017) and Kiel (2018).

TUTORIAL SPEAKERS:

  • Markus Holzer (JLU Giessen)
  • Assia Mahboubi (University of Nantes)

INVITED SPEAKERS:

  • Felipe Cucker (City University of Hong Kong)
  • Ursula Martin (University of Oxford)
  • Alexander Schönhuth (CWI, Amsterdam)
  • Sonja Smets (University of Amsterdam)
  • Linda Brown Westrick (Penn State)

HOSTED BY:

Algorithms and Complexity in Durham (ACiD), a research group in the Department of Computer Science, Durham University

For questions please contact the organisers at the e-mail address cie.2019@durham.ac.uk.

SPECIAL SESSIONS:

Computational Neuroscience, organised by Noura Al Moubayed (Durham University) and Jason Connolly (Durham University)

  • Ulrik Beierholm (Durham University)
  • Evelyne Sernagor (Newcastle University)

History and Philosophy of Computing, organised by the Council of the HaPoC Commission

  • Tony Hoare (University of Oxford, via Skype)
  • Michael Jackson (Open University)
  • Ray Turner (University of Essex)

Lowness Notions in Computability, organised by Johanna Franklin (Hofstra University) and Joseph S. Miller (University of Wisconsin-Madison)

  • Kenshi Miyabe (Meiji University)
  • Benoit Monin (LACL, Créteil University)
  • Keng Meng Ng (Nanyang Technological University)
  • Don Stull (LORIA)

Probabilistic Programming and Higher-Order Computation, organised by Christine Tasson (Paris Diderot University)

  • Thomas Ehrhard (IRIF, Paris Diderot University)
  • Cameron Freer (MIT)
  • Joost-Pieter Katoen (RWTH Aachen)
  • Sam Staton (University of Oxford)

Smoothed and Probabilistic Analysis of Algorithms, organised by Bodo Manthey (University of Twente)

  • Sophie Huiberts (CWI, Amsterdam)
  • Stefan Klootwijk (University of Twente)
  • Clemens Rösner (University of Bonn)
  • Sebastian Wild (University of Waterloo)

Transfinite Computations, organised by Sabrina Ouazzani (Ecole Polytechnique)

  • Merlin Carl (University of Konstanz)
  • Lorenzo Galeotti (University of Hamburg)
  • Benjamin Rin (Utrecht University)
  • Philip Welch (University of Bristol)

CONTRIBUTED PAPERS:

Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of:

Erika Abraham (RWTH Aachen)
Merlin Carl (University of Konstanz)
Erzsébet Csuhaj-Varjú (Eötvös Loránd University)
Walter Dean (University of Warwick)
Henning Fernau (University of Trier)
Gianluca Della Vedova (University of Milano-Bicocca)
Liesbeth De Mol (University of Lille)
Valeria de Paiva (Nuance Communications)
Alessandra Di Pierro (University of Verona)
Johanna Franklin (Hofstra University)
Pawel Gawrychowski (University of Wrocław)
Pinar Heggernes (University of Bergen)
Mathieu Hoyrup (LORIA)
Peter Jonsson (Linköping University)
Dietrich Kuske (TU Ilmenau)
Stephane Le Roux (TU Darmstadt)
Benedikt Löwe (University of Amsterdam)
Florin Manea (Christian-Albrechts-University)
Barnaby Martin (Durham University)
Elvira Mayordomo (University of Zaragoza)
Klaus Meer (BTU Cottbus-Senftenberg)
Dirk Nowotka (Christian-Albrechts-University)
Arno Pauly (Swansea University)
Daniel Paulusma (Durham University, co-chair)
Daniela Petrisan (Paris Diderot University)
Giuseppe Primiero (University of Milan, co-chair)
Christine Tasson (Paris Diderot University)
Hélène Touzet (University of Lille)
Peter Van Emde Boas (University of Amsterdam)
Georg Zetzsche (Paris Diderot University)

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 of CiE 2019 at https://easychair.org/conferences/?conf=cie2019 .

Papers must be submitted in PDF format, using the LNCS style (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines and must have a maximum of 12 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, we invite researchers to present informal presentations of their recent work. A proposal for an informal presentation must be submitted via EasyChair (https://easychair.org/conferences/?conf=cie2019), using the LNCS style file (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines and be 1 page; a brief description of the results suffices and an abstract is not required. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal presentations at CiE 2019 may appear or may have appeared in other conferences with formal proceedings and/or in journals.

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 2019. Applications for this grant should be sent to Liesbeth De Mol, liesbeth.demol@univ-lille3.fr, before 15 May 2019 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 2019.

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

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

CiE 2019 SECOND CALL FOR PAPERS

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

CiE 2019 SECOND CALL FOR PAPERS:

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

CiE 2019: Computing with Foresight and Industry

Durham, United Kingdom

July 15 – July 19, 2019

https://community.dur.ac.uk/cie.2019/

http://www.computability.org.uk

IMPORTANT DATES:

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

Deadline for article registration (abstract submission): 7 January 2019 AOE

Deadline for article submission: 14 January 2019 AOE

Notification of acceptance: 18 March 2019

Final versions due: 4 April 2019

Deadline for informal presentations submission: 1 May 2019

(The notifications of acceptance for informal presentations will be sent a few days after submission.)

Early registration before: 15 May 2019

CiE 2019 is the 15th 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), Turku (2017) and Kiel (2018).

TUTORIAL SPEAKERS:

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

– Markus Holzer (JLU Giessen)

– Assia Mahboubi (University of Nantes)

 

INVITED SPEAKERS:

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

– Felipe Cucker (City University of Hong Kong)

– Ursula Martin (University of Oxford)

– Alexander Schönhuth (CWI, Amsterdam)

– Sonja Smets (University of Amsterdam)

– Linda Brown Westrick (Penn State)

 

HOSTED BY:

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

Algorithms and Complexity in Durham (ACiD), a research group in the Department of Computer Science, Durham University

For questions please contact the organisers at the e-mail address cie.2019@durham.ac.uk .

 

SPECIAL SESSIONS:

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

Computational Neuroscience, organised by Noura Al Moubayed (Durham University) and Jason Connolly (Durham University)

– Ulrik Beierholm (Durham University)

– Evelyne Sernagor (Newcastle University)

History and Philosophy of Computing, organised by the Council of the HaPoC Commission

– Tony Hoare (University of Oxford, via Skype)

– Michael Jackson (Open University)

– Ray Turner (University of Essex)

Lowness Notions in Computability, organised by Johanna Franklin (Hofstra University) and Joseph S. Miller (University of Wisconsin-Madison)

– Kenshi Miyabe (Meiji University)

– Benoit Monin (LACL, Créteil University)

– Keng Meng Ng (Nanyang Technological University)

– Don Stull (LORIA)

Probabilistic Programming and Higher-Order Computation, organised by Christine Tasson (Paris Diderot University)

– Thomas Ehrhard (IRIF, Paris Diderot University)

– Cameron Freer (MIT)

– Joost-Pieter Katoen (RWTH Aachen)

– Sam Staton (University of Oxford)

Smoothed and Probabilistic Analysis of Algorithms, organised by Bodo Manthey (University of Twente)

– Sophie Huiberts (CWI, Amsterdam)

– Stefan Klootwijk (University of Twente)

– Clemens Rösner (University of Bonn)

Transfinite Computations, organised by Sabrina Ouazzani (Paris-Est Créteil University)

– Lorenzo Galeotti (University of Hamburg)

– Benjamin Rin (Utrecht University)

– Philip Welch (University of Bristol)

 

CONTRIBUTED PAPERS:

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

Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of:

Erika Abraham (RWTH Aachen)

Merlin Carl (University of Konstanz)

Erzsébet Csuhaj-Varjú (Eötvös Loránd University)

Walter Dean (University of Warwick)

Henning Fernau (University of Trier)

Gianluca Della Vedova (University of Milano-Bicocca)

Liesbeth De Mol (University of Lille)

Valeria de Paiva (Nuance Communications)

Alessandra Di Pierro (University of Verona)

Johanna Franklin (Hofstra University)

Pawel Gawrychowski (University of Wrocław)

Pinar Heggernes (University of Bergen)

Mathieu Hoyrup (LORIA)

Peter Jonsson (Linköping University)

Dietrich Kuske (TU Ilmenau)

Stephane Le Roux (TU Darmstadt)

Benedikt Löwe (University of Amsterdam)

Florin Manea (Christian-Albrechts-University)

Barnaby Martin (Durham University)

Elvira Mayordomo (University of Zaragoza)

Klaus Meer (BTU Cottbus-Senftenberg)

Dirk Nowotka (Christian-Albrechts-University)

Arno Pauly (Swansea University)

Daniel Paulusma (Durham University, co-chair)

Daniela Petrisan (Paris Diderot University)

Giuseppe Primiero (University of Milan, co-chair)

Christine Tasson (Paris Diderot University)

Hélène Touzet (University of Lille)

Peter Van Emde Boas (University of Amsterdam)

Georg Zetzsche (Paris Diderot University)

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 of CiE 2019 at https://easychair.org/conferences/?conf=cie2019 .

Papers must be submitted in PDF format, using the LNCS style (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and must have a maximum of 12 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, we invite researchers to present informal presentations of their recent work. A proposal for an informal presentation must be submitted via EasyChair (https://easychair.org/conferences/?conf=cie2019), using the LNCS style file (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and be 1 page; a brief description of the results suffices and an abstract is not required. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal presentations at CiE 2019 may appear or may have appeared in other conferences with formal proceedings and/or in journals.

 

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 2019. Applications for this grant should be sent to Liesbeth De Mol, liesbeth.demol@univ-lille3.fr, before 15 May 2019 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 2019.

Association CiE:

http://www.computability.org.uk

CiE Conference Series:

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

CiE 2019 FIRST CALL FOR PAPERS

=========================
CiE 2019 FIRST CALL FOR PAPERS:
=========================
CiE 2019
Durham, United Kingdom
July 15 – July 19, 2019
https://community.dur.ac.uk/cie.2019/
http://www.computability.org.uk

 

IMPORTANT DATES:
============================
Deadline for article registration (abstract submission):  7 January 2019 AOE
Deadline for article submission: 14 January 2019 AOE
Notification of acceptance: 18 March 2019
Final versions due: 4 April 2019

Deadline for informal presentations submission: 1 May 2019
(The notifications of acceptance for informal presentations will be sent a few days after submission.)

Early registration before: 15 May 2019

CiE 2019 is the 15th 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), Turku (2017) and Kiel (2018).

TUTORIAL SPEAKERS:
==================
– Markus Holzer (JLU Giessen)
– Assia Mahboubi (University of Nantes)

INVITED SPEAKERS:
=================
– Felipe Cucker (City University of Hong Kong)
– Ursula Martin (University of Oxford)
– Alexander Schönhuth (CWI, Amsterdam)
– Sonja Smets (University of Amsterdam)
– Linda Brown Westrick (Penn State)

HOSTED BY:
=============
Algorithms and Complexity in Durham (ACiD), a research group in the Department of Computer Science, Durham University

For questions please contact the organisers at the e-mail address cie.2019@durham.ac.uk .

SPECIAL SESSIONS:
=================
– Computational Neuroscience, orrganised by Noura Al Moubayed (Durham University) and Jason Connolly (Durham University)

– History and Philosophy of Computing, organised by the Council of the HaPoC Commission

– Lowness Notions in Computability, organised by Johanna Franklin (Hofstra University) and Joseph S. Miller (University of Wisconsin–Madison)

– Probabilistic Programming and Higher-Order Computation, organised by Christine Tasson (Paris Diderot University)

– Smoothed and Probabilistic Analysis of Algorithms, organised by Bodo Manthey (University of Twente)

– Transfinite Computations, organised by Sabrina Ouazzani (Paris-Est Créteil University)

The speakers of the special sessions will be announced soon.

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

Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of:

Erika Abraham (RWTH Aachen)
Merlin Carl (University of Konstanz)
Erzsébet Csuhaj-Varjú (Eötvös Loránd University)
Walter Dean (University of Warwick)
Henning Fernau (University of Trier)
Gianluca Della Vedova (University of Milano-Bicocca)
Liesbeth De Mol (University of Lille)
Valerie de Paiva (Nuance Communications)
Alessandra Di Pierro (University of Verona)
Johanna Franklin (Hofstra University)
Pawel Gawrychowski (University of Wrocław)
Pinar Heggernes (University of Bergen)
Mathieu Hoyrup (LORIA)
Peter Jonsson (Linköping University)
Dietrich Kuske (TU Ilmenau)
Stephane Le Roux (TU Darmstadt)
Benedikt Löwe (University of Amsterdam)
Florin Manea (Christian-Albrechts-University)
Barnaby Martin (Durham University)
Elvira Mayordomo (University of Zaragoza)
Klaus Meer (BTU Cottbus-Senftenberg)
Dirk Nowotka (Christian-Albrechts-University)
Arno Pauly (Swansea University)
Daniel Paulusma (Durham University, co-chair)
Daniela Petrisan (Paris Diderot University)
Giuseppe Primiero (University of Milan, co-chair)
Christine Tasson (Paris Diderot University)
Hélène Touzet (University of Lille)
Peter Van Emde Boas (University of Amsterdam)
Georg Zetzsche (Paris Diderot University)

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 of CiE 2019 at https://easychair.org/conferences/?conf=cie2019 .

Papers must be submitted in PDF format, using the LNCS style (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and must have a maximum of 12 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, we invite researchers to present informal presentations of their recent work. A proposal for an informal presentation must be submitted via EasyChair (https://easychair.org/conferences/?conf=cie2019), using the LNCS style file (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and be 1 page; a brief description of the results suffices and an abstract is not required. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal presentations at CiE 2019 may appear or may have appeared in other conferences with formal proceedings and/or in journals.

WOMEN IN COMPUTABILITY:
=======================

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

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

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

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.

CiE2018: Call for Informal Presentations

Call for 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 ====================================================

Important dates
Submission deadline: May 1, 2018
Notification of acceptance: Within two weeks of 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 1st.

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 within two weeks after your submission.