Dear all,
As a part of the Model Checking Contest @ Petri Nets 2013, we ar
pleased to announce the "Live Event", presented in
http://mcc.lip6.fr/index.php?N1=2&N2=3
This event is opened to teams of advanced students or researchers
that would select a tool to use (among the ones which participated in
the Model Checking Contest and agreed to also participate in the
"live event"). They will have a limited time to solve a problem
presented at Milano during the conference.
It will take place in Milano on June 25, 2013, from 9h00 to 15h00. We
will handle 12 teams at most. Results will be given during the
Banquet dinner on June 27, 2013 in the evening.
Participating teams will have to model a problem and evaluate its
properties in a textual report. To do so, they will use one of the
proposed tool. Le "Live Event" will nominate the best study of the
problem on the one hand, and the most appreciated tool among the ones
that were used, on the other hand.
Please do participate as a team of modelers/verifiers and go to the
web page for more details about registration.
Best regards.
--
--------------------------------------------------------------------------
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] ]]
