Human-Centred Computing Events
Complexity Seminar: Susanna F. de Rezende (Lund)
Location: Online
Average-case hardness in proof complexity
https://www.dcs.warwick.ac.uk/~igorcarb/complexity-meetings.html
Average-case hardness in proof complexity
https://www.dcs.warwick.ac.uk/~igorcarb/complexity-meetings.html