Conference

9th IEEE World Forum on Internet of Things (IEEE WFIoT2023)

The 9th IEEE World Forum on Internet of Things (IEEE WFIoT2023) is the premier event of the IEEE IoT Technical Community, a multiple Society initiative aggregating the wide expertise inherent to the IoT domain. This year, the theme for WFIoT 2023 is "The Blue Planet: A Marriage of Sea and Space". We aim to recognize the increased importance that the Sea has in our daily activities and to signal the importance that Space has for our future as a sustainable society.

21st International Symposium on Automated Technology for Verification and Analysis

ATVA 2023 is the 21st International Symposium on Automated Technology for Verification and Analysis, dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between international research communities and industry in the field.

ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS 2023)

October 1 - 6, 2023 | Vasteras, Sweden | https://conf.researchr.org/home/models-2023

MODELS, the ACM/IEEE 26th International Conference on Model-Driven Engineering Languages and Systems, is the premier conference series for model-driven software and systems engineering, and is organized with support of ACM SIGSOFT and IEEE TCSE. Since 1998,

Formal Methods in Computer-Aided Design

FMCAD 2023 is the twenty-third in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.

36th IEEE INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE

System-on-Chip (SoC) and System-in-Package (SiP) devices, comprising digital, analog, optical, RF, and Micro-Electro-Mechanical Systems (MEMS) are foundations of ubiquitous embedded high-performance computing (HPC). Such systems will provide solutions in communication, entertainment, medical and smart mobility technologies underpinning emerging "Digital Societies".