News – Page 2

Informations

LIPN lab hiring a full professor in Computer Science

LIPN lab hiring an associated professor on formal verification

Call for applications for the Masters & Ph.D. program of the Graduate School in Mathematics and Computer Science (EUR PGS-M&CS)

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