Degree project
Fri 17 December - Fri 31 December
-
Degree project
Friday 2021-12-17, 10:00 - 11:00
Location: Zoom: 683 3315 5216, contact arias@math.su.se to get the password
Respondent: Alice Stina Emilia Brolin
2021-12-17T10:00:00.000+01:00 2021-12-17T11:00:00.000+01:00 Alice Stina Emilia Brolin: Extracting Computational Content From Proofs (Degree project) Zoom: 683 3315 5216, contact arias@math.su.se to get the password (KTH, Stockholm, Sweden)Alice Stina Emilia Brolin: Extracting Computational Content From Proofs (Degree project)