[Caml-list] Computability in Europe CiE 2026: 2nd Call for Papers

[Caml-list] Computability in Europe CiE 2026: 2nd Call for Papers

[acie]

[-- Attachment #1: Type: text/plain, Size: 4718 bytes --]

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://www.acie.eu/cie-conference-series/
[2] https://easychair.org/conferences?conf=cie2026
[3] http://www.mcu-2026.uni-trier.de
[4] https://cca-net.de/cca2026/
[5] 
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

[-- Attachment #2: Type: text/html, Size: 5906 bytes --]