June 29-July 3, 2020

University of Salerno – Fisciano campus

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

Combinatorial String Matching

Organized by Travis Gagie and Marinella Sciortino

Computable Topology

Organized by

History and Phylosophy of Computing

Organized by

Large Scale Bioinformatics and Computational Sciences

Organized by

Modern Aspects of Formal Languages

Organized by Markus Schmidt 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 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.


Important dates

  • Abstract submission: January 3, 2020 AOE
  • Paper submission: January 17, 2020 AOE
  • Notification: February 29, 2020
  • Final Version: March 20, 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.