------------------------------------------------------- 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-announce%40openmath.org%7Cb345b5b8c96649c9932408dd9eb31a32%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638841214283110249%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=aDc8Pa7yJw5PUslpmlaQZaM0qyL%2B%2FfwR3uQVRq1gh%2B8%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-announce%40openmath.org%7Cb345b5b8c96649c9932408dd9eb31a32%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638841214283148396%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=utJN0qKjJhiGYl42lMOXkBsmLXDx86vFSUWmzwDQfR4%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-announce%40openmath.org%7Cb345b5b8c96649c9932408dd9eb31a32%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638841214283167887%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=wkV8l5yqRfCp6pbmYsD4Jy3Ip8MBGZi9Ap5iWBS1K1U%3D&reserved=0<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpvs.csl.sri.com%2F&data=05%7C02%7Com-announce%40openmath.org%7Cb345b5b8c96649c9932408dd9eb31a32%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638841214283184308%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=M9pR4WrhxH33D6Jj6ZKQqQwAg9u8vPAGU4cSEGIKvS0%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-announce%40openmath.org%7Cb345b5b8c96649c9932408dd9eb31a32%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638841214283205052%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=P%2BVMabQJ4CQg9n7Sup17GN5Yqld1MQswCNfghS%2BLPLY%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-announce%40openmath.org%7Cb345b5b8c96649c9932408dd9eb31a32%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638841214283219774%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=1O%2FVXQPm2fu4HK%2Bga3STlN9Q%2FG5WAxlJOwOp2Rf2vbY%3D&reserved=0<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fforms.office.com%2Fr%2FkZ06pKNUuv&data=05%7C02%7Com-announce%40openmath.org%7Cb345b5b8c96649c9932408dd9eb31a32%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638841214283233662%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=8Zzz9hZArqMVTwhXCWmNZGndrtog1N0kUAFfgJ4bQ0U%3D&reserved=0>. Contact: Mariano Moscato (AMA @ NASA LaRC) – [email protected]<mailto:[email protected]> Cesar Munoz (NASA) – [email protected]<mailto:[email protected]>
--- To opt-out from this mailing list, send an email to [email protected] with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting [email protected]
_______________________________________________ Om-announce mailing list [email protected] https://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
