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 LOPSTR 2015: 2nd Call for Papers

Submitted by Anonymous on Wed, 02/18/2015 - 4:27pm

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

Submitted by Anonymous on Thu, 02/05/2015 - 12:57pm

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

forum

Visible to the public Call for Papers RADIANCE @ DSN 2015

Submitted by Anonymous on Thu, 02/05/2015 - 12:53pm

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

Submitted by Anonymous on Thu, 02/05/2015 - 12:48pm

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)

Submitted by Anonymous on Thu, 02/05/2015 - 12:44pm

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

Submitted by Anonymous on Thu, 02/05/2015 - 12:17pm

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...

Submitted by Anonymous on Thu, 02/05/2015 - 12:10pm

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

Submitted by Anonymous on Wed, 01/28/2015 - 1:29pm

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:

forum

Visible to the public CfP OSPERT'15: 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications

Submitted by Anonymous on Tue, 01/27/2015 - 5:33pm

The 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT 2015)

July 7th, 2015 | Lund, Sweden

co-located with ECRTS'15

http://www.mpi-sws.org/~bbb/events/ospert15/