Call for Participation Gothenburg Cyclothon 24-26 September 2025 University of Gothenburg, Sweden https://logic-gu.se/cyclothon25
A 3-day workshop dedicated to current and future trends in cyclic and illfounded notions of provability and co-inductive methods in proof theory. Speakers - Henning Basold (Leiden University) - Anupam Das (University of Birmingham) - Sebastian Enqvist (Stockholm University) - Zeinab Galal (RIMS, Kyoto and University of Bologna) - Iris van der Giessen (University of Amsterdam) - Marianna Girlando (University of Amsterdam) - Helle Hvid Hansen (University of Groningen) - Stefan Hetzl (TU Wien) - Alex Leitsch (TU Wien) - Reuben Rowe (Royal Holloway) - Alexis Saurin (IRIF) - Takeshi Tsukada (Chiba University) Registration Attendance is free but registration is required. Please note that the deadline for registration is 1 September. Registration form: https://forms.cloud.microsoft/e/bFQJayDiKe Sponser The event is sponsored by the Knut and Alice Wallenberg Foundation via the research project Taming Jörmungandr: The Logical Foundations of Circularity, the Swedish Research Council through the research project Proofs with Cycles and Computation, and the Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg. In case of questions, contact Graham E Leigh <graham.le...@gu.se> or Gianluca Curzi <gianluca.cu...@gu.se> -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
