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  LOPSTR 2015
Jul 13, 2015 8:00 am - Jul 15, 2015 5:00 pm CEST

25th International Symposium on Logic-Based Program Synthesis and Transformation

Co-located with PPDP 2015

Conference Description

forum

Visible to the public LOPSTR 2015: 2nd Call for Papers

25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015)

Special Issue of Formal Aspects of Computing

http://alpha.diism.unisi.it/lopstr15/

University of Siena, Siena, IT, July 13-15, 2015
(co-located with PPDP 2015)

DEADLINES

event

Visible to the public  RADIANCE 2015
Jun 22, 2015 8:00 am - 5:00 pm -03

International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE)

forum

Visible to the public Call for Papers RADIANCE @ DSN 2015

International Workshop on Recent Advances in the DependabIlity AssessmeNtof Complex systEms

http://www.devasses.eu/index.php/radiance


Important Dates:

  • Submission deadline: March 8th, 2015
  • Author notification: April 15th, 2015
  • Camera-ready: (To be defined)
  • Workshop: June 22nd, 2015

PDF version: http://www.devasses.eu/radiance-cfp.pdf

event

Visible to the public  F-IDE 2015
Jun 22, 2015 8:00 am - 5:00 pm CEST

2nd Workshop on Formal-IDE

A satellite workshop of FM2015

General theme: "Formal Integrated Development Environment (F-IDE) for joint construction of an application and its correctness proof upon its formalized specification".

Aims

forum

Visible to the public F-IDE 2015: Call for papers (FM2015 Workshop)

The 2nd Formal Integrated Development Environment Workshop (F-IDE 2015)

22 June 2015, Oslo, Norway

http://www.eecs.qmul.ac.uk/~masci/fide2015

OVERVIEW

The 2nd Formal Integrated Development Environment Workshop (F-IDE 2015) will be held in Oslo, Norway, in June, 2015.

forum

Visible to the public CfP: ATVA 2015, 13th International Symposium on Automated Technology for Verification and Analysis

ATVA 2015, 13th International Symposium on Automated Technology for Verification and Analysis

October 12-15, 2015, Shanghai, China, http://atva2015.ios.ac.cn/

BACKGROUND

The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.

SCOPE

forum

Visible to the public CfP: 18th Euromicro Conference on Digital System Design SPECIAL SESSION...

18th Euromicro Conference on Digital System Design
Funchal, Madeira, Portugal - August 26-28, 2015
http://www.euromicro.org/dsd

CfP for SPECIAL SESSION ON "MIXED-CRITICALITY SYSTEM DESIGN, IMPLEMENTATION AND ANALYSIS" (MCSDIA)

SCOPE

forum

Visible to the public CFP - Embedded Software Engineering Track (ESE) at SEAA 2015

Embedded Software Engineering (ESE) track

at 41th EUROMICRO CONFERENCE on Software Engineering and Advanced Applications (SEAA)

Funchal, Madeira, Portugal, August 26-28, 2015

http://paginas.fe.up.pt/~dsd-seaa-2015/seaa2015/call-for-papers-seaa-2015/ese-track/

IMPORTANT DATES: