Proof Complexity and Beyond Workshop Details https://www.mfo.de/@@site-logo/mfo.png Proof Complexity and Beyond 24 Mar - 29 Mar 2024 ID: 2413 Organizers Albert Atserias, Barcelona Meena Mahajan, Chennai Jakob Nordström, Copenhagen/Lund Alexander Razborov, Chicago Public Abstract Public-Abstract-2413.pdf Workshop Reports Workshop Report 15/2024 Organizer Login Participant Login VCA Login