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.


Many papers from LSV at this year's LICS and ICALP

This year's editions of LICS (in New York) and ICALP (in Rome) will see many presentations from LSV:


News

Open University: Verification of Biological Systems

Visit website for this news | Export event in iCalendar format

Bio Systems Verification

Laurent Fribourg co-organises an open university / workshop on the verification of biological systems at ENS Cachan. Program and registration.


Stéphanie Delaune at ALKINDI

Visit website for this news

Stéphanie Delaune at ALKINDI

Stéphanie Delaune speaks at the closing ceremony of ALKINDI, a new competition on cryptanalysis for high-school students.


MOVEP 2016

Visit website for this news

The 12th summer school MOVEP will take place in Genoa, Italy, on 26 June-1st July 2016.


FORMATS 2016

Visit website for this news

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


Five LSV graduates earn faculty positions in 2015

Five recent PhD graduates from LSV obtained faculty positions in the current academic year:


Recent publications

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

S. Haar and S. TheissingDecoupling Passenger Flows for Improved Load PredictionIn QEST'16, LNCS. Springer, August 2016. To appear. Web page | PDF | BibTeX )
S. Haar and S. TheissingPredicting Traffic Load in Public Transportation NetworksIn ACC'16. IEEE Control System Society, July 2016. To appear. Web page | PDF | BibTeX )
B. F. van Dongen, J. Carmona and Th. ChatainA Unified Approach for Measuring Precision and Generalization Based on Anti-AlignmentsIn BPM'16, LNCS. Springer, September 2016. To appear. PDF | 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.


Ackermann Award 2015

Visit website for this news

Ackermann Award 2015

Mickael Randour has received the Ackermann Award 2015 for his thesis Synthesis in Multi-Criteria Quantitative Games at the University of Mons, Belgium. The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. Mickael Randour is currently a post-doc at LSV within the CASSTING project.


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.