Math and Informatics, ever more fruitful interactions Special Colloquium Speaker: Gérard BerryOrganisers: Arkadev ChattopadhyayTime: Tuesday, 3 November 2020, 16:00 to 17:00 Read more about Math and Informatics, ever more fruitful interactions
Probabilistically Checkable Proofs Special Colloquium Speaker: Madhu SudanTime: Thursday, 11 June 2015, 16:00 to 17:00 Venue: AG-66 (Lecture Theatre) Webpage: http://research.microsoft.com/en-us/um/people/madhu/ Read more about Probabilistically Checkable Proofs
Early Verification Special Colloquium Speaker: K. Rustan M. LeinoOrganisers: Paritosh K PandyaTime: Tuesday, 13 January 2015, 14:00 to 15:00 Venue: AG-66 (Lecture Theatre) Webpage: http://research.microsoft.com/en-us/um/people/leino/ Read more about Early Verification
