7/21/14 Ghosh/Markevicius

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