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.

CiE2020 Second Call for Papers

COMPUTABILITY IN EUROPE 2020 SECOND 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         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 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.

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.