Space Systems

Human space flight systems, observatories, satellites, instruments, and missile defense systems.
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  ARC 2018
May 02, 2018 7:00 am - May 04, 2018 6:00 pm EEST

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

Visible to the public SAFECOMP17 Call for Papers

CALL FOR PAPERS

The 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP17)

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

Visible to the public  SAFECOMP 2017
Sep 12, 2017 7:00 am - Sep 15, 2017 6:00 pm CEST

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