Logic List Mailing Archive

CfP: CiE 2026 – Computability in Europe, 27–31 July 2026, Trier (Germany)

Computability in Europe (CiE) is a conference series interfacing informatics and mathematics. For more information on this conference series, look here<https://www.acie.eu/cie-conference-series/>: https://www.acie.eu/cie-conference-series/. 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<https://easychair.org/conferences?conf=cie2026>: https://easychair.org/account2/signin?l=7167444809212707201 .
  *   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<http://www.mcu-2026.uni-trier.de>: Machines, Computability, Universality,
  *   CCA 2026<https://cca-net.de/cca2026/>: Computability and Complexity in Analysis,
  *   GSW 2026:<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> 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-Vrju & 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
  *   Vernica 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), Universitt 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 Graa, 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 Gttingen, Germany
  *   Alberto Marcone, Universit di Udine, Italy
  *   Elvira Mayordomo, Universidad de Zaragoza, Spain
  *   Wolfgang Merkle, Universitt Heidelberg, Germany
  *   Ccilia 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 Crteil, 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

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php