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 Deadline Extended: Workshop on Model-Based Development and Contract-Based Programming (HILT 2016)

CALL FOR PAPERS - Extended Deadline July 15, 2016

ACM SIGAda's High Integrity Language Technology International Workshop on Model-Based Development and Contract-Based Programming

part of Embedded Systems Week (ESWEEK)

October 6-7, 2016 | Pittsburgh, Pennsylvania (USA) | http://sigada.org/conf/hilt2016

Organized by SIGAda, ACM's Special Interest Group on the Ada Programming Language

forum

Visible to the public ESSS 2016 (co-located with FM 2016): 1st call for papers

5th International Workshop on Engineering Safety and Security Systems

November 7th or 8th, 2016 | Limassol, Cyprus | http://pat.scse.ntu.edu.sg/esss16/index.html

Co-located with FM 2016, November 7-11, 2016

Important dates

forum

Visible to the public ESSS 2016 (co-located with FM 2016): 1st call for papers

CALL FOR PAPERS

5th International Workshop on Engineering Safety and Security Systems

November 7th or 8th, 2016 | Limassol, Cyprus | http://pat.scse.ntu.edu.sg/esss16/index.html

Co-located with FM 2016, November 7-11, 2016

Important dates

event

Visible to the public  ESSS 2016
Nov 07, 2016 7:00 am - Nov 08, 2016 6:00 pm EET

5th International Workshop on Engineering Safety and Security Systems

Co-located with FM 2016, November 7-11, 2016

event

Visible to the public  LOPSTR 2016
Sep 06, 2016 7:00 am - Sep 08, 2016 6:00 pm BST

26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)

(co-located with PPDP 2016 and SAS 2016)