Logic List Mailing Archive
CfP: CiE 2025: Computability in Europe 2025, 14-18 July 2025, Lisbon (Portugal)
CiE 2025: CALL FOR PAPERS
Computability in Europe 2025
Crossroads of Computability and Logic: Insights, Inspirations, and Innovati
ons
Lisbon, Portugal
July 14-18, 2025
https://bit.ly/CIE2025
Submission link: https://easychair.org/my/conference?conf=cie2025
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, 202
4 Deadline for informal presentations submission: April 22, 2025 (The notif
ications of acceptance for informal presentations will be sent a few days a
fter 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 Eur
ope). CiE is a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested innew developmen
ts in computability and their underlying significance for the real world. P
revious meetings have taken place in Amsterdam (2005), Swansea (2006), Sien
a (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (20
11), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Par
is (2016), Turku (2017), Kiel (2018), Durham (2019), Salerno (2020, virtual
ly), Ghent (2021, virtually), Swansea (2022), Batumi (2023), and Amsterdam
(2024).
TUTORIAL SPEAKERS
Maria Paola Bonacina (University of Verona) Igor Carboni Oliveira (Universi
ty of Warwick)
INVITED SPEAKERS
Ugo Dal Lago (University of Bologna)
Daniel Graa (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
There will be 6 special sessions, 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 theo
retical computer science, as well as the interplay of these areas with prac
tical 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-E
uropean, to submit their papers in all areas related to the above for prese
ntation at the conference and inclusion in the proceedings of CiE 2025 at h
ttps://easychair.org/my/conference?conf=cie2025.
CONFERENCE PROCEEDINGS
Papers submitted to the conference proceedings should represent original wo
rk, not simultaneously submitted to another journal or conference with form
al proceedings. The Program Committee will rigorously review and select sub
mitted 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 m
aximum of 15 pages, including references but excluding a possible appendix
in which one can include proofs and other additional material. Papers build
ing bridges between different parts of the research community are particula
rly 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 info
rmal presentation must be submitted via our submission link: https://easych
air.org/my/conference?conf=cie2025, 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 suffic
es and an abstract is not required. Informal presentations will not be publ
ished in the LNCS conference proceedings. Results presented as informal pre
sentations at CiE 2025 may appear or may have appeared in other conferences
with formal proceedings and/or in journals.
PROGRAM COMMITTEE
Contributed papers will be selected from submissions received by the PROGRA
M COMMITTEE consisting of:
Arnold Beckmann (Swansea University) - co-chair Laurent Bienvenu (Universit
y of Bordeaux) Christel Baier (Technische Universitt Dresden) Giuseppa C
astiglione (Universit degli Studi di Palermo) Benjamin Doerr (cole Po
lytechnique) Fernando Ferreira (University of Lisbon) Gilda Ferreira (Unive
rsidade 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 Lond
on and University of Cambridge) Ludovic Levy Patey (Mathematics Institute o
f Jussieu-Paris Rive Gauche) Zsuzsanna Liptk (University of Verona) Flor
in Manea (University of Gttingen) Simone Martini (University of Bologna)
Russell Miller (Queens College-CUNY) Georg Moser (University of Innsbruck)
Isabel Oitavem (Universidade Nova de Lisboa) - co-chair Romain Pchoux (
University of Lorraine) Paolo Pistone (Universit Claude Bernard Lyon 1)
Dino Rossegger (Vienna University of Technology) Stefan Vatev (Sofia Univer
sity) Damien Woods (Maynooth University)
WOMEN IN COMPUTABILITY
We intend to run the Women in Computability program as in previous CiEs, de
tails will be announced in due course.
HOSTED BY
The event will be held in the Faculdade de Cincias buildings located at
University of Lisbon.
ORGANIZING COMMITTEE
Bruno Dinis (University of vora / CIMA) Jos Esprito Santo (Univers
ity of Minho / CMAT) Gilda Ferreira (Universidade Aberta / CMAFcIO) - chair
Manuel Martins (University of Aveiro / CIDMA) Isabel Oitavem (NOVA Univers
ity of Lisbon / NOVAMath) Pedro Quaresma (University of Coimbra / CISUC) Jo
o Rasga (University of Lisbon / Instituto de Telecomunicaes) Alexa
ndra Rodrigues (NOVA University of Lisbon)
Paulo Guilherme Santos (Instituto Politcnico de Lisboa / CMAFcIO) Andr
Souto (University of Lisbon / LASIGE)
Maria Manuel Torres (University of Lisbon / CMAFcIO)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php