[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Computability in Europe (CiE) is a conference series interfacing
informatics and mathematics. For more information on this conference
series, look here [1]. 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 [2].
* 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 [3]: Machines, Computability, Universality,
* CCA 2026 [4]: Computability and Complexity in Analysis,
* GSW 2026: [5] 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
Links:
------
[1] https://urldefense.com/v3/__https://www.acie.eu/cie-conference-series/__;!!IBzWLUs!U6nNcvuJsMida52_d7gwsGIXDe0joEfDlY06TX9RmIExtrG1LdhGo9-3OrkFZecWMud-UY-XOnIesqaWr_RoPemaHA$
[2] https://urldefense.com/v3/__https://easychair.org/conferences?conf=cie2026__;!!IBzWLUs!U6nNcvuJsMida52_d7gwsGIXDe0joEfDlY06TX9RmIExtrG1LdhGo9-3OrkFZecWMud-UY-XOnIesqaWr_QEFQtIgw$
[3] https://urldefense.com/v3/__http://www.mcu-2026.uni-trier.de__;!!IBzWLUs!U6nNcvuJsMida52_d7gwsGIXDe0joEfDlY06TX9RmIExtrG1LdhGo9-3OrkFZecWMud-UY-XOnIesqaWr_QeZQbtnQ$
[4] https://urldefense.com/v3/__https://cca-net.de/cca2026/__;!!IBzWLUs!U6nNcvuJsMida52_d7gwsGIXDe0joEfDlY06TX9RmIExtrG1LdhGo9-3OrkFZecWMud-UY-XOnIesqaWr_R_OgqVHw$
[5]
https://urldefense.com/v3/__https://www.uni-trier.de/en/universitaet/fachbereiche-faecher/fachbereich-iv/faecher/informatikwissenschaften/professuren/theoretische-informatik/research/conferences-and-workshops/translate-to-englisch-grammar-systems-2026*c471021__;Iw!!IBzWLUs!U6nNcvuJsMida52_d7gwsGIXDe0joEfDlY06TX9RmIExtrG1LdhGo9-3OrkFZecWMud-UY-XOnIesqaWr_THcDqtng$
