Laboratoire d'Informatique de Paris Nord
Sur proposition d’un jury international, présidé par Sir Malcolm Grant, jusque récemment président de NHS England et ancien président de University College London, le Premier Ministre a retenu 24 lauréats de la deuxième vague d’appels à projet « Ecoles universitaires de recherche », dont le projet PNGS-M&CS Read more
L’équipe LoVe (axe vérification) a montré une démo de son logiciel CosyVerif (http://www.cosyverif.org/). Elle a été très bien reçu
Laure Petrucci a reçu le drapeau de la conférence Petri Nets car elle sera chair avec Etienne André de la version 2020 qui aura lieu en France (http://conf-2020.petrinet.net/)
Étienne André a reçu le best paper FORTE 2017 et DisCOTec 2017, pour son article Learning-based compositional parameter synthesis for event-recording automata, avec Shang-Wei Lin.
Le 8 novembre 2016 Matin : accueil à 11h00 en salle A 201 du LIPN 11h00 : Ouverture de la journée par Laure Petrucci (petit historique) 11h10 : Visite du laboratoire avec présentations para-scientifques : Thomas Fernique (A111) : « Des puzzles qui calculent » Haïfa Zargayouna (B207) : Read more
