Events: STCS VV distinguished lecture

The complexity of formal proofs

Speaker:

Meena Mahajan (Institute of Mathematical Sciences, Chennai.)

Organiser:

Prahladh Harsha

Date:

Wednesday, 13 Jul 2022, 17:00 to 18:30

Venue:

AG-66

Category:

STCS VV distinguished lecture

The Various Flavours of Computer Systems & Networking Research: A Personal Journey

Speaker:

Ranjita Bhagwan (Microsoft Research Lab - India)

Organiser:

Prahladh Harsha

Date:

Monday, 11 Jul 2022, 17:00 to 18:30

Venue:

AG-66

Category:

STCS VV distinguished lecture

Games of Pursuit and Evasion

Speaker:

Neeldhara Misra (IIT Gandhinagar)

Organiser:

Prahladh Harsha

Date:

Tuesday, 5 Jul 2022, 17:00 to 18:30

Venue:

AG-66

Category:

STCS VV distinguished lecture