Subject: Animation and exchanges in the Petri Nets community
List archive
- From: Fabrice Kordon via Petrinet <address@concealed>
- To: address@concealed
- Subject: [PN-world] (PN) MCC'2024 — tool and model submission
- Date: Sat, 27 Apr 2024 17:45:18 +0200
- Authentication-results: spool.mail.gandi.net; dkim=none; dmarc=pass (policy=none) header.from=uni-hamburg.de; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 134.100.38.114 as permitted sender) address@concealed
Dear Petrineters,
Two notes concerning the model checking contest for 2024 :
- The deadline to submit tools is approaching :
https://mcc.lip6.fr/2024/cft.php
- It is still possible to submit «surprise» models for the 2024 edition
https://mcc.lip6.fr/2024/cfm.php
Best regards.
Fabrice
--------------------------------------------------------------------------------------
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/
- [PN-world] (PN) MCC'2024 — tool and model submission, Fabrice Kordon via Petrinet, 04/29/2024
Archive powered by MHonArc 2.6.19+.