• Asia/Kolkata
  • English
  • Login

Seminars and Colloquia  (events overview)


Display options:

Period:
Detail level:

Legend:
<<  <  Friday 20 February 2015  >  >>
11:00 Interactive Theorem Proving in Coq and the Curry-Howard Isomorphism (Mr. Singh, Abhishek) (: D-405 (D-Block Seminar Room))
16:00
categ
Tracking Photons with G3sim (Dr. Mohanty, Pravata Kumar) (: AG-66)