An international jury, chaired by Sir Malcolm Grant, until recently President of NHS England and former President of University College London, selected 24 proposals of the “University Research Schools” call, including our PNGS-M&CS EUR project in Mathematics and Computer Science. 81 applications had been submitted.
The LoVe/verification team showed a demo of the CosyVerif software ( http://www.cosyverif.org/ ). L’équipe LoVe (axe vérification) a montré une démo de son logiciel CosyVerif (http://www.cosyverif.org/) which received a warm welcome.
Laure Petrucci received the flag of the Petri Nets conference: she will host with Etienne André the 2020 conference in France (http://conf-2020.petrinet.net/).