Events: Special Colloquium

Math and Informatics, ever more fruitful interactions

Speaker:

Gérard Berry (French Académie des sciences)

Organiser:

Arkadev Chattopadhyay

Date:

Tuesday, 3 Nov 2020, 16:00 to 17:00

Category:

Special Colloquium

Probabilistically Checkable Proofs

Speaker:

Madhu Sudan (Microsoft Research New England Cambridge United States of America)

Date:

Thursday, 11 Jun 2015, 16:00 to 17:00

Venue:

AG-66 (Lecture Theatre)

Category:

Special Colloquium

Early Verification

Speaker:

K. Rustan M. Leino (Microsoft Research One Microsoft Way Redmond, WA 98052 United States of America)

Organiser:

Paritosh K Pandya

Date:

Tuesday, 13 Jan 2015, 14:00 to 15:00

Venue:

AG-66 (Lecture Theatre)

Category:

Special Colloquium