Laboratoire d'Informatique de Paris Nord
La 41ième édition de la conférence « International Conference on Application and Theory of Petri Nets and Concurrency » (PetriNets) sera organisée par des membres du LIPN, avec Laure Petrucci (équipe LoVe) et Étienne André (Université de Lorraine, ancien membre de l’équipe LoVe) comme general chairs. Lien vers le Read more
Deux articles des membres de l’équipe LoVe ont été acceptés au 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020, site web: https://popl20.sigplan.org): Backpropagation in the Simply-Typed Lambda-calculus with Linear Negation, de Aloïs Brunel, Damiano Mazza et Michele Pagani. ArXiv version: https://arxiv.org/abs/1909.13768. Taylor Subsumes Scott, Read more
Les conférences « Formal Structures for Computation and Deduction » (FSCD) et « International Joint Conference on Automated Reasoning » (IJCAR) seront organisées par des membres du LIPN, notamment Stefano Guerrini (équipe LoVe), conference chair de FSCD 2020, et Giulio Manzonetto (équipe LoVe), workshop chair pour les deux conférences. Liens vers Read more
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
