School of Technology and Computer Science

Past events

Parallelization of Boolean Groebner Basis Algorithm
Speaker:
Varun Narayanan
Organiser:
Prahladh Harsha
Date:
Tuesday, 10 May 2016, 16:00 to 17:30
Venue:
A-201 (STCS Seminar Room)
Category:
Masters' Project Seminar

Security of Cyber Physical Systems
Speaker:
Zia Saquib (National Centre for Software Techology Gulmohar, Cross Road No. 9 Juhu Andheri (West) Mumbai)
Date:
Friday, 6 May 2016, 16:00 to 17:00
Venue:
AG-66 (Lecture Theatre)
Category:
ASET Colloquium

Forster's Lower Bound
Speaker:
Nikhil S Mande
Organiser:
Nikhil S Mande
Date:
Friday, 6 May 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Student Seminar

Understanding Wolfeʼs Heuristic: Submodular Function Minimization and Projection onto Polytopes
Speaker:
Deeparnab Chakrabarty (Microsoft Research #9, Lavelle Road Bangalore 560001)
Organiser:
Prahladh Harsha
Date:
Tuesday, 3 May 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Colloquium

Fence Synthesis Using Happens-before Formulas
Speaker:
Shikhar Pandya (Visiting Student School of Technology and Computer Science Tata Institute of Fundamental Research Homi Bhabha Road Navy Nagar Mumbai 400005)
Organiser:
Ashutosh Gupta
Date:
Wednesday, 27 Apr 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
Seminar

Average Case Lower Bounds for Bounded Depth Threshold Circuits
Speaker:
Srikanth Srinivasan (Indian Institute of Technology Department of Mathematics Powai Mumbai 400076)
Organiser:
Prahladh Harsha
Date:
Tuesday, 26 Apr 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Colloquium

Types, Proofs and Homotopy
Speaker:
Piyush Kurur (Indian Institute of Technology Department of Computer Science and Engineering Kanpur  208016 And Visiting Professor School of Technology and Computer Science TIFR, Mumbai)
Organiser:
Paritosh K Pandya
Date:
Monday, 25 Apr 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

Reordering Rules for Machine Translation Using Least General Generalizations
Speaker:
Anamay Tengse
Date:
Friday, 22 Apr 2016, 15:30 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
Masters' Project Seminar

Computing on a Full Memory
Speaker:
Bruno Loff (Charles University Department of Computer Science Malosranske nam. 25, 118 00 Praha 1 Czech Republic)
Organiser:
Arkadev Chattopadhyay
Date:
Wednesday, 20 Apr 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:
STCS Seminar

On Stochastic Approximation, Stochastic Algebraic Topology and Optimization in High Dimensions
Speaker:
Gugan Thoppe (School of Technology and Computer Science Tata Institte of Fundamental Research Homi Bhabha Road, Navy Nagar Mumbai 400005)
Date:
Tuesday, 19 Apr 2016, 14:00 to 15:00
Venue:
AG-66 (Lecture Theatre)
Category:
PhD Thesis Seminar