Dear Petri-netters,This is just to tell you that the submission kits (for models and for tools), together with the rules for 2024 are available on the Model Checking Contest web site. https://mcc.lip6.fr Some tools already registered and will receive regular notifications. If you intend to participate with your tool, please register at : https://mcc.lip6.fr/registration.php Please do not hesitate to contact us if you have any question. Best regards. Fabrice on behalf of the MCC organising committee -------------------------------------------------------------------------------------- Fabrice Kordon Sorbonne Université Campus Pierre & Marie Curie LIP6/MoVe, Office 26-00/202 or 26-25/216 4 place Jussieu, 75252 Paris Cedex 05 http://lip6.fr/Fabrice.Kordon/
