CiE 2020:
Virtually in Salerno, Italy
Due to the Covid-19 outbreak, this edition will be an online conference.
June 29 - July 3, 2020
IMPORTANT DATES:
15 June: registration deadline
CiE 2020 is the 16th conference organized by CiE (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.
Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku (2017), Kiel (2018), and Durham (2019).
TUTORIALS
Fine-Grained Complexity - Virginia Vassilevska Williams (MIT)
Computable Analysis - Martin Ziegler (Korea Advanced Institute of Science and Technology)
INVITED TALKS:
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)
HOSTED BY:
Department of Computer Science, University of Salerno
Due to the Covid-19 outbreak, this edition will be an online conference.
SPECIAL SESSIONS:
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
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.