Computability in Europe: Logic and Theory of Algorithms

概要

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 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 Turbo Ho 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: Vincenzo Bonnici Ragnar Groot Koerkamp David Orellana Martín Joanna Sułkowska Quantum Computing and Information (Mika Hirvensalo) Confirmed invited speakers: Jaroslaw Miszczak Giuseppe Santoro Abuzer Yakaryilmaz HaPoC (History and Philosophy of Computing): New French Philosophy of Computing (Hajo Greif) Confirmed invited speakers: Thierry Coquand 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 An

情報源ランク

地図