
Gothenburg Cyclothon
A 2½-day workshop dedicated to current and future trends in cyclic and illfounded forms of provability and justification. 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.
Speakers
- Henning Basold (Leiden University)
- Anupam Das (University of Birmingham)
- Sebastian Enqvist (Stockholm University)
- Zainab Galal (RIMS, Kyoto and University of Bologna), TBC
- Marianna Girlando (University of Amsterdam)
- Iris van der Giessen (University of Amsterdam)
- Helle Hvid Hansen (University of Groningen), TBC
- Alex Leitsch (TU Wien)
- Reuben Rowe (Royal Holloway)
- Alexis Saurin (IRIF)
- Takeshi Tsukada (Chiba University)
Location
The workshop will be held at the Faculty of Humanities of the University of Gothenburg, address Renströmsgatan 6, Gothenburg. It is adjacent to the Korsvägen transport hub and within walking distance from the city centre.
Registration
Attendence is free but registration is required. This page will be updated in due course with information.
Schedule
Morning of Wednesday, 24 September until afternoon of Friday, 26 September 2025.
Organisors
- Graham E Leigh
- Gianluca Curzi
- Bahareh Afshari
- Ivan Di Liberti
- Dominik Wehr
- Giacomo Barlucchi
In case of questions, contact Graham Leigh