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  SEFM 2020 - Virtual
Sep 14, 2020 7:00 am - Sep 18, 2020 6:00 pm CEST

Software Engineering and Formal Methods (SEFM 2020)

SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

SEFM 2020 will be an entirely virtual event

event

Visible to the public  SEFM 2019
Sep 16, 2019 7:00 am - Sep 20, 2019 6:00 pm CEST

17th edition of the International Conference on Software Engineering and Formal Methods (SEFM 2019)

SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

Topics of interest include, but are not limited to, the following aspects of software engineering and formal methods:

Software Development Methods

event

Visible to the public  IEEE ICM 2020 - Virtual
Dec 14, 2020 7:00 am - Dec 17, 2020 6:00 pm IST

IEEE 32nd International Conference on Microelectronics (IEEE ICM 2020)

The International Conference on Microelectronics has already been held numerous times in different countries across the MiddleEast, Southern Europe, and Asia for the past 31 years. The 32nd edition of the conference will take place in Aqaba-Jordan. Jordan is home to one of the world's 7 wonders; Petra. Aqaba is a coastal harbor which serves as a launch point for visitors to Petra and Wadi Rum.

event

Visible to the public  DSD 2020 (Virtual)
Aug 26, 2020 7:00 am - Aug 28, 2020 6:00 pm EEST

Euromicro Conference on Digital System Design (DSD 2020)

The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embedded, pervasive and high-performance) digital and mixed HW/SW system engineering, covering the whole design trajectory from specification down to micro-architectures, digital circuits and VLSI implementations. It is a forum for researchers and engineers from academia and industry working on advanced investigations, developments and applications.

forum

Visible to the public CFP: 5TH WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS (MT-CPS 2020)

CALL FOR PAPERS

5TH WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS (MT-CPS 2020)

April 21, 2020 | Sydney, Australia | https://sites.google.com/view/mt-cps2020/

Part of CPS-IoT Week 2020

Description