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

SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications.

The 37th SOCC offers a three days technical program including keynote and plenary speeches, oral and poster presentations, hot-topic panel sessions, and one day of tutorials and industrial talks.

The fifth IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) provides a forum to share the latest research results, ideas, and experiences in autonomic, self-adaptive, and self-organizing systems.

ETFA 2024 is the 29th 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.