Computability in Europe CiE 2026: Timeless Machines / Computability Across Eras

Computability in Europe (CiE) is a conference series interfacing informatics and mathematics. For more information on this conference series, look here. The 21st edition of CiE will take place at Trier University, July 27.-31., 2026. CiE 2026 will be chaired by Henning Fernau and Vasco Brattka (Munich). During the CiE conference, the Annual Meeting of the Association CiE will take place, as well as the Meeting “Women in Computability.”

CiE
ASL
LCS

What to put into your calendar (AoE times)

  • Abstract deadline: January 29th, 2026, submissions via Easychair.
  • Full Paper deadline: February 3rd, 2026. We expect non-anonymous submissions up to 15 pages in LNCS format, including “everything” apart from a possible appendix (read at the discretion of the PC); alternatively, include a link to an ArXiv version.
  • The second round of paper submissions had as deadline March 15th, 2026.
  • Notification: April 27th, 2026
  • Deadline for final papers: May 4th, 2026
  • Deadline for submission of informal presentations (not to appear in the proceedings): May 15th, 2026
  • Notification on informal presentations: June 1st, 2026

CiE 2026 will be colocated with other conferences and workshops

  • MCU 2026: Machines, Computability, Universality,
  • CCA 2026: Computability and Complexity in Analysis,
  • GSW 2026: Grammar Systems Workshop

Registration fees: We distinguish between full registration and student registration.

  • Full registration: Until June 30th: 200 €, from July 1st: 300 €.
  • Student registration: Until June 30th: 150 €, from July 1st: 200 €.

Fees cover, among other things, local public transport, meals and coffee breaks at the university, access to rooms.

Funding opportunities for student members of the Association for Symbolic Logic (ASL) are available. Applications should be directed to the Association for Symbolic Logic three months prior to the meeting, following these instructions. 

Special Sessions of CiE 2026

Learning Theory Meets Computability Theory (Cameron Freer & Sandra Zilles)

Confirmed invited speakers:

  • Dana Fisman
  • Kevin Kelly
  • Alexander Kozachinskiy
  • Ruth Urner

Groups and Computability (Laura Ciobanu & André Nies)

Confirmed invited speakers:

  • Arman Darbinyan
  • Emmanuel Rauzy
  • Alex Thumm

At the Borderline of Universality (Erzsébet Csuhaj-Varjú & Serghei Verlan)

Confirmed invited speakers:

  • Artiom Alhazov
  • Matthew Cook
  • Gemma De les Coves
  • Victor Mitrana

Natural Computation and Bioinformatics (Karel Brinda & Giuditta Franco)

Confirmed invited speakers:

  • Ragnar Groot Koerkamp
  • David Orellana Martín

Quantum Computing and Information (Mika Hirvensalo)

Confirmed invited speakers:

  • Jaroslaw Miszczak
  • Giuseppe Santoro
  • Abuzer Yakaryilmaz

HaPoC (History and Philosophy of Computation): New French Philosophy of Computing (Hajo Greif)

Confirmed invited speakers:

  • Paula Quinon
  • Thomas Seiller

Confirmed Invited Speakers

  • Olivier Bournez (Paris, France) [Tutorial Speaker]
  • Georg Zetzsche (Kaiserslautern, Germany) [Tutorial Speaker]
  • Albert Atserias (Barcelona, Spain)
  • Johanna Franklin (Hempstead, NY, USA)
  • Mathieu Hoyrup (Nancy, France)
  • Luca San Mauro (Bari, Italy)
  • Francesca Zaffora Blando (Pittsburgh, USA)

Program Committee of CiE 2026

  • Verónica Becher, Universidad de Buenos Aires, Argentina
  • Paola Bonizzoni,Università di Milano-Bicocca, Italy
  • Vasco Brattka (PC co-chair), Universität der Bundeswehr Munich, Germany
  • Rod Downey, Victoria University of Wellington, New Zealand
  • Damir D. Dzhafarov, University of Connecticut, USA
  • Henning Fernau (PC co-chair), Trier University, Germany
  • Gilda Ferreira, Universidade Aberta, Portugal
  • Lorenzo Galeotti (SC chair), University of Amsterdam, The Netherlands
  • Daniel Graça, University of Algarve, Portugal
  • Gabriel Istrate, University of Bucharest, Romania
  • Jarkko Kari, University of Turku, Finland
  • Lila Kari, University of Waterloo, Canada
  • Akitoshi Kawamura,Kyoto University, Japan
  • Takayuki Kihara, Nagoya University, Japan
  • Alberto Marcone, Università di Udine, Italy
  • Elvira Mayordomo, Universidad de Zaragoza, Spain
  • Wolfgang Merkle, Universität Heidelberg, Germany
  • Cécilia Pradic, Swansea University, UK
  • Giuseppe Primero, University of Milan, Italy
  • Paul Shafer, University of Leeds, UK
  • Tomasz Steifer, Polish Academy of Sciences
  • Frank Stephan, National University of Singapore
  • Manlio Valenti, Swansea University, UK
  • Serghei Verlan, University Paris Est Créteil, LACL, France
  • Andreas Weiermann, Ghent University, Belgium
  • Tomoyuki Yamakami, Fukui University, Japan

List of Topics of CiE 2026 (non-exclusive)

  • Algorithmic Information Theory
  • Algorithmic Learning Theory
  • Algorithmic Measure Theory
  • Algorithmic Randomness
  • Analog Computation Models
  • Automata Theory
  • Biocomputing
  • Category Theory
  • Complexity Theory
  • Complex Systems
  • Computability
  • Computable Analysis
  • Computational Biology
  • Decidability
  • Descriptive Set Theory
  • Formal Languages
  • History of Computing
  • Mathematical Logic
  • Natural Computing
  • Philosophy of Computation
  • Proof Theory
  • Quantum Computation
  • Recursion Theory
  • Reverse Mathematics

Responsible for the contents of this page: Henning Fernau.