Seminars and Colloquia (events overview)

Display options:

Period:
Detail level:

<< < Monday 31 January 2011 > >>

10:00

R.Sudarsan-S Sharma lab (Colaba Campus: AG-66)

12:00

A Unified Framework for Testing Linear-Invariant Properties (Mr. Bhattacharya, Arnab) (Colaba Campus: A-212)

16:00

Turning on interactions in the D1D5 CFT (Dr. Chowdhury, Borun) (Colaba Campus: A-304)

16:00

Specification and Verification of Timed and Communicating Systems (Dr. S., Akshay) (Colaba Campus: AG-80)