Dear Colleagues,
We are please to invite you to watch the presentations of the results of the
10th edition of the Model Checking Contest. Due to the COVID-19 crisis, the
event, planned to take place aside the Petri Net Conference in Paris, will
occurs remotely in two phases :
Today morning : publication of the results presented in a video:
https://youtu.be/PrUbjMhUolQ
Today afternoon, 4PM (Western European Time), a zoom discussion:
https://us02web.zoom.us/j/6956685343?pwd=WmNpdlBocWRqVjVSdHJ6Vk8vZzY0QT09
meeting Id if requested (should not be the case) : 695 668 5343
password if requested (should not be the case) : 5r7Rdi
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/ <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] ]]
