ABOUT THE CONFERENCE

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

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 applicati

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.

The VECoS conference series focuses on the analysis of computer and communication systems, where functional and extra-functional properties are inter-related.

FMCAD 2024 is the twenty-fourth in a series of conferences on the theory and applications of formal methods in hardware and system verification.

Sponsored by IFIP WG 10.2Important Dates

Volcamp is the first conference in the heart of the Auvergne volcanoes made for technology, development and local enthusiasts.

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.

The Rowdy Datathon is a weekend-long, overnight event focused on data science where students can network, learn about data science, code, and collaborate! Team up with other students to tackle a data science challenge for a chance to win prizes!

The IEEE Conference on Communications and Network Security (IEEE CNS) is a conference series in the IEEE Communications Society (ComSoc) core confere

Embedded Systems Week (ESWEEK) is the premier event covering all aspects of hardware and software design for intelligent and connected computing systems.

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.

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

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).

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