------------------------------------------------------- Call for Participation: PVS DAY @ NFM 2025
------------------------------------------------------- June 10, 2025, Williamsburg, Virginia, United States of America Web: https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fshemesh.larc.nasa.gov%2Fnfm2025%2Fpvs-day.html&data=05%7C02%7Com%40openmath.org%7Cb345b5b8c96649c9932408dd9eb31a32%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638841214283768079%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=dOLH56jzshXwmfSauTUFwqUJ2SimJrhF1WYwGaRK0tM%3D&reserved=0 Collocated with the 17th NASA Formal Methods Symposium (https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fshemesh.larc.nasa.gov%2Fnfm2025%2F&data=05%7C02%7Com%40openmath.org%7Cb345b5b8c96649c9932408dd9eb31a32%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638841214283792871%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=zxcoG541jUXlhA61TwnrW7eYko3XlOh7ezC%2FckIvRhU%3D&reserved=0) Join us for an exciting and collaborative workshop dedicated to the Prototype Verification System (https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpvs.csl.sri.com%2F&data=05%7C02%7Com%40openmath.org%7Cb345b5b8c96649c9932408dd9eb31a32%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638841214283808870%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=GReE8UuOwVhCbcvLh5GP%2FxeeSEhigpgm8MVLRGnqQDo%3D&reserved=0<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpvs.csl.sri.com%2F&data=05%7C02%7Com%40openmath.org%7Cb345b5b8c96649c9932408dd9eb31a32%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638841214283831937%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=rsQKkRV%2Fj3D%2Bk80VXEYhD%2Fzsxe8oPf2a0z2TjHGDknI%3D&reserved=0>). 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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.wm.edu%2F&data=05%7C02%7Com%40openmath.org%7Cb345b5b8c96649c9932408dd9eb31a32%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638841214283850588%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=ltCySaIsu1u5budUoBJGTRhV4GQpffuS5Of8eWJyjbM%3D&reserved=0>, in Williamsburg, Virginia. Following the NFM spirit, participation in the PVS Day is free, but registration is mandatory at https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fforms.office.com%2Fr%2FkZ06pKNUuv&data=05%7C02%7Com%40openmath.org%7Cb345b5b8c96649c9932408dd9eb31a32%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638841214283866610%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=dxokFtxRyt6XeVmytt2oNJQL3T8GTYAsaNVhzKnOdLM%3D&reserved=0<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fforms.office.com%2Fr%2FkZ06pKNUuv&data=05%7C02%7Com%40openmath.org%7Cb345b5b8c96649c9932408dd9eb31a32%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638841214283880971%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=1e%2FL%2FK2vaodhJD4XIRXSePlUhKsq38rZI55Db6Tfw1w%3D&reserved=0>. Contact: Mariano Moscato (AMA @ NASA LaRC) – mariano.m.mosc...@nasa.gov<mailto:mariano.m.mosc...@nasa.gov> Cesar Munoz (NASA) – cesar.a.mu...@nasa.gov<mailto:cesar.a.mu...@nasa.gov>
--- To opt-out from this mailing list, send an email to fm-announcements-requ...@lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-ow...@lists.nasa.gov
_______________________________________________ Om mailing list Om@openmath.org https://mailman.openmath.org/cgi-bin/mailman/listinfo/om
