The model checking contest will take place on Tuesday afternoon 16.00 - 17.30 in room M003.
For further information, see https://mcc.lip6.fr/