| CARVIEW |
À propos du LSV
Contacter le LSV
Exporter l'adresse au format vCard | Informations d'accès
- Adresse
-
LSV, CNRS & ENS Paris-Saclay
4 avenue des Sciences
91190 Gif-sur-Yvette, France
Liens directs
Distinctions
CSF 2020 Distinguished Paper Award
Solène Moreau a reçu le Distinguished-Paper Award à CSF 2020.
Prix doctorands EDSTIC 2019
Deux doctorands du LSV ont été laureats du prix de thèe de l'ecole doctorale STIC 2019 : Adrien Koutsos, 5G-AKA Authentication Protocol Privacy -- premier prix ex-aequo, Marie Fortin, FO = FO3 for Linear Orders with Monotone Binary Relations -- deuxème prix ex-aequo.
Jean-Christophe Filliâtre reçoit le CAV Award 2019
Le prix CAV Award 2019 est atribué à Jean-Christophe Filliâtre, membre de l'equipe VALS du LRI et futur collègue au sein du laboratoire Méthodes Formelles, pour ses travaux sur les langages de vérification intermédiaires réutilisables qui ont considérablement simplifié et accéléré la construction de vérificateurs déductifs automatisés.
Le prix récompense annuellement des contributions fondamentales au domaine de la vérification assistée par ordinateur. En 2017, le CAV Award a été décerné à nos collègues Alain Finkel et Philippe Schnoebelen.
ETAPS 2019 Best Theory Paper Award
Jérémy Dubut a reçu le prix du Best Theory Paper à ETAPS 2019 pour son article Trees in Partial Higher Dimensional Automata.

