Welcome to the 2022 NSF SafeTAI Workshop Homepage!

The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at the intersection of programming languages and software engineering.

16th Theoretical Aspects of Software Engineering Conference (TASE 2022) The 16th Theoretical Aspects of Software Engineering Conference (TASE 2022) will be held in Cluj-Napoca, Romania on July 8-10, 2022. TASE 2022 aims to provide a forum for people from academia and industry to communicate their latest results on innovative advances in software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex.

International Symposium on Automated Technology for Verification and Analysis About Notice: The organizers of ATVA 2022 decided that ATVA 2022 will be hybrid in the sense that the authors can choose to attend physically or virtually, depending on their specific situations, including visas, flights, etc.

29th Static Analysis Symposium Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. Topics

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

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.

35th IEEE INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE The impact of AI/ML computing on system-on-chip and semiconductor technologies

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.

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: