Day: August 31, 2015

PROOF CERTIFICATES IN PVS Frederic Gibert, Ecole de Ponts Paris Tech, France August 14, 2015, 11:00 am, NASA Langley, Bldg 1220, Rm 110 Abstract: A possible way to reach higher…

Autonomous Incubator Seminar Series: SELECTING AND TRAINING THE FUTURE OPERATOR Adele Luta August 11, 2015, 2:00 pm, NASA Langley, Pearl Young Theater Live Seminar Abstract: This talk will focus around…

Autonomous Incubator Seminar Series: RISK CONTROL IN THE COGNITIVE DYNAMIC SYSTEM Simon Haykin, Cognitive Systems Laboratory, McMaster University, Ontario, Canada September 23, 2015, 10:00 am, NASA Langley, Pearl Young Theater…