The 26th International Symposium on Formal Methods will be held at Politecnico di Milano. Main conference: September, 11th – 13th, 2024 Workshops, Tutorials, etc.: September, 9th – 10th, 2024 Co-located Events: September, 9th – 11th, 2024 FM 2024 is…

Joint QEST + FORMATS!For the 2024 edition, QEST and FORMATS will have joint program committee, call for papers, and program.QEST, the International Conference on Quantitative Evaluation of SysTems, is the leading forum on evaluation and verification of…

The Formal Aspects of Component Software (FACS) conference series targets research in formal approaches for distributed components and services. The conferences cover topics including models, languages, analysis and verification techniques for component-…

The Technische Universität Ilmenau is organizing the conference, which will be held on September 10-12, 2024, under the theme “Engineering of Complex Hard and Software Systems”.The ECBS integrates software, hardware, and communication perspectives of…

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. The conference aims to disseminate novel ideas and…

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.In addition, SOCC has a long tradition of high-class…

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. ACSOS was founded…

Established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in…

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 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…

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…

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…