Avionics

Electronics designed for use in aerospace vehicles.
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