FMCAD 2023 held October 23-27 in Ames, Iowa, is the twenty-third in a series of conferences on the theory and applications of formal methods in hardware and system verification covering formal aspects of computer-aided system design. |
 |
MODELS 2023 will be held October 1-6, 2023 in Vasteras, Sweden. The converence 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. |
 |
WFIOT 2023, held October 12-27 in Aveiro, Portugal, 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".
|