Talks
Spring 2023
Proofs, Circuits and Total Search Problems
Friday, January 20th, 2023, 2:00 pm–3:00 pm
Event:
Speaker:
Susanna de Rezende (Lund University)
Location:
Calvin Lab Auditorium
No abstract available.