School of Technology and Computer Science

Past events

Formalizing Finite Set Combinatorics in Type Theory
Speaker:
Abhishek Singh
Organiser:
Prahladh Harsha
Date:
Wednesday, 15 Jan 2020, 11:30 to 13:00
Venue:
A-201 (STCS Seminar Room)
Category:
Synopsis Seminar

Solidity+: A Language for Robust Programming of Smart Contracts
Speaker:
R.K. Shyamasundar (IIT Bombay, Mumbai)
Organiser:
N Raja
Date:
Tuesday, 14 Jan 2020, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Privacy-Preserving Localization and Recognition of Human Activities
Speaker:
Prof. Janusz Konrad (Boston University, USA)
Date:
Monday, 13 Jan 2020, 16:00 to 17:00
Venue:
D-Block Conference Room (D-406)
Category:
ASET Colloquium

PIDForest: Anomaly detection via Partial Identification
Speaker:
Parikshit Gopalan (VMware Research Palo Alto, CA, U.S.)
Organiser:
Jaikumar Radhakrishnan
Date:
Monday, 13 Jan 2020, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Learning and Characterization of Interventional Equivalence class of Causal Graphs with Latents
Speaker:
Karthikeyan Shanmugam (IBM Research AI Group, USA)
Organiser:
Himanshu Asnani
Date:
Friday, 10 Jan 2020, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Testing Noisy Linear Equations for Sparsity
Speaker:
Anindya De (University of Pennsylvania United States)
Organiser:
Piyush Srivastava
Date:
Monday, 6 Jan 2020, 10:30 to 11:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Bombay Information Theory Seminar 2020
Organiser:
Jaikumar Radhakrishnan, Vinod M. Prabhakaran
Date:
Monday, 6 Jan 2020 09:00 to Thursday, 9 Jan 2020 17:00
Venue:
TIFR and IIT Bombay
Category:
Workshop

Workshop on Learning Theory 2
Organiser:
Sandeep K Juneja
Date:
Friday, 3 Jan 2020 09:00 to Saturday, 4 Jan 2020 17:30
Venue:
AG-66 (Lecture Theatre)
Category:
Workshop

Online Parameter Estimation for Human Driver behavior Prediction from Driving Demonstration Data
Speaker:
Raunak P. Bhattacharyya (Stanford University, USA)
Organiser:
Himanshu Asnani
Date:
Thursday, 2 Jan 2020, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

How Reasoning about Knowledge Helps us understand the World
Speaker:
Rohit Parikh (City University of New York Brooklyn College and CUNY Graduate Center)
Organiser:
N Raja
Date:
Wednesday, 1 Jan 2020, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar