Sponsored by IFIP WG 10.2Important Dates

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

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

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

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 CONFERENCE

ABOUT THE CONFERENCE

The 22nd edition of the International Conference on Software Engineering and Formal Methods aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate…

In today’s rapidly evolving tech landscape, the menace of cyber attacks continues to escalate. No matter the sector, businesses and institutions are searching for ways to bolster their cyber resilience and safeguard their crucial assets.

We are delighted to invite you to participate in the upcoming ACM BuildSys 2024 conference in Hangzhou, China during Nov. 7-8.

The IEEE WFIoT2024 continues the legacy of being the premier event hosted by the IEEE IoT Technical Community, uniting diverse expertise intrinsic to the IoT domain.

The 19th International Conference on Integrated Formal Methods (iFM) will take place from 13 to 15 November 2024 at the University of Manchester, UK.

ICINCO 2024 will be held in conjunction with WEBIST 2024, IJCCI 2024

At its first return to Hiroshima since 1997, ICFEM 2024 will celebrate the 25th anniversary of the ICFEM conference series. Researchers, practitioners, tool developers, and users are all welcome to submit papers and participate in the conference. We look…

Join us for Resilience Week 2024 in partnership with Defense TechConnect. Discuss how private and public partners can work together to ensure a secure and resilient flow of energy across the nation. More information coming soon.