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
STCS Seminar
Events: STCS Seminar
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:
STCS Seminar
to be announced
Speaker:
Neha Sangwan
(Halıcıoğlu Data Science Institute, UCSD)
Organiser:
Jatin Batra
Date:
Monday, 2 Feb 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar
Synthesis of Full-Information Protocols
Speaker:
Dietmar Berwanger
(Université Paris-Saclay, CNRS, ENS Paris-Saclay)
Organiser:
Shibashis Guha
Date:
Wednesday, 28 Jan 2026, 16:00 to 17:00
Venue:
HBA Foyer
Category:
STCS Seminar
To be announced
Speaker:
Avhishek Chatterjee
(IIT Madras)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 27 Jan 2026, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar
The PCP Theorem with a Single Composition
Speaker:
Amik Raj Behera
(University of Copenhagen)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 27 Jan 2026, 16:00 to 17:00
Venue:
via Zoom in A201
Category:
STCS Seminar
«
1
…
4
5
6
7
8
…
95
»
News
Upcoming events
Past events
Calendar
