All the past news 5.7.2024 Lucie Guillou, Arnaud Sangnier and Nathalie Sznajder won the Petri Nets 2024 best paper award for their article “Safety Verification of Wait-Only Non-Blocking Broadcast Protocols”. Congratulations ! 3.7.2024 Giovanni Bernardi, associate professor at IRIF, has been invited to the IMT Lucca, Italy, to talk about “Constructive characterisations of the must-preorder for asynchrony”. You can follow this conference remotely. 3.7.2024 irif is recruiting! We have a vacancy for a Financial and Accounting Manager (M/F). Come and join us!We have a vacancy for a Financial and Accounting Management Assistant (M/F). 26.6.2024 Delia Kesner, professor at IRIF, won the MSCA Staff Exchange 2023 call for her project “QCOMICAL – Quantum Computing and its Calculi”. The grant fund collaborative projects, promoting personnel mobility among consortium members. “QCOMICAL aims to encourage new developments in the theory of quantum programming languages and foster new interactions between participants to achieve substantial advances beyond the current state of knowledge in quantum computing.”