CiE: Conference on Computability in Europe



Past:   Proceedings on DBLP

Future:  Post a CFP for 2021 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
CiE 2020 Conference on Computability in Europe
Jun 29, 2020 - Jul 3, 2020 Salerno, Italy Jan 17, 2020 (Jan 3, 2020)
CiE 2019 Computability in Europe
Jul 15, 2019 - Jul 19, 2019 Durham, UK Jan 21, 2019
CiE 2016 Computability in Europe
Jun 27, 2016 - Jul 1, 2016 Paris, France Dec 15, 2015
CiE 2014 Language, Life, Limits
Jun 23, 2014 - Jun 27, 2014 Budapest, Hungary Jan 10, 2014
CiE 2013 Computability in Europe 2013
Jul 1, 2013 - Jul 5, 2013 University of Milano-Bicocca Jan 20, 2013
CiE 2012 Computability in Europe 2012: How the World Computes
Jun 18, 2012 - Jun 23, 2012 Cambridge, UK Jan 20, 2012

Present CFP : 2020

CiE 2020:
Salerno, Italy

June 29 - July 3, 2020

Deadline for abstract registration: 3 January 2020 AOE
Deadline for article submission: 17 January 2020 AOE
Notification of acceptance: 29 February 2020
Final versions due: 15 March 2020

Deadline for informal presentations submission: 10 April 2020
(The notifications of acceptance for informal presentations will be sent a few days after submission.)

Early registration before: 1 May 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.

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).

- Virginia Vassilevska Williams (MIT)
- Martin Ziegler (Korea Advanced Institute of Science and Technology)

Paolo Boldi (University of Milan)
Véronique Bruyère (University of Mons)
Ekatarina Fokina (Vienna University of Technology)
Amaury Pouly (CNRS Paris)
Antonio Restivo (University of Palermo)
Damien Woods (Maynooth University)

Department of Computer Science, University of Salerno


Algorithmic Learning Theory

Combinatorial String Matching

Computable Topology

History and Philosophy of Computing

Large scale Bioinformatics and Computational Sciences

Modern aspects of Formal Languages


Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of:

Marcella Anselmo University of Salerno (co-chair)
Veronica Becher Universidad de Buenos Aires
Paola Bonizzoni University of Milano-Bicocca
Laura Crosilla University of Birmingham
Liesbeth De Mol Université de Lille 3
Gianluca Della Vedova University of Milano-Bicocca
Jérôme Durand-Lose Université d'Orléans
Pawel Gawrychowski University of Wroclaw
Mathieu Hoyrup LORIA
Juliette Kennedy University of Helsinki
Karoliina Lehtinen University of Liverpool
Benedikt Loewe Universiteit van Amsterdam
Florin Manea Universität Göttingen
Timothy McNicholl Iowa State University
Klaus Meer BTU Cottbus-Senftenberg
Turlough Neary University of Zurich
Daniel Paulusma Durham University
Arno Pauly Swansea University (co-chair)
Karin Quaas University of Leipzig
Viola Schiaffonati Politecnico di Milano
Markus L. Schmid Universität Trier
Alexander Schoenhuth Bielefeld University
Thomas Schwentick Universität Dortmund
Marinella Sciortino University of Palermo
Victor Selivanov Institute on Informatics Systems
Mariya Soskova University of Wisconsin-Madison
Peter Van Emde Boas Universiteit van Amsterdam
Linda Brown Westrick Pennsylvania State University

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 PROGRAMME 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

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

Related Resources

IDETC-CIE 2024   International Design Engineering Technical Conferences & Computers and Information in Engineering Conference
ICIEA (EU) 2025   Springer--2025 The 12th International Conference on Industrial Engineering and Applications (Europe) (ICIEA 2025)
DFRWS EU 2025   Digital Forensics Research Conference Europe
Springer ICIEA 2025   Springer--2025 The 12th International Conference on Industrial Engineering and Applications (Europe) (ICIEA 2025)
CMID 2024   China-Europe Scientists Forum & 2024 3rd International Symposium on Clinical Medicine and Intelligent Devices
EJEA-GRANITE 2024   GRANITE – EJEA: Europe meets Japan: Intercultural Workshop on Data Sovereignty and Generative AI: Applications, Design, Social, Ethical and Technological Impact
CfP: SSEES PG Conference 2024   Call for Papers: SSEES Postgraduate Conference 2024
EURINT 2024   Debating Europe: new approaches, action tools and integration scenarios
Lambda World 2024   Lambda World - The Largest Functional Programming Conference in South Europe
Civo Navigate EU 2024   Civo Navigate Europe 2024