CiE 2020: Salerno, Italy June 29 – July 3, 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  


Fine-Grained Complexity – Virginia Vassilevska Williams (MIT) 

Computable Analysis – Martin Ziegler (Korea Advanced Institute of Science and Technology)  


Centralities in Network Analysis — Paolo Boldi (University of Milan)

A game-theoretic approach for the automated synthesis of complex systems — VĂ©ronique Bruyère (University of Mons)

On-the-fly classification of structures — Ekatarina Fokina (Vienna University of Technology)

A Survey on Analog Models of Computation — Amaury Pouly (CNRS Paris)

On the Repetitive Structure of Words — Antonio Restivo (University of Palermo)

Molecular algorithms using reprogrammable DNA self-assembly — Damien Woods (Maynooth University) 


Department of Computer Science, University of Salerno  


 Algorithmic Learning Theory
Combinatorial String Matching
Computable Topology
HAPOC session on Fairness in Algorithms
Large scale Bioinformatics and Computational Sciences
Modern aspects of Formal Languages  

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
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.  Continuing the tradition of past CiE conferences, the Program Committee cordially invites all researchers (European and non-European) to submit informal presentations of their recent work. A proposal for an informal presentation must be submitted viaEasyChair,

using the LNCS style file (available at 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 2020 may appear or may have appeared in other conferences with formal proceedings and/or in journals.  

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

Association of Symbolic Logic Travel Grants

 The Association for Symbolic Logic is graciously sponsoring CiE 2020. Hence student members of the ASL may apply for student travel awards. Further information can be found on the ASL website. Applications must be received by March 28th.