• Asia/Kolkata
  • English
  • Login

Seminars and Colloquia  (events overview)


Display options:

Period:
Detail level:

Legend:
<<  <  Friday 05 August 2016  >  >>
14:00
categ
Measuring Global Financial Sector Health (Prof. Acharya, Viral) (: AG-66)
15:00 Lightweight Formal Methods for LLVM Verification (Nagarakatte, Santosh) (: A-201 (STCS Seminar Room))