Maria Luisa Bonet
Maria Luisa Bonet
Affiliation: UPC Universitat Politècnica de Catalunya
Talks
(SAT)
Conditional Autarkies: Hard Formulas Made Easy · Session B: Proof Systems & Complexity
Pages in this Program
Program
Program on Monday, 20 July 2026
SAT on Monday, 20 July 2026
SAT Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑