Human space flight systems, observatories, satellites, instruments, and missile defense systems.
forum
Submitted by hardweario on Tue, 07/18/2023 - 10:50am
forum
Submitted by akarns on Wed, 12/07/2022 - 2:08pm
CALL FOR PAPERS
Important Dates AoE (UTC-12h)
event
Submitted by Anonymous on Wed, 01/08/2020 - 4:40pm
10th European Congress EMBEDDED REAL TIME SOFTWARE AND SYSTEMS (ERTS 2020)
The ERTS Congress is a unique International cross sector event on Embedded Software and Systems, the "place to be" for actors from universities, research centers and industries :
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
forum
Submitted by Anonymous on Tue, 11/21/2017 - 1:56pm
CALL FOR PAPERS
18-22 June 2018 | Lisbon, Portugal | http://ae2018.di.fc.ul.pt/index.html
Organized by U.Lisboa on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED (pending), SIGPLAN (pending) and the Ada Resource Association (ARA)
