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
event
Submitted by Anonymous on Mon, 01/29/2018 - 1:08pm
International Conference on Embedded Software (EMSOFT 2018)
The ACM SIGBED International Conference on Embedded Software (EMSOFT) brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology of embedded software development.
forum
Submitted by Anonymous on Fri, 01/26/2018 - 11:43am
