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 CfP: Special Issue on Energy Efficient Multi-Core and Many-Core Systems (The Elsevier Journal of Parallel and Distributed Comput

CALL FOR PAPERS

The Journal of Parallel and Distributed Computing (Elsevier)

Special issue on Energy Efficient Multi-Core and Many-Core Systems (E2MC2)

event

Visible to the public  ACM SAC 2016
Apr 03, 2016 8:00 am - Apr 08, 2016 5:00 pm CEST

31st Annual ACM Symposium on Applied Computing Software Verification and Testing Track April 3 - 8, 2016, Pisa, Italy

More information:
http://antares.sip.ucm.es/svt16/ and
http://www.acm.org/conferences/sac/sac2016/

Important dates

forum

Visible to the public Software Verification and Testing Track, ACM SAC 2016 (Pisa,Italy) - First CFP

31st Annual ACM Symposium on Applied Computing Software Verification and Testing Track April 3 - 8, 2016, Pisa, Italy

More information:
http://antares.sip.ucm.es/svt16/ and
http://www.acm.org/conferences/sac/sac2016/

Important dates

event

Visible to the public  HVC 2015
Nov 16, 2015 8:00 am - Nov 19, 2015 5:00 pm EET

Eleventh Haifa Verification Conference 2015

November 17-19, 2015
Tutorials: November 16, 2015

Organized by IBM Research - Haifa

HVC 2015 is the eleventh in the series of annual conferences dedicated to advancing the state-of the art and state-of-the-practice in verification and testing. The conference provides a forum for researchers and practitioners from academia and industry to share their work, exchange ideas, and discuss the future directions of testing and verification for hardware, software, and complex hybrid systems.

forum

Visible to the public CFP : HVC 2015

Eleventh Haifa Verification Conference 2015

http://www.research.ibm.com/haifa/conferences/hvc2015/index.shtml

forum

Visible to the public DSD 2015 - Call for Participation

18th EUROMICRO Conference on Digital System Design

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

(held in conjunction with SEAA 2015)

DSD 2015 web page: http://www.fe.up.pt/~dsd-seaa-2015/
Euromicro web page: http://www.euromicro.org/

You are cordially invited to the EUROMICRO Conference on Digital System Design. An outstanding set of keynote addresses and a rich technical program, in the beautiful island of Madeira, are the main features of this year's edition.

forum

Visible to the public 2nd CfP: 12th International Conference on Formal Aspects of Component Software (FACS'15 in Rio)

12th International Conference on Formal Aspects of Component Software (FACS'15 in Rio)

Rio de Janeiro, Brazi | October 14-16, 2015 | http://facs2015.ic.uff.br

*** Abstract submission deadline: June 22
*** Paper submission deadline: June 28

OVERVIEW AND SCOPE

Component-based software development proposes sound engineering principles and techniques to cope with the complexity of

forum

Visible to the public NIST Cyber-Physical Systems Positions Advertised

This is a broad announcement that the NIST Cyber-Physical Systems Program is now searching for candidates for two open positions in Cyber-Physical Systems - one related to measurement science development in CPS/IoT testbeds, and the other related to CPS/IoT technical expertise applied to areas including standards development. Candidates must be U.S. citizens.

If you are interested, or if you have any colleagues or others who you feel would be interested (and are U.S. citizens), more information on these two positions is on the web (USAJOBs) at: