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

Abundance of Papers at this year's LICS and ICALP

This year's editions of the conferences LICS (in New York City) and ICALP (in Rome) will see a large number of presentations of LSV-authored papers:


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.


Five LSV graduates earn faculty positions in 2015

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


Next Seminar

Reachability problems for classical mathematical objects

Visit website for this news | Export event in iCalendar format

SEM Igor Potapov
Date
Tuesday, May 17 2016 at 11:00AM
Place
Auditorium Daniel Chemla (Bât. Institut D'Alembert)
Speaker
Igor Potapov (University of Liverpool)


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.


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.


Top cited article in TCS

Visit website for this news

Top Cited in TCS

On the occasion of the 40th Anniversary of the journal Theoretical Computer Science, the 2001 article Well-Structured Transition Systems Everywhere! by Alain Finkel and Philippe Schnoebelen was listed among the top cited articles of 1974-2014.


Recent publications

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

A. Le Coënt, J. Alexandre dit Sandretto, A. Chapoutot and L. FribourgControl of Nonlinear Switched Systems Based on Validated SimulationIn SNR'16. IEEE Computer Society Press, April 2016. To appear. PDF | BibTeX )
N. Bertrand, P. Bouyer, Th. Brihaye and P. CarlierAnalysing Decisive Stochastic ProcessesIn ICALP'16, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, July 2016. To appear. BibTeX )
P. Bouyer, Th. Brihaye, P. Carlier and Q. MenetCompositional Design of Stochastic Timed AutomataIn CSR'16, LNCS 9691. Springer, June 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

Tue, May 17
Wed, May 18
Tue, Jun 14

Awards

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 receives 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.


Best Paper Award at ICDT 2015

Visit website for this news

Best Paper Award at ICDT 2015

The paper Asymptotic Determinacy of Path Queries using Union-of-Paths Views by Nadime Francis has received the ICDT 2015 Best Student Paper Award.


Victor Vianu elected to Academia Europaea

Visit website for this news

Victor Vianu elected to Academia Europaea

Victor Vianu was elected to the Informatics section of Academia Europaea. Victor Vianu currently holds an INRIA International Chair to work at LSV.