Dear colleagues and tool developers,Associated to ETAPS'2023 in Paris, we organise the Model Checking Contest Workshop on Sunday April 23, 2023 : https://mcc.lip6.fr/mccworkshop.html. This is an event dedicated to those who are interested in verification software competitions in general, and the model checking contest in particular. Its objective is to have discussions on possibles issues for the future of the contest. Typically, we think of (non exhaustive list) - Discussion among tool developers about the new techniques they operated for the contest. - Identification of a core semantics for Petri nets with time that could enable the creation of a new examination track dealing with timed properties. - Some tutorial like the integration of a tool in the framework of the competition or how to operate the execution environment itself. Etc. If you want to make a presentation, or participate in the event, please contact the organizers before March 20, 2023. Best regards. -------------------------------------------------------------------------------------- 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/
