[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CiE 2025: CALL FOR PAPERS
Computability in Europe 2025
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations
Lisbon, Portugal
July 14-18, 2025
https://urldefense.com/v3/__https://bit.ly/CIE2025__;!!IBzWLUs!SfouY_B9cl52_W6TRpFMVGc9faSLWmdbOYF_cJbB2pLGw1HcezoOBcC1vy_ffEfliHqKAOi4JadRk4R7wBc8pPAIP9s5T9hCpg3-0UQv$
Submission link:
https://urldefense.com/v3/__https://easychair.org/my/conference?conf=cie2025__;!!IBzWLUs!SfouY_B9cl52_W6TRpFMVGc9faSLWmdbOYF_cJbB2pLGw1HcezoOBcC1vy_ffEfliHqKAOi4JadRk4R7wBc8pPAIP9s5T9hCpvOxy0YV$
IMPORTANT DATES:
Deadlines for full paper submission:
Abstract: January 26, 2025 (AOE)
Full paper: February 2, 2025 (AOE)
Notification of acceptance: April 6, 2025
Final versions due: April 13, 2025
Deadline for informal presentations submission: April 22, 2025 (The
notifications of acceptance for informal presentations will be sent a few days
after submission)
Early registration before: May 6, 2025
Conference: July 14-18, 2025
GENERAL INFORMATION
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).
TUTORIAL SPEAKERS
Maria Paola Bonacina (University of Verona)
Igor Carboni Oliveira (University of Warwick)
INVITED SPEAKERS
Ugo Dal Lago (University of Bologna)
Daniel Graça (University of Algarve)
Ekaterina Komendantskaya (University of Southampton)
Ng Keng Meng (Nanyang Technological University)
Paulo Oliva (Queen Mary University of London)
Ana Sokolova (University of Salzburg)
SPECIAL SESSIONS
* COMPUTABLE ANALYSIS AND TOPOLOGY - organized by Takayuki Kihara and Elvira
Mayordomo; speakers include Djamel Amir (Université de Lorraine, LORIA) and
Holger Thies (Kyoto University).
.
* COMPUTABILITY ASPECTS OF DESCRIPTIVE SET THEORY - organized by Luca San Mauro
and Dino Rossegger, speakers include Antonio Montalban (University of
California, Berkeley), Noah Schweber (Proof School, San Francisco), and Dan
Turetsky (Victoria University of Wellington).
* HUMAN-CENTERED AI: FOUNDATIONAL AND HISTORICAL PERSPECTIVES - organized by
Melissa Antonelli, Jean-Baptiste Joinet and Mattia Petrolo, speakers tba.
* PROOF COMPLEXITY AND SAT - organized by Maria Luisa Bonet and Pavel Pudlák,
speakers include Albert Atserias (Technical University of Catalonia), Paul
Beame (University of Washington), and Robert Robere (McGill University).
* PROOF THEORY: PURE AND APPLIED - organized by Anton Freud and Pedro Pinto,
speakers are Horatiu Cheval (University of Bucharest), Azza Gaysin (University
of Passau), Morenikeji Neri (University of Bath), and Shuwei Wang (University
of Leeds).
* QUANTUM COMPUTING - organized by Georg Moser and Romain Pechoux, speakers
include Alejandro Diaz-Caro (CONICET, Buenos Aires), Richard Kueng (Johannes
Kepler University Linz), and Simon Perdrix (Inria).
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 2025 at
https://urldefense.com/v3/__https://easychair.org/my/conference?conf=cie2025__;!!IBzWLUs!SfouY_B9cl52_W6TRpFMVGc9faSLWmdbOYF_cJbB2pLGw1HcezoOBcC1vy_ffEfliHqKAOi4JadRk4R7wBc8pPAIP9s5T9hCpvOxy0YV$
.
CONFERENCE PROCEEDINGS
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://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!SfouY_B9cl52_W6TRpFMVGc9faSLWmdbOYF_cJbB2pLGw1HcezoOBcC1vy_ffEfliHqKAOi4JadRk4R7wBc8pPAIP9s5T9hCpjLkGhi7$
) 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.
INFORMAL PRESENTATIONS
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:
https://urldefense.com/v3/__https://easychair.org/my/conference?conf=cie2025__;!!IBzWLUs!SfouY_B9cl52_W6TRpFMVGc9faSLWmdbOYF_cJbB2pLGw1HcezoOBcC1vy_ffEfliHqKAOi4JadRk4R7wBc8pPAIP9s5T9hCpvOxy0YV$
, using the LNCS style file (available at
https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!SfouY_B9cl52_W6TRpFMVGc9faSLWmdbOYF_cJbB2pLGw1HcezoOBcC1vy_ffEfliHqKAOi4JadRk4R7wBc8pPAIP9s5T9hCpjLkGhi7$
), 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.
STUDENTS TRAVEL AWARDS
The Association for Symbolic Logic (ASL) offers modest student travel awards to
attend CiE 2025. Students must be members of the ASL in order to apply, and
applications must be received three months prior to the start of the
conference. Applications should be sent to Shannon Miller at [email protected].
Further information in
https://urldefense.com/v3/__https://aslonline.org/student-travel-awards/__;!!IBzWLUs!SfouY_B9cl52_W6TRpFMVGc9faSLWmdbOYF_cJbB2pLGw1HcezoOBcC1vy_ffEfliHqKAOi4JadRk4R7wBc8pPAIP9s5T9hCpo5BcTbC$
.
PROGRAM COMMITTEE
Contributed papers will be selected from submissions received by the PROGRAM
COMMITTEE consisting of:
Arnold Beckmann (Swansea University) – co-chair
Laurent Bienvenu (University of Bordeaux)
Christel Baier (Technische Universität Dresden)
Giuseppa Castiglione (Università degli Studi di Palermo)
Benjamin Doerr (École Polytechnique)
Fernando Ferreira (University of Lisbon)
Gilda Ferreira (Universidade Aberta)
Ekaterina Fokina (Vienna University of Technology)
Lorenzo Galeotti (Amsterdam University College)
Jun Le Goh (National University of Singapore)
Angeliki Koutsoukou-Argyraki (Royal Holloway, University of London and
University of Cambridge)
Ludovic Levy Patey (Mathematics Institute of Jussieu–Paris Rive Gauche)
Zsuzsanna Lipták (University of Verona)
Florin Manea (University of Göttingen)
Simone Martini (University of Bologna)
Russell Miller (Queens College-CUNY)
Georg Moser (University of Innsbruck)
Isabel Oitavem (Universidade Nova de Lisboa) – co-chair
Romain Péchoux (University of Lorraine)
Paolo Pistone (Université Claude Bernard Lyon 1)
Dino Rossegger (Vienna University of Technology)
Stefan Vatev (Sofia University)
Damien Woods (Maynooth University)
WOMEN IN COMPUTABILITY
We intend to run the Women in Computability program as in previous CiEs,
details will be announced in due course.
HOSTED BY
The event will be held in the Faculdade de Ciências buildings located at
University of Lisbon.
ORGANIZING COMMITTEE
Bruno Dinis (University of Évora / CIMA)
José Espírito Santo (University of Minho / CMAT)
Gilda Ferreira (Universidade Aberta / CMAFcIO) - chair
Manuel Martins (University of Aveiro / CIDMA)
Isabel Oitavem (NOVA University of Lisbon / NOVAMath)
Pedro Quaresma (University of Coimbra / CISUC)
João Rasga (University of Lisbon / Instituto de Telecomunicações)
Alexandra Rodrigues (NOVA University of Lisbon)
Paulo Guilherme Santos (Instituto Politécnico de Lisboa / CMAFcIO)
André Souto (University of Lisbon / LASIGE)
Maria Manuel Torres (University of Lisbon / CMAFcIO)
