[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
-------------------------------------------------------
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) –
[email protected]<mailto:[email protected]>
Cesar Munoz (NASA) – [email protected]<mailto:[email protected]>
