Testing

A technical operation or procedure that consists of determination of one or more characteristics of a given product, process or service according to a specified procedure.
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)

event

Visible to the public  SOCNE 2016
Sep 23, 2016 7:00 am - Sep 27, 2016 6:00 pm CEST

CALL FOR PAPERS - Submission deadline May 20, 2016

Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE 2016)

in conjunction with ETFA 2016

Berlin, Germany | 23-27,September 06-09, 2016 | http://www.socne.org

Selected Topics

forum

Visible to the public 1st CFP: SLE 2016 (9th ACM SIGPLAN International Conference on Software Language Engineering)

CALL FOR PAPERS

9th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2016)

Oct 31-Nov 1, 2016 | Amsterdam, Netherlands

(Co-located with SPLASH 2016)

General chair:

  • Tijs van der Storm, CWI, Netherlands

Program co-chairs: