School of Technology and Computer Science

Events: 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

Local Search for Computationally Hard Constraint Satisfaction Problems
Speaker:
Abdul Sattar (Griffith University Bldg N34 Room 1.45 170, Kessles Road, Nathan Brisbane, Queensland 4111 Australia)
Organiser:
R K Shyamasundar
Date:
Monday, 29 Apr 2013, 10:30 to 11:30
Venue:
AG-80
Category:
Seminar

A Model for Equilibrium in Some Service-provider User-set Interactions
Speaker:
N. Hemachandra (Industrial Engineering and Operations Research IIT Bombay Powai Mumbai 400076)
Organiser:
Sandeep K Juneja
Date:
Tuesday, 16 Apr 2013, 15:00 to 16:00
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar