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: SAC-SVT 2018

CALL FOR PAPERS

33rd Annual ACM Symposium on Applied Computing
Software Verification and Testing Track

Pau, France | April 9 - 13, 2018

More information:

Important dates

event

Visible to the public  ACM-SAC 2018
Apr 09, 2018 7:00 am - Apr 13, 2018 6:00 pm CEST

33rd Annual ACM Symposium on Applied Computing

ACM Symposium on Applied Computing

The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the last thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing.

SAC 2018 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be hosted by the Universite de Pau et des Pays de l'Adour (UPPA), Bayonne, France.

forum

Visible to the public CfP: SBMF 2017 - Deadline extension

CALL FOR PAPERS

20th Brazilian Symposium on Formal Methods (SBMF)

27th of November to 1st of December, 2017 | Recife, Pernambuco, Brazil | http://www.sbc.org.br/sbmf2017

IMPORTANT DATES

forum

Visible to the public CfP: SBMF 2017 - Deadline extension

CALL FOR PAPERS

20th Brazilian Symposium on Formal Methods (SBMF)

27th of November to 1st of December, 2017 | Recife, Pernambuco, Brazil | http://www.sbc.org.br/sbmf2017

IMPORTANT DATES

event

Visible to the public  SBMF 2017
Nov 27, 2017 7:00 am - Dec 01, 2017 6:00 pm WET

CALL FOR PAPERS

20th Brazilian Symposium on Formal Methods (SBMF)

INTRODUCTION

project

Visible to the public CPS: Synergy: Collaborative Research: Support for Security and Safety of Programmable IoT Systems

Project Details
Institution(s): 
University of Michigan Ann Arbor
event

Visible to the public  CyPhy'17
Oct 19, 2017 7:00 am - Oct 19, 2017 6:00 pm KST

Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'17)

Held in conjunction with ESWEEK 2017