Laboratoire Spécification et Vérification

Fondé en 1997, le Laboratoire Spécification et Vérification (LSV) est le laboratoire d'informatique de l'ENS de Cachan, et est aussi affilié au Centre National de la Recherche Scientifique (CNRS) en tant qu'UMR 8643. La recherche au LSV est centrée sur la vérification de logiciels et systèmes critiques, et sur la vérification de la sécurité des systèmes informatiques.

À la une

Amina Doumane Ackermann Award 2018

Visiter le site web pour cet événement

Amina Doumane receives the 2018 Ackermann Award

Amina Doumane recevra le prix Ackermann 2018 pour sa thèse, intitulée On the infinitary proof theory of logics with fixed points et préparée à l'IRIF et au LSV. Le prix Ackermann est décerné chaque année par l'European Association for Computer Science Logic (EACSL) pour récompenser une thèse exceptionnelle dans le domaine de la logique en informatique. Il sera remis à la conférence annuelle de l'EACSL (CSL'18) qui aura lieu cette année à Birmingham, Royaume-Uni.


Prochain séminaire

Distribution-based objectives for Markov Decision Processes

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

SEM Blaise Genest
Date
Le mardi 26 juin 2018 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Blaise Genest (Irisa, Rennes)


Actualités

Alain Finkel et Philippe Schnoebelen reçoivent le CAV Award

Visiter le site web pour cet événement

Alain Finkel and Philippe Schnoebelen receive CAV Award

Alain Finkel et Philippe Schnoebelen reçoivent à Heidelberg le Prix 2017 CAV Award, conjointement avec Parosh Abdulla et Bengt Jonsson (University of Uppsala, Suède), pour leur contributions à la vérification des systemès infinis. Le prix récompense annuellement des contributions fondamentales au domaine de la vérification assistée par ordinateur.


Propositions de thèses et post-doctorats au LSV

Voir les propositions de stage

Les candidatures en thèse dans les thématiques du LSV sont bienvenues. Nous proposons en particulier des thèses et des post-doctorats financés :

Publications Récentes

Visiter le site web associé S'abonner au flux RSS des publications du LSV

D. Baelde, A. Lick and S. SchmitzA Hypersequent Calculus with Clusters for Linear FramesIn AiML'18. College Publications, August 2018. To appear. BibTeX )
S. Demri and R. FervariOn the complexity of modal separation logicsIn AiML'18. College Publications, August 2018. To appear. BibTeX )
F. GilbertExtending higher-order logic with predicate subtyping.  Thèse de doctorat, Université Paris 7, Paris, France, April 2018. PDF | BibTeX )

À propos du LSV

Contacter le LSV

Exporter l'adresse au format vCard | Informations d'accès

photo LSV
Adresse
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Téléphone
+33 1 47 40 75 20
Fax
+33 1 47 40 75 21

Informations d'accès

Agenda

Exporter l'agenda au format iCalendar | Page des séminaires du LSV

mar. 26 juin
ven. 29 juin
mar. 24 juillet

Distinctions

Prix de La Science se Livre pour "Les Temps des Algorithmes"

Visiter le site web pour cet événement

Le livre « Le temps des algorithmes » par Serge Abiteboul et Gilles Dowek (éditions Le Pommier) vient de recevoir le prix « La Science se livre » catégorie adulte pour « l’originalité des sujets abordés, la rigueur scientifique de son contenu, et les qualités de transmission des connaissances au public ». La manifestation « La Science se livre », destinée à valoriser la culture scientifique auprès du grand public, est organisée par le Département des Hauts-de-Seine en partenariat avec l’association BiB 92 et la Bibliothèque Nationale de France.


Amina Doumane Ackermann Award 2018

Visiter le site web pour cet événement

Amina Doumane receives the 2018 Ackermann Award

Amina Doumane recevra le prix Ackermann 2018 pour sa thèse, intitulée On the infinitary proof theory of logics with fixed points et préparée à l'IRIF et au LSV. Le prix Ackermann est décerné chaque année par l'European Association for Computer Science Logic (EACSL) pour récompenser une thèse exceptionnelle dans le domaine de la logique en informatique. Il sera remis à la conférence annuelle de l'EACSL (CSL'18) qui aura lieu cette année à Birmingham, Royaume-Uni.