Schedule for July-2003

Date - 4/7/03 and 11/7/03
Speaker - Nitin S Kulkarni
Topic - Approximate Verification of Timed Systems [ps]
Date - 18/7/03
Speaker - Babita Sharma
Topic - Bounded Model Checking

Schedule for August-2003

Date - 1/8/03
Speaker - Sampada Sonalkar
Topic - Compositional Verification
Date - 14/8/03
Speaker - Navneet Kataria
Topic - An Enhanced Assertion Checking Environment for C Programs [pdf]
Date - 29/8/03
Speaker - Maymon M S
Topic : Semi automatic generation of properties for verification