Beyond the horizon of computability
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.
Virginia Vassilevska Williams
Speaker 1 talk
Speaker 2 talk
Speaker 3 talk
Speaker 4 talk
Speaker 5 talk
Speaker 6 talk
Algorithmic Learning Theory
Combinatorial String Matching
History and Phylosophy of Computing
Large Scale Bioinformatics and Computational Sciences
Modern Aspects of Formal Languages
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.
- 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
How to reach us
Get in Touch
Please do no use this form for question about logistical aspects, such as accommodation, travel, visa.