Skip to content
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)
  • Mail
  • Connection
  • Admin
LIPN

LIPN

Northern Paris Computer Science Lab

  • About
    • The Lab
    • People
  • Research groups
    • A3
    • AOC
    • CALIN
    • LoVe
    • RCLN
    • Research staff
  • Projects
  • News
  • PhD
  • Join us
  • Resources
  • Contact us
  • Français
  • English
LIPN  ⁄  News

Category: News

Sep 05

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

News

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

News

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

Posts navigation

Newer posts

Contact

LIPN, UMR CNRS 7030
Institut Galilée – Université Paris 13

99, Avenue Jean-Baptiste Clément
93430, Villetaneuse

Phone: 01 49 40 35 90
Fax: 01 48 26 07 12
Mail: contact@lipn.univ-paris13.fr

Copyright 2017© Tous droits réservés.
University Hub by WEN Themes
Scroll Up