Conference

event

Visible to the public  QEST 2022
Sep 12, 2022 6:00 pm - Sep 16, 2022 7:00 pm CEST

19th International Conference on Quantitative Evaluation of SysTems (QEST 2022)

Co-located with CONCUR 2022, FMICS 2022, FORMATS 2022

The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on evaluation and verification of computer systems and networks, through stochastic models and measurements.

event

Visible to the public  CAV 2022
Aug 07, 2022 7:00 am - Aug 10, 2022 6:00 pm IDT

34th International Conference on Computer Aided Verification

CAV 2022 is the 34th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

event

Visible to the public  VECoS 2022
Sep 28, 2022 7:00 am - Sep 30, 2022 6:00 pm EEST

16TH INTERNATIONAL CONFERENCE ON VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS

28-30 September 2022, Tbilisi, Georgia
part of the Computational Logic Autumn Summit (CLAS 2022)

VECoS 2022 is planned to take place on 28-30 September 2022 Tbilisi State University, Georgia and will be a part of the Computational Logic Autumn Summit (CLAS 2022).

event

Visible to the public  SEFM 2022
Sep 28, 2022 7:00 am - Sep 30, 2022 6:00 pm CEST

20th International Conference on Software Engineering and Formal Methods

Jointly organised by Institute of Computer Science of Humboldt University Berlin (DE) and School of Electronic and Information Engineering of Beijing Jiaotong University (CN)

event

Visible to the public  SAFECOMP 2022
Sep 06, 2022 7:00 am - Sep 09, 2022 6:00 pm CEST

The 41st International Conference on Computer Safety, Reliability and Security

New frontiers of safety assurance

Software plays a more relevant role for safety assurance than ever before, including assurance against safety incidents due to security vulnerabilities. Open Architectures enabling intensive connectivity, open systems of systems, cloud-based control, over-the-air-updates, possibly including third-party-vendor apps lead to new challenges for safety and security assurance.

This leads to the following questions to be discussed at SafeComp2022:

event

Visible to the public  ETFA 2022
Sep 06, 2022 7:00 am - Sep 09, 2022 6:00 pm CEST

27th Annual Conference of the IEEE Industrial Electronics Society (IES)

ETFA 2022 is the 27th Annual Conference of the IEEE Industrial Electronics Society (IES) focusing on the latest developments and new technologies in the field of industrial and factory automation. The conference aims to disseminate novel ideas and emerging trends, research results and practical achievements. ETFA 2022 will be held on September 6-9, 2022

event

Visible to the public  IntelliSys 2022
Sep 01, 2022 7:00 am - Sep 02, 2022 6:00 pm CEST

Intelligent Systems Conference (IntelliSys) 2022 will focus on areas of intelligent systems and artificial intelligence and how it applies to the real world. IntelliSys is one of the best respected AI Conference.

IntelliSys provides a leading international forum that brings together researchers and practitioners from diverse fields with the purpose of exploring the fundamental roles, interactions as well as practical impacts of Artificial Intelligence. It is part of the conference series started in 2013.

event

Visible to the public  DSD 2022
Aug 31, 2022 7:00 am - Sep 02, 2022 6:00 pm CEST

Euromicro Conference on Digital System Design (DSD)

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.

event

Visible to the public  CONCUR 2022
Sep 13, 2022 7:00 am - Sep 16, 2022 5:00 pm EDT

33RD INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY

CONCUR 2022, the 33rd International Conference on Concurrency Theory, is organised on September 13-16, 2022 by the University of Warsaw, Poland. The purpose of the conference is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. In 2022, CONCUR is co-located (under the joint name CONFEST) with:

event

Visible to the public  FNC 2022
Aug 09, 2022 7:00 am - Aug 11, 2022 5:00 pm EDT

The 17th International Conference on Future Networks and Communications

HELD IN CONJUNCTION WITH THE 19TH INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS AND PERVASIVE COMPUTING (MOBISPC)