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