PVS Day at NFM 2025, June 10, 2025
8 views
Skip to first unread message
Mariano Moscato
May 29, 2025, 11:31:21 AMMay 29
to PVS verification system
-------------------------------------------------------
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/). 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, 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.
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....@nasa.gov
Cesar Munoz (NASA) – cesar....@nasa.gov
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/). 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, 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.
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....@nasa.gov
Cesar Munoz (NASA) – cesar....@nasa.gov
Reply all
Reply to author
Forward
0 new messages