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
Submitted by akarns on Tue, 04/18/2023 - 9:36am
Software Engineering and Formal Methods (SEFM 2021)
Jointly organised in virtual mode by Carnegie Mellon University (US), Nazarbayev University (Kazakhstan) and University of York (UK)
The 19th edition of the International Conference on Software Engineering and Formal Methods will
be held between 6 and 10 December 2021.
forum
Submitted by Anonymous on Wed, 02/01/2023 - 10:07am
event
Submitted by Anonymous on Thu, 12/08/2022 - 10:12am
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
Submitted by Anonymous on Wed, 12/07/2022 - 1:48pm
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
Submitted by akarns on Wed, 12/07/2022 - 1:08pm
CALL FOR PAPERS
Important Dates AoE (UTC-12h)
event
Submitted by Anonymous on Wed, 12/07/2022 - 1:03pm
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
Submitted by Anonymous on Wed, 09/14/2022 - 8:52am
CALL FOR PAPERS
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
Submitted by arvinde on Mon, 04/26/2021 - 4:39am
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:
