held in conjunction withThe 21th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) &The 14th International Conference on Sustainable Energy Information Technology (SEIT)What is it about? Research in networks and…

Co-located withUSENIX Security '24Grant applications due Monday, July 8The Twentieth Symposium on Usable Privacy and Security (SOUPS 2024) will take place at the Philadelphia Downtown Marriott in Philadelphia, PA, USA, on August 11–13, 2024. SOUPS brings…

The 6th International Conference on Science of Cyber Security (SciSec 2024) will be held 14-16 August, 2024 in Copenhagen, Danmark. The conference is organized by the Technical University of Denmark(DTU). This new forum was initiated in 2018 and aims to…

The 33rd USENIX Security Symposium will take place on August 14–16, 2024, at the Philadelphia Marriott Downtown in Philadelphia, PA, USA. The USENIX Security Symposium brings together researchers, practitioners, system programmers, and others interested…

The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embedded, pervasive and high-performance) digital and mixed HW/SW system development and covers the entire design process from specification to microarchitectures, digital…

Euromicro Conference Series SEAA 2024 will be held at Sorbonne University, Paris, France, from 28th to 30th of August 2024.This edition will mark a milestone as we celebrate the 50th Anniversary of Euromicro and Euromicro Conferences.More…

The IEEE International Conference on Cyber Security and Resilience (IEEE CSR) is an annual event sponsored by the IEEE Systems, Man, and Cybernetics (SMC) Society. It focuses on theoretical and practical aspects of security, privacy, trust, and…

Intelligent Systems Conference (IntelliSys) 2024 will focus on areas of intelligent systems and artificial intelligence and how it applies to the real world. IntelliSys is one of the best respected AI Conference.IntelliSys provides a leading…

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

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

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…

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…