Motion contre l’augmentation des droits d’inscription pour étudiant(e)s extra-communautaires

Voté à l’unanimité par les membres du Laboratoire d’Informatique de Paris Nord le 22 février 2019 Le programme “Bienvenue en France” annoncé par le gouvernement prévoit une multiplication par 10 à 16 des droits d’inscription des étudiants extra-européens (2 770 euros pour la licence contre 170 aujourd’hui, Read more

ANR CoGITARe

Le projet ANR Jeune chercheur (JCJC) CoGITARe (Combining Graded and Intersection Types for the Analyses of Resources) porté par Flavien Breuvart, a été acceptée lors de l’Appel à Projets Générique 2018. D’une durée de 42 mois, le projet commencera en Mars 2019. Résumé Scientifique du projet. Les Read more

Best paper de DCABES 2016 attribué à Camille Coti

Résumé : Partial order reduction (POR) and net unfoldings are two alternative methods to tackle state-space explosion caused by concurrency. In this paper, we propose the combination of both approaches in an effort to combine their strengths. We first define, for an abstract execution model, unfolding semantics parameterized Read more

Best paper de FMICS-AVoCS attribué à Étienne André

Étienne André a reçu le best paper award à FMICS-AVoCS 2017 (International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems) pour son article A unified formalism for monoprocessor schedulability analysis under uncertainty.

Best paper de CONCUR 2015 attribué à César Rodiguez

César Rodiguez a reçu le best paper à CONCUR 2015 pour son article Unfolding-based Order reduction, avec Marcelo Sousa, Suboth Sharma et Daniel Kroening. Résumé : Partial order reduction (POR) and net unfoldings are two alternative methods to tackle state-space explosion caused by concurrency. In this paper, we Read more