School of Technology and Computer Science

Events: STCS Annual Symposium

Games played on asynchronous transition systems
Speaker:
Bharat Adsul (IIT Bombay)
Organiser:
Jatin Batra, Raghuvansh Saxena
Date:
Tuesday, 19 Aug 2025, 16:00 to 17:00
Venue:
Main Lecture Theatre (AG-66)
Category:
STCS Annual Symposium

Eternal Versions of Vertex Cover and Dominating Set
Speaker:
Neeldhara Misra (IIT Gandhinagar)
Organiser:
Jatin Batra, Raghuvansh Saxena
Date:
Tuesday, 19 Aug 2025, 09:30 to 10:30
Venue:
Main Lecture Theatre (AG-66)
Category:
STCS Annual Symposium

Explainability, Model Surgery, and Quantum EM: Vignettes in Machine Learning
Speaker:
Chiranjib Bhattacharyya (IISC Banglore)
Organiser:
Jatin Batra, Raghuvansh Saxena
Date:
Monday, 18 Aug 2025, 09:30 to 10:30
Venue:
Main Lecture Theatre (AG-66)
Category:
STCS Annual Symposium

STCS Annual Symposium 2025
Organiser:
Jatin Batra, Raghuvansh Saxena
Date:
Monday, 18 Aug 2025 to Tuesday, 19 Aug 2025 (all day)
Venue:
Main Lecture Theatre (AG-66)
Category:
STCS Annual Symposium

Verifying Programs in Weak Memory Models with persistency
Speaker:
Prakash Saivasan (The Institute of Mathematical Sciences)
Organiser:
Raghuvansh Saxena
Date:
Tuesday, 13 Aug 2024, 09:30 to 10:30
Venue:
AG-69
Category:
STCS Annual Symposium