Email Gateway (Oct 15 2026 at 12:27): Email Gateway (Oct 15 2026 at 12:27):From: Manlio <manliovalenti@gmail.com>
Subject: [isabelle] CiE 2027 — FIRST ANNOUNCEMENT AND PRELIMINARY CALL FOR PAPERS
CiE 2027 — FIRST ANNOUNCEMENT AND PRELIMINARY CALL FOR PAPERS
Computability in Europe 2027
Timișoara, Romania
June 7–11, 2027
IMPORTANT DATES
Abstract submission: January 10, 2027 (AoE)
Full paper submission: January 17, 2027 (AoE)
Notification of acceptance: March 25, 2027
Final versions due: April 7, 2027
Informal presentations submission: April 19, 2027 (AoE)
Conference: June 7–11, 2027
GENERAL INFORMATION
CiE is the annual conference of the Association Computability in Europe, a
European association of mathematicians, logicians, computer scientists,
philosophers, physicists, and other researchers interested in new
developments in computability and their underlying significance for the
real world.
The 2027 edition of the conference will take place in *Timișoara, Romania,
on June 7–11, 2027*, and will be co-located with the AUTOMATA conference.
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), Durham (2019), Salerno (2020,
virtually), Ghent (2021, virtually), Swansea (2022), Batumi (2023),
Amsterdam (2024), Lisbon (2025), and Trier (2026).
INVITED SPEAKERS AND TUTORIALS
We are delighted to announce some of the researchers who have confirmed
their participation in the invited lecture and tutorial programme of CiE
2027:
- Timothy McNicholl (Iowa State University) — Tutorial
- Isaac Goldbring (University of California, Irvine)
- Rosalie Iemhoff (Utrecht University)
- Isabella Scott (University of Wisconsin–Madison)
Additional speakers and tutorials will be announced in due course.
SPECIAL SESSIONS
There will be 6 special sessions, including:
- Computational and Logical Strength of Theorems
- Quantum Computation
- Bio-inspired Computation (BiC)
- History and Philosophy of Computing (HaPoC)
Further special-session details will be announced soon.
CONFERENCE TOPICS
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.
PAPER SUBMISSION
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 2027. Details and instructions for paper submissions will be
announced soon.
Papers submitted to the conference proceedings should represent original
work, not simultaneously submitted to another journal or conference with
formal proceedings.
The Program Committee will rigorously review and select submitted papers.
Accepted papers will be published as a proceedings volume in the Lecture
Notes in Computer Science (LNCS) series from Springer-Verlag.
Papers to be considered in the conferences proceedings 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.
INFORMAL PRESENTATIONS
Continuing the tradition of past CiE conferences, we invite researchers to
present informal presentations of their recent work. Details for submitting
an informal presentation will be announced soon. Submissions for informal
presentation must be prepared using the LNCS style file (available at
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines),
and be 1 page long; a brief description of the results suffices and an
abstract is not required. Informal presentations will not be published in
the LNCS conference proceedings. Results presented as informal
presentations at CiE 2027 may appear or may have appeared in other
conferences with formal proceedings and/or in journals.
PROGRAMME COMMITTEE
Uri Andrews (University of Wisconsin–Madison)
Marcella Anselmo (University of Salerno)
Nikolay Bazhenov (Sobolev Institute of Mathematics)
Verónica Becher (Universidad de Buenos Aires)
Manon Blanc (IT University of Copenhagen)
Cosmin Bonchis (West University of Timișoara)
Olivier Bournez (Institut Polytechnique de Paris, École Polytechnique)
Leah Epstein (University of Haifa)
Gilda Ferreira (Universidade Aberta)
Ekaterina Fokina (Technische Universität Wien)
Johanna Franklin (Hofstra University)
Lorenzo Galeotti (Amsterdam University College)
David Gonzalez (University of Notre Dame)
Hajo Greif (Warsaw University of Technology)
Gabriel Istrate (University of Bucharest) — Co-chair
Liling Ko (Technische Universität Wien)
Elvira Mayordomo (University of Zaragoza)
Alexander Melnikov (Victoria University of Wellington)
Keng Meng Ng (Nanyang Technological University)
Paulo Oliva (Queen Mary University of London)
Cecilia Pradic
Giuseppe Primiero (University of Milan)
Monika Seisenberger (Swansea University)
Paul Shafer (University of Leeds)
Reed Solomon (University of Connecticut)
Mariya Soskova (University of Wisconsin–Madison)
Manlio Valenti (Swansea University) — Co-chair
Tomoyuki Yamakami (Fukui University)
LOCAL ORGANISATION
CiE 2027 will be hosted by the West University of Timișoara.
The Local Organising Committee is chaired by Cosmin Bonchis and Gabriel
Istrate.
Last updated: Oct 29 2026 at 04:52 UTC