Going backwards suffices: some reflections on proof construction for formal verification
THURSDAY, AUGUST 9
Favio Miranda
Facultad de Ciencia, UNAM
Leer más: Going backwards suffices: some reflections on proof construction for formal verification
First joint workshop by the Mathematics and the Philosophy Research Institutes of UNAM 2018
Quantum supremacy and its applications.
Scott Aaronson, University of Texas at Austin
Auditorio "Alfonso Nápoles Gándara"
Jueves 9 de agosto a las 12:00 horas
Breaking the proof code
João Marcos (11:00-12:00) TUESDAY 7 August