[Om-announce] [Vardi-list] OSSyM Workshop at CAV 2024

[Moshe Vardi]

**************************************************
          Open-source, State-of-the-art
        Symbolic Model-checking framework
                (OSSyM) Workshop
                  July 23, 2024
                Montreal, Canada
               Co-located with CAV

     https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flaboratory.temporallogic.org%2Fossym%2F&data=05%7C02%7C%7Cf78241eca51c493127a508dc8a830df5%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638537542662870460%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C80000%7C%7C%7C&sdata=IhrJJe2K2RPEsxJCNmAcAbu5uCvcsu9f3C9p11DtBPQ%3D&reserved=0
**************************************************

This email is to officially invite you to be an active participant in the 
CAV workshop on this project on July 23, focusing on the new 
model-checking intermediate language MoXI, its surrounding infrastructure, 
and the path forward for maximizing involvement of, and utility for, the 
international research community.

Please check out these resources on MoXI:
* a preliminary schedule: https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flaboratory.temporallogic.org%2Fossym%2F&data=05%7C02%7C%7Cf78241eca51c493127a508dc8a830df5%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638537542663026733%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C80000%7C%7C%7C&sdata=DSf0p266KMZxwwhM3eF7HyUFBycAsT91xq7hQWoH96Q%3D&reserved=0
* slides and a recorded keynote on the project:
https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmodelchecker.github.io%2F&data=05%7C02%7C%7Cf78241eca51c493127a508dc8a830df5%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638537542663026733%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C80000%7C%7C%7C&sdata=zkTjOgZjrVHo0ciWZXtOugwWLiBHdtu8a61Kyh99ejY%3D&reserved=0
* materials from a mini-version of this workshop held at FMCAD 2023:
https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2FModelChecker%2FFMCAD23-Tutorial&data=05%7C02%7C%7Cf78241eca51c493127a508dc8a830df5%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638537542663026733%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C80000%7C%7C%7C&sdata=6JIzukr9Zy82YW91f0em3YNQBIp%2Fkf8aciwsU5CkXog%3D&reserved=0
* our SPIN 2024 paper, describing MoXI semantics:
https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fresearch.temporallogic.org%2Fpapers%2FSPIN2024.pdf&data=05%7C02%7C%7Cf78241eca51c493127a508dc8a830df5%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638537542663026733%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C80000%7C%7C%7C&sdata=TXw4%2F92teZnZSpFrwiYTRpPMWow5%2F1Pg7lz8fNNNO30%3D&reserved=0
* our CAV 2024 tool paper, describing an initial implementation of MoXI
translations: https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fresearch.temporallogic.org%2Fpapers%2FCAV2024.pdf&data=05%7C02%7C%7Cf78241eca51c493127a508dc8a830df5%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638537542663026733%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C80000%7C%7C%7C&sdata=cMLDOWMMVBJRAXVvuNQxdHohLFTvgRyR6MjonjmsqVo%3D&reserved=0

This will be an old-school style workshop, without a published 
proceedings, centered around active discussion and facilitating research 
collaborations.

Our goal is to actively involve as much of the model-checking research 
community as possible!

Your active participation in the tutorials, discussions, and collaborative 
activities of this workshop is vital to the project's goals. We hope to 
see you in Montreal!


OSSyM Organizers:
Kristin Yvonne Rozier
Natarajan Shankar
Cesare Tinelli
Moshe Y. Vardi
-------------- next part --------------
_______________________________________________
Vardi-list mailing list
Vardi-list at mailman.rice.edu
https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmailman.rice.edu%2Fmailman%2Flistinfo%2Fvardi-list&data=05%7C02%7C%7Cf78241eca51c493127a508dc8a830df5%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638537542663026733%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C80000%7C%7C%7C&sdata=CtM7y0oTEGFcu8zVDgL6RIiIjidEGBcz00TAmUH52p0%3D&reserved=0