MCC'2013 - Live Event, call for participation

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.