École Thématique Caleidoscope

L’école thématique Caleidoscope (site web), organisée par Anupam Das (Université de Copenhague), Damiano Mazza (LIPN) et Thomas Seiller (LIPN), se tiendra du 17 au 21 Juin à l’Institut Henri Poincaré (IHP). Le but et la particularité de cette école est de réunir en un seul évènement autant 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.