Conférence PetriNets 2020

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 acceptés à POPL 2020

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

Conférence FSCD-IJCAR 2020

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

Notre projet «EUR de Paris Nord en Mathématiques et Informatique» est parmi les 24 lauréats de l’appel « Écoles universitaires de recherche »

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

« Les 30 ans du LIPN »

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