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
Contact
Contact us
Reaching here
🔍
Home
Events & News
STCS Seminar
Events: STCS Seminar
Robust timed synthesis
Speaker:
Youssouf Oualhadj
(Université Paris-Est Créteil Val de Marne)
Organiser:
Shibashis Guha
Date:
Tuesday, 29 Apr 2025, 16:00 to 17:00
Venue:
HBA Foyer
Category:
STCS Seminar
How to Construct Random Strings
Speaker:
Rahul Santhanam
(University of Oxford)
Organiser:
Arkadev Chattopadhyay
Date:
Thursday, 24 Apr 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar
To be announced (Talk Postponed)
Speaker:
Bharat Adsul
(IIT Bombay)
Organiser:
Shibashis Guha
Date:
Tuesday, 22 Apr 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar
A Theory for Computing with SAT Solvers: What's the Power of a Satisfying Assignment?
Speaker:
Kuldeep Meel
(Georgia Tech)
Organiser:
Umang Bhaskar
Date:
Wednesday, 16 Apr 2025, 10:00 to 11:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar
Geometry in Optimization: To Choose or Not to Choose
Speaker:
Sujoy Bhore
(IIT Bombay)
Organiser:
Shibashis Guha
Date:
Tuesday, 15 Apr 2025, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar
«
1
2
3
4
…
78
»
News
Upcoming events
Past events
Calendar
