University of Gothenburg
  2. News and events
  3. Find events
  4. Workshop in Logic: Gothenburg Cyclothon

Workshop in Logic: Gothenburg Cyclothon

Culture and languages
Science and Information Technology

Welcome to a workshop dedicated to current and future trends in cyclic and illfounded forms of provability and justification.

Workshop
Date
24 Sep 2025 - 26 Sep 2025
Location
Room J439 at Humanisten, Göteborgs universitet, Renströmsgatan 6.
Additional info
External website with more information
Organizer
Department of Philosophy, Linguistics and Theory of Science and Taming Jörmungandr
Link to registration form

Speakers

  • Henning Basold (Leiden University)
  • Anupam Das (University of Birmingham)
  • Sebastian Enqvist (Stockholm University)
  • Zeinab Galal (RIMS, Kyoto)
  • 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

Attendence is free but registration is required. The deadline for registration is Monday, 1 September. Link to register, see above.

Schedule

Morning of Wednesday, 24 September until afternoon of Friday, 26 September 2025.

 

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.

Last modified