Upcoming events

Quantified CDCL and Dependency Schemes: A proof-theoretic study

Speaker:
Meena Mahajan (Institute of Mathematical Sciences (I.M.Sc.))
Organiser:
Shibashis Guha
Date:
Tuesday, 3 Feb 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

Finding an Element of High Order Modulo a Composite

Speaker:
Ben Lee Volk (Reichman University)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 10 Feb 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

To be Announced

Speaker:
Rahul Parhi (University of California, San Diego (UCSD))
Organiser:
Vinod M. Prabhakaran
Date:
Wednesday, 11 Feb 2026, 15:00 to 16:00
Venue:
HBA Foyer
Category:

Learning world models from doing and seeing: Causal representation learning and applications to robot pose estimation

Speaker:
Karthikeyan Shanmugam (Google Deepmind India (Bengaluru))
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 17 Feb 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

To be Announced

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: