News – Page 2

Informations

LIPN lab hiring a full professor in Computer Science

LIPN lab hiring an associated professor on formal verification

Sep 09

LIPN-Paris13 project of a Research University School in Mathematics and Computer Sciences was selected for funding!

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.

Sep 05

The LoVe/verification team showed a demo of the CosyVerif software

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.

Sep 03

Laure Petrucci received the flag at the Petri Nets conference

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/).