Universiteit van Amsterdam


Institute for Logic, Language and Computation

29 June - 3 July 2020, 16th Conference on Computability in Europe (CiE 2020), Online

Date: 29 June - 3 July 2020
Location: Online
Deadline: Friday 17 January 2020

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.

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.

Due to the current medical situation related to the coronavirus COVID-19 outbreak, the Organizing Committee of CiE2020, in agreement with the CiE Steering Committee, has decided to hold the conference virtually, without a physical gathering. The organizers are committed to recreate the usual CiE climate under the new conditions.

The Programme Committee cordially invites all researchers (European and non-European) to submit their papers in all areas related to the conference for presentation at the conference and inclusion in the proceedings of CiE 2020 at EasyChair.

Papers must be submitted in PDF format, using the LNCS style 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.