Electronics designed for use in aerospace vehicles.
forum
Submitted by Anonymous on Mon, 10/08/2018 - 9:40am
forum
Submitted by Anonymous on Wed, 03/14/2018 - 3:11pm
CALL FOR PAPERS
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
Submitted by Anonymous on Wed, 03/14/2018 - 3:10pm
11th International Workshop on Numerical Software Verification (NSV 2018)
Federated Logic Conference (FLoC) 2018
forum
Submitted by Anonymous on Wed, 03/14/2018 - 2:24pm
forum
Submitted by Anonymous on Mon, 01/29/2018 - 2:24pm
Co-located with DSN 2018
IMPORTANT DATES
- Paper submission: 1 april 2018
- Author notification: [to be defined]
- Final version: [to be defined]
WORKSHOP DESCRIPTION
