Conferences and seminars
Bergen Logic Group Seminar: Sorin Bangu
Sorin Bangu (University of Bergen): Can there be mathematical knowledge without proof?
The Bergen Logic Group Seminar is a research seminar series organised by the Bergen Logic Group. It primarily serves as a forum for presenting work in progress and features contributions from both internal and visiting speakers.