Logic List Mailing Archive

CfP: Gothenburg Cyclothon, 24-26 September, Gothenburg (Sweden)

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 Jrmungandr: 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.leigh@gu.se> or Gianluca Curzi <gianluca.curzi@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