Dear Colleagues,
Sorry for the mistake but the previous video had encoding troubles. The URL
for the video is updated in this email
We are pleased 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
occur remotely in two phases :
Today morning : publication of the results presented in a video:
https://youtu.be/ANXRLrbXIX0
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
----
[[ 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] ]]
