Events and news relevant to the Laboratory for Foundations of Computer Science

["Munoz, Cesar A. (LARC-D320) via fm-announcements" <fm-announcements@lists.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.

 

Contact:

Mariano Moscato (AMA @ NASA LaRC) – mariano.m.moscato@nasa.gov

Cesar Munoz (NASA) – cesar.a.munoz@nasa.gov

 

 

---
To opt-out from this mailing list, send an email to 

fm-announcements-request@lists.nasa.gov 

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

fm-announcements-owner@lists.nasa.gov