School of Technology and Computer Science

Past events

Learning in Gated Neural Networks
Speaker:
Makkuva Ashok Vardhan (Department of Electrical & Computer Engineering University of Illinois at Urbana-Champaign (UIUC) United States)
Organiser:
Vinod M. Prabhakaran
Date:
Thursday, 23 Jan 2020, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Ultra Large-scale Linear Programming based on Continuum Computing
Speaker:
Dr. Narendra Karmarkar (Former Homi Bhabha Chair Prof., TIFR)
Organiser:
Sandeep K Juneja
Date:
Tuesday, 21 Jan 2020, 16:00 to 17:00
Venue:
AG-66 (Lecture Theatre)
Category:
STCS Seminar

Deterministic Representation of Linear Matroids
Speaker:
Pranabendu Misra (Max Planck Institute for Informatics Saarbrucken, Germany.)
Organiser:
Ramprasad Saptharishi
Date:
Tuesday, 21 Jan 2020, 14:30 to 15:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

A Quadratic Lower Bound for Algebraic Branching Programs
Speaker:
Prerona Chatterjee
Organiser:
Anamay Tengse
Date:
Friday, 17 Jan 2020, 16:00 to 17:30
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Student Seminar

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