Talks
Spring 2021
Proofs, Circuits, and Total Search Problems
Tuesday, June 14th, 2022, 9:00 am–10:00 am
Speaker:
Susanna de Rezende (Czech Academy of Sciences)
Location:
Calvin Lab Room 116
No abstract available.
