Certification

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

Visible to the public CfP SAFECOMP2015 Computer Safety Reliability Security

SAFECOMP 2015 "Assured connectivity"
The 34th International Conference on Computer Safety, Reliability and Security

22-25 September 2015, Delft, the Netherlands

http://safecomp2015.tudelft.nl/

event

Visible to the public  WoSoCer 2014
Nov 03, 2014 8:00 am - Nov 08, 2014 5:00 pm CET

The 4th International IEEE Workshop on Software Certification (WoSoCer 2014)

http://cecris-project.eu/wosocer2014

3-6 November 2014, Naples, Italy

The 2014 edition of WoSoCer is co-located with the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014) and takes place in Naples, Italy, 3-6 November 2014.

We invite researchers and practitioners, from both academia and industry, to present and discuss their work on software certification at the workshop.

forum

Visible to the public CfP: 4th IEEE Int'l Workshop on Software Certification - WoSoCer, 3-6 Nov 2014

The 4th International IEEE Workshop on Software Certification (WoSoCer 2014)

http://cecris-project.eu/wosocer2014

3-6 November 2014, Naples, Italy

The 2014 edition of WoSoCer is co-located with the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014) and takes place in Naples, Italy, 3-6 November 2014.

We invite researchers and practitioners, from both academia and industry, to present and discuss their work on software certification at the workshop.

forum

Visible to the public CfP: WORKSHOP ON THE ANALYSIS OF MODEL

INTL. WORKSHOP ON THE ANALYSIS OF MODEL TRANSFORMATIONS (AMT'14)

Valencia, Spain

28, 29, or 30 Sept 2014

http://msdl.cs.mcgill.ca/conferences/AMT

Co-located with MODELS'14

MOTIVATION

event

Visible to the public  AMT '14
Sep 28, 2014 8:00 am - Sep 30, 2014 5:00 pm CEST

INTL. WORKSHOP ON THE ANALYSIS OF MODEL TRANSFORMATIONS (AMT'14)

Valencia, Spain

28, 29, or 30 Sept 2014

http://msdl.cs.mcgill.ca/conferences/AMT

Co-located with MODELS'14

MOTIVATION

event

Visible to the public  SCC 2014
May 04, 2014 8:00 am - May 05, 2014 5:00 pm EDT

Software Certification Consortium Meeting 2014

Co-located with High Confidence Software and Systems (HCSS) Conference

The SCC is organized to pursue the following objectives: