NATIONAL INSTITUTE OF AEROSPACE

Contact Us

Colin Britcher, Ph.D.
Director of Graduate Education
757.325.6730
colin.britcher@nianet.org  

Mary Catherine Bunde, M.Ed.
Senior Education Administrator
757.325.6731
mary.bunde@nianet.org

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

BUSINESS WITH NIA

Headquarters

100 Exploration Way
Hampton, VA 23666
(757)325-6700
www.nianet.org