Activities

Below is a list of upcoming and recent activities of the research group.

Seminars

• Research seminar in logic at the University of Gothenburg.
• Nordic Online Logic Seminar.
• The Lindström Lectures, distinguished lecture series in logic.

Conferences and workshops

• Workshop on Fixed Points and Ill-founded Proofs, April 2023.
• Workshop in Philosophy of Computing, September 2021.
• Circularity in Syntax and Semantics (CiSS), November 2019.
• Gothenburg–Warsaw Workshop on Truth, December 2018.
• Tenth Scandinavian Logic Symposium, June 2018.
• Journées sur les Arithmétiques Faibles 33 (JAF33), June 2013.
• Workshop in honour of Dag Westerståhl, May, 2013.
• Numbers and Truth Conference, October 2012.