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

Visible to the public  MT-CPS'17
Apr 21, 2017 7:00 am - 6:00 pm EDT

2nd International Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS'17)

Pittsburgh, PA, USA | 21st April 2017 |
Co-located with CPS Week

forum

Visible to the public Call for Presentations: 28th Annual IEEE Software Technology Conference (STC 2017)

CALL FOR PRESENTATIONS

28th Annual IEEE Software Technology Conference (STC 2017)

September 25 - 28, 2017 | National Institute of Standards and Technology, Gaithersburg, MD USA | http://ieee-stc.org

Theme: Meeting Real World Opportunities and Challenges through Software and Systems Technology

event

Visible to the public  STC 2017
Sep 25, 2017 7:00 am - Sep 28, 2017 6:00 pm EDT

28th Annual IEEE Software Technology Conference (STC 2017)

September 25 - 28, 2017 | National Institute of Standards and Technology, Gaithersburg, MD USA | http://ieee-stc.org

Theme: Meeting Real World Opportunities and Challenges through Software and Systems Technology

forum

Visible to the public CFP - RTSS 2017 - Submission deadline May, 1, 2017

CALL FOR PAPERS

The 38th IEEE Real-Time Systems Symposium - RTSS 2017

Paris, France | December 5-8, 2017 | http://2017.rtss.org

Sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems

**** Submission Deadline: May 1st, 2017 (FIRM submission deadline) ****

Scope of the Conference

forum

Visible to the public CfP for the 3rd International Workshop GRAPHS AS MODELS (GaM 2017)

CALL FOR PAPERS

3rd International Workshop GRAPHS AS MODELS (GaM 2017)

Uppsala, Sweden | April 22-29, 2017 | http://www.dcs.gla.ac.uk/gam2017

a Satellite Event of ETAPS 2017

Important Dates

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

forum

Visible to the public Deadline Extended: The 6th Mediterranean Conference on Embedded Computing (MECO 2017)

CALL FOR PAPERS - Paper submission deadline extended to March 10, 2017

The 6th Mediterranean Conference on Embedded Computing (MECO 2017)

Bar, Montenegro | June 11-15, 2017 | http://embeddedcomputing.me/en/meco-2017

event

Visible to the public  MECO 2017
Jun 11, 2017 7:00 am - Jun 15, 2017 6:00 pm CEST

The 6th Mediterranean Conference on Embedded Computing (MECO 2017) is a continuation of very successful MECO events. It is an International Scientific Forum aimed to present and discuss the leading achievements in the modeling, analysis, design, validation and application of embedded computing systems.

forum

Visible to the public TAP 2017: Call for Papers

First Call for Papers

11th International Conference on Tests And Proofs (TAP 2017)

Marburg (Germany) | 19-20 July 2017 | http://www.seceng.de/tap2017

Part of STAF 2017 http://www.informatik.uni-marburg.de/staf2017/

Important Dates