School of Technology and Computer Science
Academics
Graduate Studies
Academic Calendar
Courses
Course timetable
Forms
Research areas
Events & News
News
Upcoming events
Past events
Calendar
People
Faculty
Adjunct faculty
Visiting fellows
Students
Staff
Visitors
Former members
Resources
ZoomCal
Course Registration System
YouTube channel
Old YouTube channel
Wireless service
Admissions
Join Us
Vigyan Vidushi
VV 2021
VV 2022
VV 2024
VV 2025
VV 2026
Contact
Contact us
Reaching here
🔍
Home
Events & News
Upcoming events
Upcoming events
Matching in general graphs is in catalytic logspace
Speaker:
Amit Kumar Sinhababu
(Chennai Mathematical Institute)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 8 Sep 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar
Designing formally proven Hardware: A rocq+clash based approach.
Speaker:
Piyush Kurur
(IIT Palakkad)
Organiser:
Shibashis Guha
Date:
Tuesday, 15 Sep 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar
Late Interaction: What, When and Why
Speaker:
Sabyasachi Basu
(Microsoft Research, Bangalore)
Organiser:
Umang Bhaskar
Date:
Friday, 25 Sep 2026, 11:30 to 12:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar
To be announced
Speaker:
Abir De
(IIT Bombay)
Organiser:
Raghuvansh Saxena
Date:
Thursday, 8 Oct 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar
To be announced
Speaker:
Sandeep R. B
(IIT Dharwad)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 27 Oct 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar
«
1
2
»
News
Upcoming events
Past events
Calendar
