Animation and exchanges in the Petri Nets community

[Moshe Vardi via Petrinet <address@concealed>]

**************************************************
         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
address@concealed
https://mailman.rice.edu/mailman/listinfo/vardi-list