Dear Petri-netters,
As you know, the Model Checking Contest in 2015 is opened (so far, call for
model). But, this year, to enable early discussion with potential tools
submitter, we opened a pre-registration that is available on the main web page
of the contest:
http://mcc.lip6.fr
If you are considering to participate, please register your tool. This is not
mandatory and it is also a way to evaluate which tool are still alive in the
community.
Best regards.
Fabrice for the organizing committee.
--------------------------------------------------------------------------------------
Fabrice Kordon Université Pierre & Marie Curie
Tel: +33 1 44 27 88 20 LIP6/MoVe, Bureau 26/25-212
Fax: +33 1 44 27 74 95 4 place Jussieu, 75252 Paris Cedex 05
http://lip6.fr/Fabrice.Kordon/
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
