Laboratoire d'Informatique de Paris Nord
Le LIPN (Université Paris 13) recrute un.e Professeur.e en Informatique pour renforcer l’un de ses axes thématique. Calendrier Ouverture de l’enregistrement des candidatures aux postes sur l’application Galaxie : 25 février 2020 Clôture de l’enregistrement des candidatures aux postes sur l’application Galaxie : 26 mars 2020 à Read more
L’Ecole Universitaire de Recherche mathématique-informatique (PGS-M&CS) est une des EUR labellisées par le gouvernement en 2019. Elle est unique sur le spectre mathématiques-informatique. L’EUR PNGS-M&CS Graduate School est conçue comme une formation internationale de haut niveau. Elle prend appui sur trois masters locaux : Mathématiques, Informatique, Ingénierie Read more
Le LIPN-RCLN (CNRS UMR 7030), dans le cadre d’un financement du ministère de la culture (DGLFLF) et du Labex Fondements Empiriques de la Linguistique (EFL), recherche un·e ingénieur·e en développement Web et Traitement Automatique des Langues. Il s’agira de mettre en place une plateforme web modulaire et Read more
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
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
