Upcoming events

Bounded Arithmetic proofs of SL = L

Speaker:
Sasank Mouli (IIT Indore)
Organiser:
Prahladh Harsha
Date:
Friday, 20 Feb 2026, 16:00 to 17:00
Venue:
A-201 Seminar Room
Category:

Cryptographic proofs for privacy and integrity

Speaker:
Chaya Ganesh (Indian Institute of Science (IISc), Bengaluru)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 24 Feb 2026, 16:00 to 17:00
Venue:
via Zoom in A201
Category:

On Propositional Reasoning with Parities

Speaker:
Dmitry Itsykson (Ben-Gurion University of the Negev)
Organiser:
Arkadev Chattopadhyay
Date:
Wednesday, 25 Feb 2026, 16:00 to 17:00
Venue:
A -201
Category:

To be announced

Speaker:
Syamantak Das (Indraprastha Institute of Information Technology Delhi (IIIT-Delhi))
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 10 Mar 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

To be announced

Speaker:
Rakesh Venkat (Indian Institute of Technology Hyderabad (IITH))
Organiser:
Raghuvansh Saxena
Date:
Wednesday, 25 Mar 2026, 15:46 to 17:30
Venue:
A-201 Seminar Room
Category: