**************************************************
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
_______________________________________________
Vardi-list mailing list
vardi-l...@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
_______________________________________________
Om-announce mailing list
Om-announce@openmath.org
https://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
