[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