Laboratoire d'Informatique de Paris Nord
Le LIPN, sur décision du conseil de laboratoire, a signé la demande pour un moratoire sur la loi de programmation pluriannuelle de la recherche (LPPR) et pour la tenue d’Etats généraux de la Recherche et de l’Enseignement Supérieur. Lien vers l’appel à signatures et la liste des signataires: https://framaforms.org/moratoire-lppr-1579126603 Texte de Read more
Le LIPN (Université Paris 13) recrute un Professeur en Informatique pour renforcer l’un de ses axes thématique. Profil Recherche Les activités de recherche menées au Laboratoire d’Informatique de Paris-Nord (LIPN – CNRS UMR 7030) s’articulent autour d’axes forts s’appuyant sur les compétences de ses membres, notamment en apprentissage Read more
Stefano Guerrini (équipe LoVe) a été élu président du comité exécutif de l’Université Franco-Italienne / Università Italo-Francese (UIF/UFI). L’UIF/IUF est une institution binationale de promotion de la collaboration universitaire et scientifique entre la France et l’Italie, notamment au travers du programme VINCI.
Davide Barbarossa et Giulio Manzonetto, tous deux membres de l’équipe LoVe du LIPN, ont reçu un Distinguished Paper award de la part du comité de programme de la conférence 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020, website: https://popl20.sigplan.org). Ce prix récompense leur article Taylor Subsumes Read more
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/)
