Aerospace

Airplane and space systems.
forum

Visible to the public Multiple PhD positions in CPS cyber-security and robotics at UVA

Multiple PhD positions in cyber-physical systems security and robotics safe planning are available at the University of Virginia (UVA) Autonomous Mobile Robots Laboratory (https://www.bezzorobotics.com/).

Research areas:

forum

Visible to the public CfP: 11th International Workshop on Numerical Software Verification (NSV 2018)

CALL FOR PAPERS

11th International Workshop on Numerical Software Verification (NSV 2018)

July 18-19, 2018 | Oxford, UK | https://nsv-2018.github.io/nsv2018/

Federated Logic Conference (FLoC) 2018

We are pleased to invite you to submit papers to the 11th International Workshop on Numerical Software Verification (NSV 2018).

Important Dates

event

Visible to the public  NSV 2018
Jul 18, 2018 7:00 am - Jul 19, 2018 6:00 pm BST

11th International Workshop on Numerical Software Verification (NSV 2018)

Federated Logic Conference (FLoC) 2018

file

Visible to the public CAREER: Theoretical Foundations of the UAS in the NAS Problem

Due to increasing use by civil and federal authorities and vast commercial and amateur applications, Unmanned Aerial Systems (UAS) will be introduced into the National Air Space (NAS); the question is only how we can do this safely. NASA and the FAA are designing a new automated air traffic control system (NextGen) for all aircraft, manned or unmanned. New algorithms and tools need to be developed to enable computation of the complex questions inherent in designing such a system while proving adherence to rigorous safety standards.