Events
Upcoming Events
Past Events
-
8th International Embedded Systems Symposium (IESS) 2024Oct 14, 2024 6:00 AM - Oct 16, 2024 4:00 PMSponsored by IFIP WG 10.2Important Dates
-
Formal Methods in Computer-Aided Design (FMCAD 2024)Oct 16, 2024 6:00 AM - Oct 18, 2024 4:00 PMFMCAD 2024 is the twenty-fourth in a series of conferences on the theory and applications of formal methods in hardware and system verification.
-
VECoS 2024Oct 16, 2024 6:00 AM - Oct 18, 2024 4:00 PMThe VECoS conference series focuses on the analysis of computer and communication systems, where functional and extra-functional properties are inter-related.
-
ACM SIGPLAN International Conference on Software Language Engineering (SLE)Oct 20, 2024 6:00 AM - Oct 21, 2024 4:00 PMThe ACM SIGPLAN International Conference on Software Language Engineering (SLE) is devoted to the principles of software languages: their design, their implementation, and their evolution.
-
SPLASH 2024Oct 20, 2024 6:00 AM - Oct 25, 2024 4:00 PMThe 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
-
22nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2024)Oct 21, 2024 6:00 AM - Oct 24, 2024 4:00 PMATVA 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
-
International Conference on Artificial Intelligence Revolutions (AIR 2024)Oct 30, 2024 6:00 AM - Oct 31, 2024 4:00 PMABOUT THE CONFERENCE
-
International Conference on Artificial Intelligence Revolutions (AIR 2024)Oct 30, 2024 6:00 AM - Oct 31, 2024 5:14 PMABOUT THE CONFERENCE
-
22nd International Conference on Software Engineering and Formal Methods (SEFM 2024)Nov 4, 2024 6:00 AM - Nov 8, 2024 4:00 PMThe 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…
-
CYBERSEC NetherlandsNov 6, 2024 6:00 AM - Nov 7, 2024 4:00 PMIn 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.
-
ACM BuildSys 2024Nov 7, 2024 6:00 AM - Nov 8, 2024 5:00 PMWe are delighted to invite you to participate in the upcoming ACM BuildSys 2024 conference in Hangzhou, China during Nov. 7-8.
-
IEEE 10th World Forum on Internet of Things (WFIoT 2024)Nov 10, 2024 6:00 AM - Nov 13, 2024 4:00 PMThe 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)Nov 13, 2024 6:00 AM - Nov 15, 2024 4:00 PMThe 19th International Conference on Integrated Formal Methods (iFM) will take place from 13 to 15 November 2024 at the University of Manchester, UK.
-
INCINCO 2024Nov 18, 2024 6:00 AM - Nov 20, 2024 4:00 PMICINCO 2024 will be held in conjunction with WEBIST 2024, IJCCI 2024
-
5th International Conference on Formal Engineering Methods (ICFEM 2024)Dec 2, 2024 6:00 AM - Dec 6, 2024 4:00 PMAt 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…
-
Resilience Week 2024Dec 3, 2024 6:00 AM - Dec 5, 2024 4:00 PMJoin 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.