The ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (MODELS), 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,…

The 27th IEEE International Conference on Intelligent Transportation Systems (IEEE ITSC 2024) is the annual flagship conference sponsored by the IEEE Intelligent Transportation Systems Society (ITSS). It includes various invited sessions, workshops,…

The 18th International Conference on Reachability Problems (RP'24) is being organisedas a physical meeting by the Formal Methods in Systems Engineering Research Unit of the Faculty of Informatics at the TU Wien.Important Dates:- Abstract submission…

The 18th International Conference on Reachability Problems (RP'24) is being organised as a physical meeting by the Formal Methods in Systems Engineering Research Unit of the Faculty of Informatics at the TU Wien. The conference is aimed at…

Embedded Systems Week (ESWEEK) is the premier event covering all aspects of hardware and software design for intelligent and connected computing systems. By bringing together three leading conferences, (CASES, CODES+ISSS, EMSOFT), one symposium (MEMOCODE…

The IEEE Conference on Communications and Network Security (IEEE CNS) is a conference series in the IEEE Communications Society (ComSoc) core conference portfolio and the only ComSoc conference focusing solely on cybersecurity. IEEE CNS…

The 2024 28th International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2024) is set to be a splendid event, scheduled to be held in Urbino, Italy. This symposium offers a unique forum for academics, industry professionals, and…

Volcamp is the first conference in the heart of the Auvergne volcanoes made for technology, development and local enthusiasts.2024 will be the fourth edition, we would like to bring together 600 participants, 60 speakers around 3 tracks for 2 days.The…

FMCAD 2024 is the twenty-fourth 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…

BackgroundVECoS 2024 is planned as a physical, in-person event to be held October 16-18, 2024 in Djerba, Tunisia.  The International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) was created by an Euro-Med…

The ACM SIGPLAN International Conference on Software Language Engineering (SLE) is devoted to the principles of software languages: their design, their implementation, and their evolution.With the ubiquity of computers, software has become the dominating…

The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming…

ATVA 2024 is the 22nd 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…

ABOUT THE CONFERENCERelentless progress of Artificial Intelligence (AI) – AI has emerged as a transformative force, rewriting the possibilities of innovation and sustainability across diverse landscapes. The journey of AI progress has been marked by…

ABOUT THE CONFERENCERelentless progress of Artificial Intelligence (AI) – AI has emerged as a transformative force, rewriting the possibilities of innovation and sustainability across diverse landscapes. The journey of AI progress has been marked by…

The 22nd edition of the International Conference on Software Engineering and Formal Methods will be held between 4 and 8 November 2024.The conference aims to bring together researchers and practitioners from academia, industry and government, to advance…