Best Paper Award reçu à Petri Nets 2024

Lucie Guillou, doctorante IRIF/LIP6 (équipe MoVe), et ses co-directeurs Arnaud Sangnier (IRIF) et Tali Sznajder (LIP6), ont reçu le Best Paper Award à la conférence Petri Nets 2024 pour leur article « Safety Verification of Wait-Only Non-Blocking Broadcast Protocols »