Title
Proof Complexity and Beyond
Workshop ID: 1733
Organisers
Albert Atserias, Barcelona
Jakob Nordström, Stockholm
Toniann Pitassi, Toronto
Alexander Razborov, Chicago/Moscow
Date: 13 Aug - 19 Aug 2017
Public Abstract
Public-Abstract-1733.pdf

Organisers: Login for more information

Participants: Login for more information

Lookup workshop in oberwolfach photo collection