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: IEEE International Conference on Assured Autonomy (ICAA)

CALL FOR PAPERS

IEEE International Conference on Assured Autonomy (ICAA)

June 6-8, 2023 | The Johns Hopkins University Applied Physics Laboratory, Maryland | https://icaa-conf.github.io/icaa2023/

Important Dates

event

Visible to the public  CPS&IoT’2023
Jun 06, 2023 7:00 am - Jun 10, 2023 7:00 pm EDT

11th International Conference on Cyber-Physical Systems

Contemporary Cyber-Physical Systems (CPS) are smart compound systems engineered through seamless integration of embedded information processing sub-systems and physical sub-systems. The modern smart collaborating CPS, that started to form the Cyber-Physical Systems of Systems (CPSoS) and Internet of Things (IoT), have important applications in virtually all economic and social segments, and their huge economic and societal impact rapidly increases. The CPS and IoT area undergoes a revolutionary development.

event

Visible to the public  MECO 2023
Jun 06, 2023 7:00 am - Jun 10, 2023 7:00 pm EDT

12th Mediterranean Conference on Embedded Computing

MECO (12th Mediterranean Conference on Embedded Computing) is a project of very successful events in embedded and general computing dated from 2012. It is an International Scientific Forum aimed to present and discuss the leading achievements in the modelling, analysis, design, validation and application of embedded computing systems, as well as, in the broader sense of complete computer systems with applications and related fields.

forum

Visible to the public CfP: NASA Formal Methods Symposium 2023

CALL FOR PAPERS

NASA Formal Methods Symposium 2023

Important Dates AoE (UTC-12h)

event

Visible to the public  NFM 2023
May 16, 2023 7:00 am - May 18, 2023 7:00 pm CDT

NASA Formal Methods Symposium 2023

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.

forum

Visible to the public CfP: ICCPS 2023

CALL FOR PAPERS

14th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2023)

May 9-12, 2023 | San Antonio, Texas, USA | https://iccps.acm.org/2023/
 

Important dates (AoE):

Abstract registration: October 24, 2022 
Paper submission: October 31, 2022 
Decision notification: January 20, 2023 
Camera-ready: March 10, 2023

 

forum

Visible to the public Postdoc and PhD positions in Assured Machine Learning, NTU, Singapore

Project Description: Over the last few years, Artificial Intelligence (AI) systems have achieved super-human performance in specific yet complex tasks across diverse environments (e.g., image recognition, language translation, complex games like Go). Given their effectiveness, we aim to employ AI (or Agent) Training Programs (ATPs) to generate scenarios automatically for training (on specific tasks) in safety-critical applications while addressing the issue of trust to improve adoption:

forum

Visible to the public CfP: 33rd Euromicro Conference on Real-Time Systems (ECRTS'21)

CALL FOR PAPERS

33rd Euromicro Conference on Real-Time Systems (ECRTS'21)

ECRTS is the premier European venue in the area of real-time systems and, alongside RTSS and RTAS, ranks as one of the top three international conferences on this topic.

Owing to the uncertain pandemic outlook, ECRTS 2021 will be held online as a virtual conference on July 7-9, 2021.