June 29-July 3, 2020

University of Salerno – Fisciano campus

CiE 2020 is the 16th conference organized by ACiE (Association 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.


Computable Analysis

Martin Ziegler

Fine-Grained Complexity

Virginia Vassilevska Williams

Invited speakers

Paolo Boldi

Speaker 1 talk

Véronique Bruyère

Speaker 2 talk

Ekaterina Fokina

Speaker 3 talk

Amaury Pouly

Speaker 4 talk

Antonio Restivo

Speaker 5 talk

Damien Woods

Speaker 6 talk

Special sessions

Algorithmic Learning Theory

Organized by Frank Stephan and Lorenzo Carlucci

Ziyuan Gao
Luca San Mauro
Amir Yehudayoff
Thomas Zeugmann

Combinatorial String Matching

Organized by Travis Gagie and Marinella Sciortino

Inge Li Gørtz
Markus Lohrey
Cinzia Pizzi
Przemek Uznanski

Computable Topology

Organized by Matthew de Brecht and Mathieu Hoyrup

Takayuki Kihara
Alexander Melnikov
Matthias Schröder
Mariya Soskova

HAPOC session on Fairness
in Algorithms

Organized by Viola Schiaffonati and Teresa Scantamburlo

Large Scale Bioinformatics and Computational Sciences

Organized by Gianluca Della Vedova and Iman Hajirasouliha

Modern Aspects of Formal Languages

Organized by Markus L. Schmid and Rosalba Zizza


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


Important dates

  • Paper submission: January 24, 2020 AOE
  • Notification: March 14, 2020
  • Final Version: April 7, 2020
  • Informal Presentations: April 10, 2020
  • Notification for Informal Presentations: within a few days of submission
  • Early Registration: May 1, 2020
  • Late Registration: June 14, 2020


The conference will be held in Fisciano, in the main campus of the Università di Salerno. Fisciano is a small town located 15km from Salerno, located between the tourist attractions of Pompeii, Paestum and the Amalfi Coast.

The nearest airport to Salerno is Naples, Capodichino Airport. You can reach Salerno from the Capodichino Airport by regular trains and buses in about 1 hour. A high-speed train connects Rome to Salerno in 1 hour 35’.


Social event

An afternoon will be devoted to an excursion to Paestum, a major ancient Greek city on the coast of the Tyrrhenian Sea in Magna Graecia.



Get in Touch

Scientific enquiries

Please do no use this form for question about logistical aspects, such as accommodation, travel, visa.