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  FMICS-AVoCS 2017
Sep 18, 2017 7:00 am - Sep 20, 2017 6:00 pm CEST

International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)

The conference is co-located with 13th International Conference on integrated Formal Methods (iFM 2017). All information regarding the venue, registration and accommodation can be found on iMF 2017 website http://ifm2017.di.unito.it/.

The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.

forum

Visible to the public VSTTE 2017 - First Call for Papers

CALL FOR PAPERS

9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)

July 22-23, 2017 | Heidelberg, Germany | https://vstte17.lri.fr

Co-located with the 29th International Conference on Computer-Aided Verification, CAV 2017

Important Dates

event

Visible to the public  VSTTE 2017
Jul 22, 2017 7:00 am - Jul 23, 2017 6:00 pm CEST

9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)

July 22-23, 2017 | Heidelberg, Germany | https://vstte17.lri.fr

Co-located with the 29th International Conference on Computer-Aided Verification, CAV 2017

event

Visible to the public  Coq Intensive
Jul 13, 2017 7:00 am - Jul 15, 2017 6:00 pm EDT

Coq Intensive

Overview

The DeepSpec Summer School on Verified Systems summer school will open with a three-day intensive course on the fundamentals of the Coq proof assistant, for participants who are new to Coq. The main lectures take place during the weeks of July 17 and 24.

  • July 13-15 (Thu-Sat) Coq intensive
  • July 17-21 Week 1
  • July 24-28 Week 2

Lecturers and Topics

event

Visible to the public  DeepSpec
Jul 17, 2017 7:00 am - Jul 28, 2017 6:00 pm EDT

DeepSpec Summer School on Verified Systems

Overview

Can critical systems be built with no bugs in hardware, operating systems, compilers, crypto, and other key components? It may seem a pipe dream, but the past decade has seen explosive advances in the technology required to realize it.

forum

Visible to the public VPT 2017 (@ETAPS) - Call for Papers

CALL FOR PAPERS

Fifth International Workshop on Verification and Program Transformation (VPT 2017)

April 29th, 2017 | Uppsala, Sweden | http://refal.botik.ru/vpt/vpt2017

Co-located with the 20th European Joint Conferences on Theory and Practice of Software (ETAPS 2017)

http://www.etaps.org/index.php/2017/workshops

Invited Speakers

forum

Visible to the public VPT 2017 (@ETAPS) - Call for Papers

CALL FOR PAPERS

Fifth International Workshop on Verification and Program Transformation (VPT 2017)

April 29th, 2017 | Uppsala, Sweden | http://refal.botik.ru/vpt/vpt2017

Co-located with the 20th European Joint Conferences on Theory and Practice of Software (ETAPS 2017)

http://www.etaps.org/index.php/2017/workshops

Invited Speakers

event

Visible to the public  SEFM 2017
Sep 06, 2017 1:00 pm - Sep 10, 2017 6:00 pm CEST

15th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2017)

The conference aims to bring together leading researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

forum

Visible to the public Deadline Extended (Jan 24): Work in Progress session of RTAS'17

CALL FOR WiP PAPERS - Deadline Extended (Jan 24)

The 23rd IEEE Real-Time Embedded Technology & Applications Symposium Work-in-Progress Session (RTAS-WIP 2017)

18 April, 2017 - Pittsburgh, PA, USA