Seminars

Download ICal for all seminars
Feb
06
Decentralized Information Flow Control for the Robot Operating System
Series: M.Tech (Research) Thesis Defense
Location: CSA Conference Room, (Room No. 328, Second Floor)
Speaker: Chinmay Gameti, M.Tech (Research) student Dept. of CSA


Feb
05
Controller Synthesis Techniques for Infinite-State Reactive Systems
Series: Ph.D. Colloquium
Location: CSA Seminar Hall (Room No. 254, First Floor)
Speaker: Stanly John Samuel


Feb
02
From theory to practice: the Marvelous journey of Mighty MPC
Series: CSA Faculty Colloquium
Location: CSA Lecture Hall (Room No. 117, Ground Floor)
Speaker: Prof. Arpita Patra, Associate Professor, Dept. of CSA, IISc


Feb
02
Formal Methods for Software Reliability and Synthesis
Series: CSA Colloquium
Location: CSA Seminar Hall (Room No. 254, First Floor)
Speaker: Ashish Mishra


Feb
02
Best of Both Worlds in Fair Division
Series: Bangalore Theory Seminars
Location: CSA Lecture Hall (Room No. 117, Ground Floor)
Speaker: Rohit Vaish, Indian Institute of Technoloby Delhi,


Feb
02
Enhancing Statistical Model Checking via Abstraction Techniques and Learning
Series: CSA Colloquium
Location: CSA Seminar Hall (Room No. 254, First Floor)
Speaker: Balaji Raman


Feb
01
Border ranks, and de-bordering paradigms in Geometric Complexity Theory
Series: Bangalore Theory Seminars
Location: CSA Lecture Hall (Room No. 117, Ground Floor)
Speaker: Pranjal Dutta, National University of Singapore,


Jan
31
HyCache: Hybrid Caching for Accelerating DNN Training Input Pipelines
Series: M.Tech (Research) Colloquium
Location: CSA Lecture Hall (Room No. 112, Ground Floor)
Speaker: Keshav Vinayak Jha


Jan
30
Lower Bounds for Sums of Ordered Set-Multilinear ABPs
Series: Department Seminar
Location: CSA Seminar Hall (Room No. 254, First Floor)
Speaker: Prerona Chatterjee, Postdoc at Tel Aviv university, Israel


Jan
25
Read-once algebraic branching programs and commuting matrices
Series: Department Seminar
Location: CSA Seminar Hall (Room No. 254, First Floor)
Speaker: Anamay Tengse Postdoc at Reichman University, Israel


Jan
24
An Explainable Hierarchical Class Attention Model for Legal Appeal Automation
Series: M.Tech (Research) Colloquium
Location: CSA Seminar Hall (Room No. 254, First Floor)
Speaker: Sasanka Rani Vutla, M.Tech (Research) student, Dept. of CSA


Jan
19
Handling Correlated Rounding Error via Preclustering: A 1.73-approximation for Correlation Clustering
Series: Bangalore Theory Seminars
Location: Online Talk (See Teams link below)
Speaker: Alantha Newman G-SCOP Laboratory in Grenoble, France


Jan
18
Parallel Repetition of k-Player Projection Games
Series: Bangalore Theory Seminars
Location: CSA Seminar Hall (Room No. 254, First Floor)
Speaker: Amey Bhangale UC, Riverside


Jan
17
Fair Division via Quantile Shares
Series: Bangalore Theory Seminars
Location: CSA Seminar Hall (Room No. 254, First Floor)
Speaker: Vishnu Narayan Tel-Aviv University, Israel


Jan
12
LLMs for Everybody: How inclusive are the LLMs today and Why should we care?
Series: Department Seminar
Location: CSA Lecture Hall (Room No. 112, Ground Floor)
Speaker: Prof. Monojit Choudhury, Natural Language Processing Mohd bin Zayed University of Artificial Intelligence (MBZUAI), Abu Dhabi


Jan
12
Intelligent Fault Diagnosis and Prognosis For System Health Management
Series: PROF. V.V.S. SARMA MEMORIAL LECTURE
Location: CSA Lecture Hall (Room No. 117, Ground Floor)
Speaker: Prof. Krishna R. Pattipati, Distinguished Professor Emeritus and the Collins Aerospace Chair,Professor of Systems Engineering in the Department of Electrical and Computer Engineering, University


Jan
12
On the history, significance and equivalent formulations of the Four Color Theorem
Series: Bangalore Theory Seminars
Location: CSA Lecture Hall (Room No. 117, Ground Floor)
Speaker: Nishad Kothari, Indian Institute of Technology Madras


Jan
09
Online Omniprediction
Series: Bangalore Theory Seminars
Location: CSA Seminar Hall (Room No. 254, First Floor)
Speaker: Sumegha Garg, Rutgers University


Jan
08
Security of the Positioning Systems
Series: Department Seminar
Location: CSA Seminar Hall (Room No. 254, First Floor)
Speaker: Mridula Singh, Faculty CISPA Helmholtz Center for Information Security Saarbrucken, Germany


Jan
04
Complexities of as-a-Service Edge-to-Cloud Platform
Series: Department Seminar
Location: CSA Seminar Hall (Room No. 254, First Floor)
Speaker: Puneet Sharma Director, Networking and Distributed Systems Lab, Hewlett Packard Labs