Aerospace

Airplane and space systems.
forum

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

Submitted by nicbezzo on Wed, 08/08/2018 - 10:47pm

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)

Submitted by Anonymous on Wed, 03/14/2018 - 3:11pm

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