7.18.14 Ghosh/Legrand

Topic 1: Automatic Verification of Stabilization Protocols by Small Model Property

Speaker: Ritwika Ghosh, University of Illinois at Urbana Champaign

Date: Friday July 18, 2014

Time: 10:00am


Topic 2 : Epsilon: A Software Verification Tool for Bounding Floating Point Errors by Abstract Interpretation

Speaker: Maxime Legrand, Ecole Normale Supérieure, France

Time: 11:00am

Location: NIA, Room 137

100 Exploration Way, Hampton, VA 23666