Validation and Verification

Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
event

Visible to the public  MEMOCODE '18
Oct 15, 2018 7:00 am - Oct 18, 2018 6:00 pm HKT

16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '18)

Over the last decade, the boundaries between computer system components, such as hardware, software, firmware, middleware, and applications, have blurred. This evolution in system design and development practices led in 2014 to a change in the title and scope of the MEMOCODE conference from its original focus on hardware/software co-design to its new focus on formal methods and models for developing computer systems and their components.

event

Visible to the public  WAISE 2018
Sep 18, 2018 3:00 pm - 4:00 pm CEST

First International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018)

In conjunction with SAFECOMP 2018

forum

Visible to the public CfP: 25th Static Analysis Symposium (SAS 2018)

CALL FOR PAPERS

25th Static Analysis Symposium (SAS 2018)

Freiburg im Breisgau, Germany | August 29th-August 31st, 2018 | http://staticanalysis.org/sas2018

= = = New: Invited Talks, Invited Tutorials, Affiliated Events = = =
= = = Submission deadline approaching: April 6th, 2018 = = =

event

Visible to the public  SAS 2018
Aug 29, 2018 7:00 am - Aug 31, 2018 6:00 pm CEST

25th Static Analysis Symposium (SAS 2018)

Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. The 25th Static Analysis Symposium, SAS 2018, will be held in Freiburg im Breisgau, Germany.

event

Visible to the public  TAP 2018
Jun 27, 2018 7:00 am - Jun 29, 2018 6:00 pm EDT

12th International Conference on Tests & Proofs (TAP 2018)

Part of the STAF Event 2018(parallel ECMFA, ICGT, ICMT, SEFM, TAP, TTC)

Purpose and scope

The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

forum

Visible to the public CfP: 12th International Conference on Tests & Proofs (TAP 2018)

CALL FOR PAPERS

12th International Conference on Tests & Proofs (TAP 2018)

Part of the STAF Event 2018 (parallel ECMFA, ICGT, ICMT, SEFM, TAP, TTC)

Purpose and scope

The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

forum

Visible to the public CfP: Ninth International Workshop on Graph Computation Models (GCM 2018)

CALL FOR PAPERS

Ninth International Workshop on Graph Computation Models (GCM 2018)

Toulouse, France | 27 June 2018 | https://www.gcm2018.uni-bremen.de/

Co-located with ICGT 2018
Part of STAF 2018

BACKGROUND AND AIMS

event

Visible to the public  GCM 2018
Jun 27, 2018 4:15 pm - 5:15 pm EDT

Ninth International Workshop on Graph Computation Models (GCM 2018)

Co-located with ICGT 2018
Part of STAF 2018

BACKGROUND AND AIMS