Events
Upcoming Events
Past Events
  • 8th International Embedded Systems Symposium (IESS) 2024
    Oct 14, 2024 6:00 AM - Oct 16, 2024 4:00 PM
    Sponsored 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 PM
    FMCAD 2024 is the twenty-fourth in a series of conferences on the theory and applications of formal methods in hardware and system verification.
  • VECoS 2024
    Oct 16, 2024 6:00 AM - Oct 18, 2024 4:00 PM
    The 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 PM
    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.
  • SPLASH 2024
    Oct 20, 2024 6:00 AM - Oct 25, 2024 4:00 PM
    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
  • 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2024)
    Oct 21, 2024 6:00 AM - Oct 24, 2024 4:00 PM
    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
  • International Conference on Artificial Intelligence Revolutions (AIR 2024)
    Oct 30, 2024 6:00 AM - Oct 31, 2024 4:00 PM
    ABOUT THE CONFERENCE
  • International Conference on Artificial Intelligence Revolutions (AIR 2024)
    Oct 30, 2024 6:00 AM - Oct 31, 2024 5:14 PM
    ABOUT THE CONFERENCE
  • 22nd International Conference on Software Engineering and Formal Methods (SEFM 2024)
    Nov 4, 2024 6:00 AM - Nov 8, 2024 4:00 PM
    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…
  • CYBERSEC Netherlands
    Nov 6, 2024 6:00 AM - Nov 7, 2024 4:00 PM
    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.
  • ACM BuildSys 2024
    Nov 7, 2024 6:00 AM - Nov 8, 2024 5:00 PM
    We 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 PM
    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)
    Nov 13, 2024 6:00 AM - Nov 15, 2024 4:00 PM
    The 19th International Conference on Integrated Formal Methods (iFM) will take place from 13 to 15 November 2024 at the University of Manchester, UK.
  • INCINCO 2024
    Nov 18, 2024 6:00 AM - Nov 20, 2024 4:00 PM
    ICINCO 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 PM
    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…
  • Resilience Week 2024
    Dec 3, 2024 6:00 AM - Dec 5, 2024 4:00 PM
    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.