Future meetings
Future meetings
Time and location
Time and location
We currently meet every two weeks on Friday, 2pm (London Time), via Zoom. Extra events organised by members of the network might take place outside this standard time slot. Unusual times will be highlighted with red colour below.
Future meetings
Future meetings
July 19th, 2pm
Speaker: Hanlin Ren
Topic: Meta-Mathematics of Resolution Lower Bounds: A TFNP Perspective
July 26th, 2pm
Speaker: Ian Mertz
Topic: The Structure of Catalytic Space: Capturing Randomness and Time via Compression
August 2nd, 2pm
Speaker: Ninad Rajgopal
UPCOMING Workshops
UPCOMING Workshops
Proof Complexity Workshop: 3-5 September at the University of Oxford.
Algorithms & Complexity Workshop: 23-24 September at the University of Warwick.