Past events

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:

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:

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:

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:

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)

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:

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:

An Information Processing View of Chemical Reaction Networks

Speaker:
Abhishek Behera (Chennai Mathematical Institute H1, SIPCOT IT Park Siruseri, Kelambakkam Chennai 603103)
Organiser:
Nikhil S Mande
Date:
Friday, 15 Apr 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)

Logical Dynamics in Large Games

Speaker:
R. Ramanujam (The Institute of Mathematical Sciences CIT Campus Taramani Chennai 600113)
Organiser:
Prahladh Harsha
Date:
Tuesday, 12 Apr 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category:

Streaming Algorithms for Embedding and Computing Edit Distance in the Low Distance Regime

Speaker:
Michal Koucky (Charles University Department of Computer Science Malosranske nam. 25, 118 00 Praha 1 Czech Republic)
Organiser:
Arkadev Chattopadhyay
Date:
Wednesday, 6 Apr 2016, 16:00 to 17:00
Venue:
A-201 (STCS Seminar Room)
Category: