[DL] [fm-announcements] PVS Day at NFM 2025, June 10, 2025

[Munoz, Cesar A. (LARC-D320) via fm-announcements]

-------------------------------------------------------

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 at nasa.gov<mailto:mariano.m.moscato at nasa.gov>

Cesar Munoz (NASA) – cesar.a.munoz at nasa.gov<mailto:cesar.a.munoz at nasa.gov>



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20250529/5cc48d96/attachment-0001.htm>
-------------- next part --------------
---
To opt-out from this mailing list, send an email to 

fm-announcements-request at lists.nasa.gov 

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting 

fm-announcements-owner at lists.nasa.gov