A 2½-day workshop dedicated to current and future trends in cyclic and illfounded notions 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 and the Department of Philosophy, Linguistics and Theory of Science.

Confirmed 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

The event is organised by the research project Taming Jörmungandr: The Logical Foundations of Circularity supported by the Knut and Alice Wallenberg Foundation:

  • Graham E Leigh
  • Bahareh Afshari
  • Ivan Di Liberti
  • Gianluca Curzi
  • Dominik Wehr
  • Giacomo Barlucchi

In case of questions, contact Graham Leigh