FW: Computability in Europe CiE 2026: 2nd Call for Papers

[Kreinovich, Vladik]

FYI, computable analysis is one of the highlighted topics

 

From: ac...@acie.eu

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).

What to put into your calendar:

• Abstract deadline: January 29th, 2026, submissions are possible via Easychair.
• Full Paper deadline: February 3rd, 2026. We expect 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.
• 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

Special Sessions of CiE 2026: (Organizers in parentheses)

• Learning Theory Meets Computability Theory (Cameron Freer & Sandra Zilles)
• Groups and Computability (Laura Ciobanu & André Nies)
• At the Borderline of Universality (Erzsebet Csuhaj-Várju & Serghei Verlan)
• Natural Computation and Bioinformatics (Karel Brinda & Giuditta Franco)
• Quantum Computing and Information (Mika Hirvensalo)
• HaPoC: History and Philosophy of Computation (Hajo Greif)

Confirmed Invited Speakers (more names will be added soon):

• 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:

• Nate Ackerman, Harvard University, USA
• Verónica Becher, Universidad de Buenos Aires, Argentina
• Paola Bonizzoni,Università di Milano-Bicocca, Italy
• Olivier Bournez, Institut Polytechnique de Paris, Ècole Polytechnique, Palaiseau, France
• 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
• Florin Manea, University of Göttingen, Germany
• 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