Topic 1: Verification of an Alerting and Resolution Algorithm for a Parallel Aircraft Landing Protocol
Speaker: Ritwika Ghosh, University of Illinois at Urbana Champaign
Time: 10:00am
Topic 2: Kodiak: A Solver for Non-Linear Problems Based on Rigorous Branch and Bound Methods
Speaker: Mantas Markevicius, University of York, UK
Time: 11:00am
Host of 2 day series: Cesar A. Munoz, NASA LaRC
Contact Information:
Cesar A. Munoz NASA Langley Research Center
Cesar.A.Munoz@nasa.gov Bldg. 1220 Room 115 MS. 130
http://shemesh.larc.nasa.gov/people/cam Hampton, VA 23681-2199, USA
Office: +1 (757) 864 1446 Fax: +1 (757) 864 4234