Talks
Spring 2023
Automatability: The Proof Search Problem
Friday, January 20th, 2023, 3:30 pm–4:30 pm
Event:
Speaker:
Susanna de Rezende (Lund University)
Location:
Calvin Lab Auditorium
No abstract available.
