Events
Upcoming Events
Past Events
-
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.
-
Asiacrypt 2024Dec 9, 2024 6:00 AM - Dec 13, 2024 4:00 PM
-
ACSAC 2024Dec 9, 2024 6:00 AM - Dec 13, 2024 4:00 PMThe Annual Computer Security Applications Conference (ACSAC) brings together leading researchers and practitioners, along with a diverse group of security professionals drawn from academia, industry, and government, gathered to present and discuss the lat
-
45th IEEE Real-Time Systems Symposium (RTSS 2024)Dec 10, 2024 6:00 AM - Dec 13, 2024 4:00 PMThe IEEE Real-Time Systems Symposium (RTSS) is the premier conference in the field of real-time systems and is a venue for researchers and practitioners to showcase innovations covering all aspects of real-time systems, including theor
-
HiPEAC 2025Jan 20, 2025 6:00 AM - Jan 22, 2025 4:00 PMThe HiPEAC conference is the premier European forum for experts in computer architecture, programming models, compilers and operating systems for general-purpose, embedded and cyber-physical systems.
-
CYBERSEC ASIA 2025Jan 22, 2025 6:00 AM - Jan 23, 2025 4:00 PMThe Event for IT Security, Data Management and Cloud Solution in CLMVT & APAC
-
NDSS Symposium 2025Feb 23, 2025 6:00 AM - Feb 28, 2025 4:00 PMThe Network and Distributed System Security Symposium (NDSS) is a top venue that fosters information exchange among researchers and practitioners of network and distributed system security.
-
13th International Conference on Model-Based Software and Systems Engineering (MODELSWARD 2025)Feb 26, 2025 6:00 AM - Feb 28, 2025 4:00 PMThe International Conference on Model-Based Software and Systems Engineering provides a platform for participants from all over the world to present research results and application experience in using model-based techniques for developing all so
-
International Symposium on High-Performance Computer Architecture (HPCA 2025)Mar 1, 2025 6:00 AM - Mar 5, 2025 4:00 PMThe International Symposium on High-Performance Computer Architecture (HPCA) is the premier forum for new ideas and research results in computer architecture.