Computability in Europe 2020

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.


tutorials

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

Combinatorial String Matching

Organized by

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


Submissions

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.


registration


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

Venue

How to reach us


accommodation


social event


sponsors


Contact

Get in Touch

Scientific enquiries

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