[Vardi-list] OSSyM Workshop@CAV 2024

  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.

--128478068-628286988-1718156250=:1649172
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: quoted-printable


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

  =C2=A0=C2=A0 https://laboratory.temporallogic.org/ossym/
**************************************************

This email is to officially invite you to be an active participant in the=
=20
CAV workshop on this project on July 23, focusing on the new=20
model-checking intermediate language MoXI, its surrounding infrastructure=
,=20
and the path forward for maximizing involvement of, and utility for, the=20
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=20
proceedings, centered around active discussion and facilitating research=20
collaborations.

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

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


OSSyM Organizers:
Kristin Yvonne Rozier
Natarajan Shankar
Cesare Tinelli
Moshe Y. Vardi

--128478068-628286988-1718156250=:1649172
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Vardi-list mailing list
[email protected]
https://mailman.rice.edu/mailman/listinfo/vardi-list

--128478068-628286988-1718156250=:1649172--