Human space flight systems, observatories, satellites, instruments, and missile defense systems.
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)
forum
Submitted by Anonymous on Tue, 09/19/2017 - 11:21am
event
Submitted by Anonymous on Tue, 09/19/2017 - 11:13am
14th International Symposium on Applied Reconfigurable Computing (ARC 2018)
Reconfigurable computing technologies offer the promise of substantial performance gains over traditional architectures via customizing, even at runtime, the topology of the underlying architecture to match the specific needs of a given application. Contemporary configurable architectures allow for the definition of architectures with functional and storage units that match in function, bit-width and control structures the specific needs of a given computation.
forum
Submitted by Anonymous on Mon, 03/06/2017 - 3:39pm
forum
Submitted by Anonymous on Thu, 12/15/2016 - 3:04pm
CALL FOR PAPERS
12 - 15 September 2017 | Trento, Italy | http://www.safecomp.org
IMPORTANT DATES:
- Workshop proposal submission: 6 February 2017
- Full paper submission: 28 February 2017
- Notification of acceptance: May 8 2017
- Camera-ready Submission: 12 June 2017
- Conference: 13-15 September 2017
CO-LOCATED EVENTS:
event
Submitted by Anonymous on Thu, 12/15/2016 - 3:04pm
The 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP17)
CO-LOCATED EVENTS:
SAFECOMP Workshops: 12 September 2017
IMBSA (International Symposium on Model-Based Safety Assessment): 11-13 September 2017
SEFM (Intern. Conference on Software Engineering and Formal Methods): 5-8 September 2017
ABOUT SAFECOMP
