News
  • CALL FOR SUBMISSIONS: 19th International Conference on Integrated Formal Methods (iFM)
    The 19th International Conference on Integrated Formal Methods (iFM) will take place from 13 to 15 November 2024 at the University of Manchester, UK.
  • CALL FOR PAPERS - 18th International Conference on Reachability Problems (RP'24)
    The 18th International Conference on Reachability Problems (RP'24) is being organised as a physical meeting by the Formal Methods in Systems Engineering Research Unit of the Faculty of Informatics at the TU Wien.
  • Call for Papers - NDSS Symposium 2025
    The NDSS 2025 Symposium and Workshops will take place in San Diego, CA, from 23 to 28 February 2025. The target audience includes everyone interested in practical aspects of network and distributed system security, with a focus on system design and…
  • Call for Papers - HPCA 2025
    The 31st IEEE International Symposium on High-Performance Computer Architecture (HPCA) will be held in Las Vegas, NV in 2025. HPCA is a high-impact premier venue for presenting research results on a wide range of computer architecture topics. Some topics…
  • CfP: Formal Aspects of Component Software (FACS 2024)
    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-…
  • CfP: ICFEM 2024
    THE 25th INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS2 ~ 6 December 2024 - Hiroshima, Japan - https://icfem2024.info/Since it was started in Hiroshima, Japan in 1997, ICFEM has provided a forum for both researchers and practitioners to discuss…
  • CfP: IEEE ITSC 2024
    The 27th IEEE International Conference on Intelligent Transportation Systems (IEEE ITSC 2024) is the annual flagship conference sponsored by the IEEE Intelligent Transportation Systems Society (ITSS). It includes various invited sessions, workshops,…
  • CfP: SEFM 2024
    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…
  • CfP: VECOS 2024
    The VECoS conference series focuses on the analysis of computer and communication systems, where functional and extra-functional properties are inter-related.
  • CfP: Resilience Week 2024
    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.
  • DATE 2025 - Call for Papers
    The 28th DATE conference is the main European event bringing together designers and design automation users, researchers and vendors as well as specialists in hardware and software design, test and manufacturing of electronic circuits and systems.
  • CfP: ACSAC 2024
    The 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…
  • CfP: CNS 2024
    IEEE CNS 2024 is scheduled to take place in the vibrant city of Taipei, Taiwan. This event will be conducted in person, providing attendees with unparalleled opportunities for face-to-face networking and spontaneous interactions that foster stronger…
  • CfP: USENIX 2024
    The USENIX Security Symposium brings together researchers, practitioners, system programmers, and others interested in the latest advances in the security and privacy of computer systems and networks.
  • CfP: INCINCO 2024
    The purpose of the International Conference on Informatics in Control, Automation and Robotics (ICINCO) is to bring together researchers, engineers and practitioners interested in the application of informatics to Control, Automation and Robotics.
  • CEA LIST Post-Doc Position
    The LSEA (Embedded and Autonomous Systems Design Laboratory) at CEA LIST offers a post-doc position.