Events
  • 17th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2024
    May 27, 2024 6:00 AM - May 31, 2024 6:00 PM
    The 17th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2024 is intended to provide a common forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research…
  • 2024 CPS RISING STARS Workshop
    May 29, 2024 6:00 AM - May 29, 2024 5:00 PM
    The 2024 Cyber-Physical Systems (CPS) Rising Stars Workshop, which is sponsored by the U.S. National Science Foundation and ACM SIGBED, will be held at the University of Virginia (Charlottesville, VA) on May 29, 2024.This workshop aims to identify and…
  • NFM 2024 - NASA Formal Methods 2024
    Jun 4, 2024 8:00 AM - Jun 4, 2024 5:00 PM
    Important DatesAbstract submission: December 1, 2023Full paper submission: December 8, 2023Notification, February 16, 2024Final version: March 15, 2024Conference: June 4-6 2024Call for PapersThe widespread use and increasing complexity of mission-…
  • CyberGirls @ VirginiaTech
    Jul 29, 2024 6:00 AM - Aug 2, 2024 6:00 PM
    Do you know a rising 8th or 9th grade young woman who likes to solve puzzles, learn new things, and wants to make the world a safer place? Then check out CyberGirls @ Virginia Tech! Through hands-on activities led by Virginia Tech staff and faculty,…
  • FM 2024
    Sep 9, 2024 6:00 AM - Sep 13, 2024 6:00 PM
    The 26th International Symposium on Formal Methods will be held at Politecnico di Milano. Main conference: September, 11th – 13th, 2024 Workshops, Tutorials, etc.: September, 9th – 10th, 2024 Co-located Events: September, 9th – 11th, 2024 FM 2024 is…