Events: Seminar

Probabilistic Programming: A Program Analysis Perspective

Speaker:

Sriram Rajamani (Microsoft India (R&D) Pvt. Ltd. "Vigyan" #9, Lavelle Road Bangalore 560 001)

Organiser:

Paritosh K Pandya

Date:

Tuesday, 21 May 2013, 11:30 to 12:30

Venue:

A-212 (STCS Seminar Room)

Category:

Seminar

Topology of Some Random Complexes

Speaker:

D. Yogeshwaran (Technion - Israel Institute of Technology Faculty of Electrical Engineering Haifa Israel 32000)

Organiser:

Rahul Vaze

Date:

Tuesday, 14 May 2013, 11:00 to 12:00

Venue:

A-212 (STCS Seminar Room)

Category:

Seminar

Automated Analysis of Probabilistic Infinite-state Systems

Speaker:

Dominik Wojtczak (University of Liverpool Department of Computer Science Ashton Building Ashton Street Liverpool, L69 3BX United Kingdom )

Organiser:

Paritosh K Pandya

Date:

Friday, 10 May 2013, 14:30 to 15:30

Venue:

A-212 (STCS Seminar Room)

Category:

Seminar

Ramanujan Graphs of All Degrees

Speaker:

Nikhil Srivastava (Microsoft Research, India #9, Lavelle Road Bangalore Karnataka 560025 )

Organiser:

Prahladh Harsha

Date:

Monday, 6 May 2013, 16:30 to 17:30

Venue:

AG-80

Category:

Seminar

Boolean Monotonicity Testing via an Isoperimetry Result on the Directed Hypercube

Speaker:

Deeparnab Chakrabarty (Microsoft Research, India #9, Lavelle Road Bangalore, Karnataka 560025 )

Organiser:

Prahladh Harsha

Date:

Thursday, 2 May 2013, 15:30 to 16:30

Venue:

AG-80

Category:

Seminar