School of Technology and Computer Science

Events: Seminar

Program Analysis Using Quantifier Elimination Heuristics
Speaker:
Deepak Kapur (The University of New Mexico Department of Computer Science Albuquerque, NM 87131 United States of America)
Organiser:
Paritosh K Pandya
Date:
Tuesday, 8 Jan 2013, 11:00 to 12:00
Venue:
AG-80
Category:
Seminar

Networks That Fix Themselves Aka Self-healing Networks
Speaker:
Amitabh Trehan (Technion - Israel Institute of Technology Technion City Haifa 32000 Israel  )
Organiser:
Jaikumar Radhakrishnan
Date:
Tuesday, 6 Nov 2012, 16:00 to 17:00
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

The Random Threshold Graph Model
Speaker:
Rahul Roy (Indian Statistical Institute Stat. Math. Unit 7, S.J.S. Sansanwal Marg New Delhi 110 016)
Organiser:
Jaikumar Radhakrishnan
Date:
Friday, 19 Oct 2012, 10:00 to 11:00
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

Proof Transformations for Verification
Speaker:
Ashutosh K. Gupta (Institute of Science and Technology, Austria Am Campus 1 3400 Klosterneuburg Austria)
Date:
Friday, 12 Oct 2012, 15:30 to 16:30
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar

Balanced Information Inequalities
Speaker:
Naqueeb Ahmad Warsi
Organiser:
Naqueeb Ahmad Warsi
Date:
Tuesday, 9 Oct 2012, 15:30 to 16:30
Venue:
A-212 (STCS Seminar Room)
Category:
Seminar