Certification

Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
event

Visible to the public  CRTS 2017
Dec 05, 2017 7:00 am - 6:00 pm CET

The 10th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems

In conjunction with RTSS'2017 conference

Background:

Large safety-critical real-time systems are typically created through the integration of multiple components that are developed mostly independently from each other.

forum

Visible to the public CfP: SAC-SVT 2018

CALL FOR PAPERS

33rd Annual ACM Symposium on Applied Computing
Software Verification and Testing Track

Pau, France | April 9 - 13, 2018

More information:

Important dates

forum

Visible to the public CfP: SAC-SVT 2018

CALL FOR PAPERS

33rd Annual ACM Symposium on Applied Computing
Software Verification and Testing Track

Pau, France | April 9 - 13, 2018

More information:

Important dates

event

Visible to the public  ACM-SAC 2018
Apr 09, 2018 7:00 am - Apr 13, 2018 6:00 pm CEST

33rd Annual ACM Symposium on Applied Computing

ACM Symposium on Applied Computing

The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the last thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing.

SAC 2018 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be hosted by the Universite de Pau et des Pays de l'Adour (UPPA), Bayonne, France.

event

Visible to the public  ERTS² 2018
Jan 31, 2018 7:00 am - Feb 02, 2018 6:00 pm CET

Embedded Real Time Software and Systems ( ERTS2 2018)

The ERTS2 congress created by the late Jean-Claude Laprie in 2002 is a unique European cross sector event on Embedded Software and Systems, a platform for top-level scientists with representatives from universities, research centres, agencies and industries. The previous editions gathered more than 100 talks, 500 participants and 60 exhibitors. ERTS2 is both:

forum

Visible to the public 2017 S5 Abstract Submission Extension FOR POSTERS ONLY

CALL FOR POSTER ABSTRACTS

2017 Safe and Secure Systems and Software Symposium (S5)

1 - 3 August 2017 | The Crowne Plaza Dayton, Ohio | http://www.mys5.org/

forum

Visible to the public 2017 S5 Abstract Submission Extension FOR POSTERS ONLY

CALL FOR POSTER ABSTRACTS

2017 Safe and Secure Systems and Software Symposium (S5)

1 - 3 August 2017 | The Crowne Plaza Dayton, Ohio | http://www.mys5.org/

forum

Visible to the public LOPSTR 2017: 1st Call for Papers

CALL FOR PAPERS

27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)

(co-located with PPDP 2017)

University of Namur, Namur, Belgium | October 10 - 12, 2017 | https://www.sci.unich.it/lopstr17/

DEADLINES:

  • Abstract submission: June 6, 2017
  • Paper/Extended abstract submission: June 13, 2017

INVITED SPEAKERS: to be announced