**************************************************         Open-source, State-of-the-art       Symbolic Model-checking framework               (OSSyM) Workshop                 July 23, 2024               Montreal, Canada              Co-located with CAV    https://laboratory.temporallogic.org/ossym/ ************************************************** 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://laboratory.temporallogic.org/ossym/ * slides and a recorded keynote on the project: https://modelchecker.github.io/ * materials from a mini-version of this workshop held at FMCAD 2023: https://github.com/ModelChecker/FMCAD23-Tutorial * our SPIN 2024 paper, describing MoXI semantics: https://research.temporallogic.org/papers/SPIN2024.pdf * our CAV 2024 tool paper, describing an initial implementation of MoXI translations: https://research.temporallogic.org/papers/CAV2024.pdf 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-list@mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list