Dear all,
Please note that the discussion session of the Model Checking Contest (2020
edition) will take place on Tuesday June 23, 2020. The day will be organized as
follows:
- around 10h00 AM, publication of a video presenting the results of this edition
- 16h00-17h45 : remote discussion session between the MCC organizers, the
participating tool developers and anyone interested
- in the evening, publication of the web site with all the detailed results,
execution logs, charts, etc.
The discussion session will take place at the following coordinates
https://us02web.zoom.us/j/6956685343?pwd=WmNpdlBocWRqVjVSdHJ6Vk8vZzY0QT09
meeting id (should not be requested with the URL) : 695 668 5343
password (should not be requested with the URL) : 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] ]]
