<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div class="elementToProof" style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
*** We apologize for multiple postings**<b>*</b></div>
<div class="elementToProof" style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
<b><br>
</b></div>
<div class="elementToProof" style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
CiE 2025: CALL FOR PAPERS<br>
Computability in Europe 2025<br>
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
Lisbon, Portugal<br>
July 14-18, 2025<br>
<span style="color: rgb(0, 120, 215);"><u><a href="https://bit.ly/CIE2025" id="OWA436a80ba-3e80-0412-adde-0daa7fd5da3d" class="OWAAutoLink" style="color: rgb(0, 120, 215);">https://bit.ly/CIE2025</a></u></span></div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
Submission link: <span style="color: rgb(0, 120, 215);"><u><a href="https://easychair.org/my/conference?conf=cie2025" id="OWA19cce4ef-b205-0212-7ff2-2ca2b89ed663" class="OWAAutoLink" style="color: rgb(0, 120, 215);">https://easychair.org/my/conference?conf=cie2025</a></u></span></div>
<div style="font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
IMPORTANT DATES:<br>
Deadlines for full paper submission:<br>
Abstract: January 26, 2025 (AOE)<br>
Full paper: February 2, 2025 (AOE) <br>
Notification of acceptance: April 6, 2025<br>
Final versions due: April 13, 2025<br>
Deadline for informal presentations submission: April 22, 2025 (The notifications of acceptance for informal presentations will be sent a few days after submission)<br>
Early registration before: May 6, 2025<br>
Conference: July 14-18, 2025</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
GENERAL INFORMATION<br>
CiE 2025 will be the 21st conference organized by CiE (Computability in Europe). CiE is a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested innew 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), Durham (2019), Salerno (2020, virtually), Ghent (2021, virtually), Swansea (2022), Batumi (2023), and Amsterdam (2024).</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
TUTORIAL SPEAKERS</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
Maria Paola Bonacina (University of Verona)<br>
Igor Carboni Oliveira (University of Warwick)</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
INVITED SPEAKERS<br>
Ugo Dal Lago (University of Bologna)<br>
Daniel Graça (University of Algarve)<br>
Ekaterina Komendantskaya (University of Southampton)<br>
Ng Keng Meng (Nanyang Technological University)<br>
Paulo Oliva (Queen Mary University of London)<br>
Ana Sokolova (University of Salzburg)</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
SPECIAL SESSIONS<br>
Computable Analysis and Topology (organizers: Takayuki Kihara and Elvira Mayordomo)</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
Computability Aspects of Descriptive Set Theory (organizers: Luca San Mauro and Dino Rossegger)</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
Human-Centered AI: Foundational and Historical Perspectives (organizers: Melissa Antonelli, Jean-Baptiste Joinet and Mattia Petrolo)</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
Proof Complexity and SAT (organizers: Maria Luisa Bonet and Pavel Pudlák)</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
Proof Theory: Pure and Applied (organizers: Anton Freud and Pedro Pinto)</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
Quantum Computing (organizers: Georg Moser and Romain Pechoux)</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
CONFERENCE TOPICS<br>
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.</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
PAPER SUBMISSION<br>
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 2025 at
<span style="color: rgb(0, 120, 215);"><u><a href="https://easychair.org/my/conference?conf=cie2025" id="OWA7c713326-1dd3-bdfc-9b93-2d7265038f3d" class="OWAAutoLink" style="color: rgb(0, 120, 215);">https://easychair.org/my/conference?conf=cie2025</a></u></span>.</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
CONFERENCE PROCEEDINGS<br>
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
<span style="color: rgb(0, 120, 215);"><u><a href="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines" id="OWA7732b929-396a-b276-0f8c-1602cfc629e2" class="OWAAutoLink" style="color: rgb(0, 120, 215);">https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines</a></u></span>)
and must have a maximum of 15 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.</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
INFORMAL PRESENTATIONS<br>
Continuing the tradition of past CiE conferences, we invite researchers to present informal presentations of their recent work. A proposal for an informal presentation must be submitted via our submission link:
<span style="color: rgb(0, 120, 215);"><u><a href="https://easychair.org/my/conference?conf=cie2025" id="OWA9a647758-3dcb-696f-c203-5f1ed073a56c" class="OWAAutoLink" style="color: rgb(0, 120, 215);">https://easychair.org/my/conference?conf=cie2025</a></u></span>,
using the LNCS style file (available at <span style="color: rgb(0, 120, 215);"><u><a href="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines" id="OWA5efe67f5-40b8-3d58-db6c-fdcc40592478" class="OWAAutoLink" style="color: rgb(0, 120, 215);">https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines</a></u></span>),
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 2025 may appear or may have
appeared in other conferences with formal proceedings and/or in journals.</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
PROGRAM COMMITTEE<br>
Contributed papers will be selected from submissions received by the PROGRAM COMMITTEE consisting of:<br>
Arnold Beckmann (Swansea University) – co-chair<br>
Laurent Bienvenu (University of Bordeaux)<br>
Christel Baier (Technische Universität Dresden)<br>
Giuseppa Castiglione (Università degli Studi di Palermo)<br>
Benjamin Doerr (École Polytechnique)<br>
Fernando Ferreira (University of Lisbon)<br>
Gilda Ferreira (Universidade Aberta)<br>
Ekaterina Fokina (Vienna University of Technology)<br>
Lorenzo Galeotti (Amsterdam University College)<br>
Jun Le Goh (National University of Singapore)<br>
Angeliki Koutsoukou-Argyraki (Royal Holloway, University of London and University of Cambridge)<br>
Ludovic Levy Patey (Mathematics Institute of Jussieu–Paris Rive Gauche)<br>
Zsuzsanna Lipták (University of Verona)<br>
Florin Manea (University of Göttingen)<br>
Simone Martini (University of Bologna)<br>
Russell Miller (Queens College-CUNY)<br>
Georg Moser (University of Innsbruck)<br>
Isabel Oitavem (Universidade Nova de Lisboa) – co-chair<br>
Romain Péchoux (University of Lorraine)<br>
Paolo Pistone (Université Claude Bernard Lyon 1)<br>
Dino Rossegger (Vienna University of Technology)<br>
Stefan Vatev (Sofia University)<br>
Damien Woods (Maynooth University)</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
WOMEN IN COMPUTABILITY</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
We intend to run the Women in Computability program as in previous CiEs, details will be announced in due course.</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
HOSTED BY<br>
The event will be held in the Faculdade de Ciências buildings located at University of Lisbon.</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
ORGANIZING COMMITTEE<br>
Bruno Dinis (University of Évora / CIMA)<br>
José Espírito Santo (University of Minho / CMAT)<br>
Gilda Ferreira (Universidade Aberta / CMAFcIO) - chair<br>
Manuel Martins (University of Aveiro / CIDMA)<br>
Isabel Oitavem (NOVA University of Lisbon / NOVAMath)<br>
Pedro Quaresma (University of Coimbra / CISUC)<br>
João Rasga (University of Lisbon / Instituto de Telecomunicações)<br>
Alexandra Rodrigues (NOVA University of Lisbon) </div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
Paulo Guilherme Santos (Instituto Politécnico de Lisboa / CMAFcIO)<br>
André Souto (University of Lisbon / LASIGE) </div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
Maria Manuel Torres (University of Lisbon / CMAFcIO) </div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
</div>
<div style="direction: ltr; line-height: 1.2; margin-top: 0pt; margin-bottom: 0pt; font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
</div>
<div style="font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
<br>
<br>
</div>
<div class="elementToProof" style="font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Arial, Helvetica, sans-serif; font-size: 11pt; color: rgb(0, 0, 0);">
<br>
</div>
<div id="Signature" class="elementToProof"></div>
</body>
</html>