Laboratoire Spécification et Vérification

Founded in 1997, the Laboratoire Spécification et Vérification (LSV) is the Computer Science laboratory of ENS de Cachan, and is also affiliated to the French Centre National de la Recherche Scientifique (CNRS) as UMR 8643. Research at LSV is focused on the verification of critical software and systems, as well as on the verification of computer system security.

Highlights

EATCS Distinguished Dissertation Award 2016

Visit website for this news

EATCS Distinguished Dissertation Award 2016

Georg Zetzsche has received the Distinguished Dissertation Award 2016 of the EATCS for his thesis Monoids as storage mechanisms at the University of Kaiserslautern, Germany. Georg Zetzsche is currently a post-doc at LSV within the INFINI axis.


Hubert Comon at Institut Universitaire de France

Visit website for this news

Hubert Comon at Institut Universitaire de France

Professor Hubert Comon will be named Senior Member of the Institut Universitaire de France. During his five-year membership term, he will pursue a project on Computer Security and Formal Methods.


News

FORMATS 2016

Visit website for this news

The 14th FORMATS conference will take place in Quebec, Canada, on 24-26 August 2016.


Recent publications

Visit the corresponding web page Register to the RSS feed of LSV publications

A. Le Coënt, L. Fribourg and R. SoulatCompositional analysis of Boolean networks using local fixed-point iterationsIn RP'16, LNCS. Springer, September 2016. To appear. PDF | BibTeX )
A. Le Coënt, L. Fribourg, N. Markey, F. De Vuyst and L. ChamoinDistributed Synthesis of State-Dependent Switching ControlIn RP'16, LNCS. Springer, September 2016. To appear. PDF | BibTeX )
P. Bouyer, N. Markey and D. StanStochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent GamesIn GandALF'16, Electronic Proceedings in Theoretical Computer Science. September 2016. To appear. BibTeX )

About LSV

LSV Contact Information

Export in vCard format | Access information

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

Access information

Agenda

Export agenda in iCalendar format | LSV seminars page

No entries.

Awards

EATCS Distinguished Dissertation Award 2016

Visit website for this news

EATCS Distinguished Dissertation Award 2016

Georg Zetzsche has received the Distinguished Dissertation Award 2016 of the EATCS for his thesis Monoids as storage mechanisms at the University of Kaiserslautern, Germany. Georg Zetzsche is currently a post-doc at LSV within the INFINI axis.


Hubert Comon at Institut Universitaire de France

Visit website for this news

Hubert Comon at Institut Universitaire de France

Professor Hubert Comon will be named Senior Member of the Institut Universitaire de France. During his five-year membership term, he will pursue a project on Computer Security and Formal Methods.


EASST Best Paper Award at ETAPS 2016

EASST Best Paper Award at ETAPS 2016

Véronique Cortier, Antoine Dallon, and Stéphanie Delaune received the EASST Best Paper Award at ETAPS 2016 for their paper Bounding the number of agents, for equivalence too presented at POST 2016.


ACM PODS Alberto O. Mendelzon Test-of-Time Award 2015

Visit website for this news

Luc Segoufin and Victor Vianu received the Test-of-time award at ACM PODS 2015, for their ACM PODS 2005 paper Views and Queries: Determinacy and Rewriting.