------------------------------------------------------- Call for Participation: PVS DAY @ NFM 2025 ------------------------------------------------------- June 10, 2025, Williamsburg, Virginia, United States of America Web: https://shemesh.larc.nasa.gov/nfm2025/pvs-day.html Collocated with the 17th NASA Formal Methods Symposium (https://shemesh.larc.nasa.gov/nfm2025/) Join us for an exciting and collaborative workshop dedicated to the Prototype Verification System (https://pvs.csl.sri.com/<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpvs.csl.sri.com%2F&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Ca36caa94b219462be9ec08dd9eb2f992%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638841213698422469%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=Po2oQ1WjoGBEjNZ3%2F%2BgmxHRD8smdu4v%2FC1QXwlY4hV8%3D&reserved=0>). This event aims to bring together users, practitioners, and enthusiasts from around the world to foster a vibrant and supportive community centered around PVS. Whether you are a seasoned PVS user or new to the theorem prover, this workshop offers a unique opportunity to learn, connect, and contribute to the PVS community. Don't miss out on this chance to be part of a global network of like-minded individuals passionate about advancing formal verification and theorem proving. The PVS Day will also be hosted by the Computer Science Department at William & Mary<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.wm.edu%2F&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Ca36caa94b219462be9ec08dd9eb2f992%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638841213698447990%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=6f%2BofQ6zwduqxEaC35fEnc%2FqBdQozARn5yOGutEALAg%3D&reserved=0>, in Williamsburg, Virginia. Following the NFM spirit, participation in the PVS Day is free, but registration is mandatory at https://forms.office.com/r/kZ06pKNUuv<https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fforms.office.com%2Fr%2FkZ06pKNUuv&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Ca36caa94b219462be9ec08dd9eb2f992%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638841213698461868%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=A4sv%2Blh2A42KTha0VpFCLblGw7a7HR0%2FP0cIRrilXjo%3D&reserved=0>. Contact: Mariano Moscato (AMA @ NASA LaRC) – mariano.m.moscato@nasa.gov<mailto:mariano.m.moscato@nasa.gov> Cesar Munoz (NASA) – cesar.a.munoz@nasa.gov<mailto:cesar.a.munoz@nasa.gov> --- To opt-out from this mailing list, send an email to fm-announcements-request@lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner@lists.nasa.gov