[TYPES/announce] Call for Participation PVS Day @ NFM 2025

Munoz, Cesar A. (LARC-D320) cesar.a.munoz at nasa.gov
Thu May 29 11:12:37 EDT 2025


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

Call for Participation: PVS DAY @ NFM 2025

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



June 10, 2025,  Williamsburg, Virginia, United States of America

Web: https://urldefense.com/v3/__https://shemesh.larc.nasa.gov/nfm2025/pvs-day.html__;!!IBzWLUs!UfJ4OGP3xB3AoqTX2-OiGaIbZ1ezVRL0EgcgCBhiyrPuAIZz7lwupxuiJ_paGPH7e6bPT7IDXxSlbuXRmgTKmb-ePaAr4k5gnt8BU9g$ 

Collocated with the 17th NASA Formal Methods Symposium (https://urldefense.com/v3/__https://shemesh.larc.nasa.gov/nfm2025/__;!!IBzWLUs!UfJ4OGP3xB3AoqTX2-OiGaIbZ1ezVRL0EgcgCBhiyrPuAIZz7lwupxuiJ_paGPH7e6bPT7IDXxSlbuXRmgTKmb-ePaAr4k5g4LXeY8A$ )



Join us for an exciting and collaborative workshop dedicated to the Prototype Verification System  (https://urldefense.com/v3/__https://pvs.csl.sri.com/__;!!IBzWLUs!UfJ4OGP3xB3AoqTX2-OiGaIbZ1ezVRL0EgcgCBhiyrPuAIZz7lwupxuiJ_paGPH7e6bPT7IDXxSlbuXRmgTKmb-ePaAr4k5gzCHHROI$ ). 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://urldefense.com/v3/__https://www.wm.edu/__;!!IBzWLUs!UfJ4OGP3xB3AoqTX2-OiGaIbZ1ezVRL0EgcgCBhiyrPuAIZz7lwupxuiJ_paGPH7e6bPT7IDXxSlbuXRmgTKmb-ePaAr4k5ggB0zO7s$ >, in Williamsburg, Virginia. Following the NFM spirit, participation in the PVS Day is free, but registration is mandatory at https://urldefense.com/v3/__https://forms.office.com/r/kZ06pKNUuv__;!!IBzWLUs!UfJ4OGP3xB3AoqTX2-OiGaIbZ1ezVRL0EgcgCBhiyrPuAIZz7lwupxuiJ_paGPH7e6bPT7IDXxSlbuXRmgTKmb-ePaAr4k5g6rVuu7Q$ .



The PVS Day will be held as an in-person event, with virtual participation option also available. Please register using the link above regardless of whether you plan to attend in-person or virtually.



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://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250529/045a8fb7/attachment-0001.htm>


More information about the Types-announce mailing list