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

Sylvain Schmitz nominated at Institut Universitaire de France

Visit website for this news

Sylvain Schmitz nominated at Institut Universitaire de France

Sylvain Schmitz has been nominated Junior Member of the Institut Universitaire de France. During his five-year membership term, he will pursue a project on the verification of resource-centric systems.


Amina Doumane receives the 2018 Ackermann Award

Visit website for this news

Amina Doumane receives the 2018 Ackermann Award

Former LSV PhD student Amina Doumane will receive the 2018 Ackermann Award for her dissertation On the infinitary proof theory of logics with fixed points prepared at IRIF and LSV. The Ackermann Award is the European Association for Computer Science Logic (EACSL) Outstanding Dissertation Award for Logic in Computer Science. It will be presented during the annual conference of the EACSL (CSL'18) to be held this year in Birmingham, UK.


Next Seminar

Distribution-based objectives for Markov Decision Processes

Visit website for this news | Export event in iCalendar format

SEM Blaise Genest
Date
Tuesday, June 26 2018 at 11:00AM
Place
Salle de Conférence (Pavillon des Jardins)
Speaker
Blaise Genest (Irisa, Rennes)


News

PhD Defense: Simon Halfon

Visit website for this news | Export event in iCalendar format

PhD Simon Halfon

On Effective Representations of Well Quasi-Orderings
Friday, 29 June 2018 at 2:00pm
Salle Condorcet, D'Alembert building, ENS Paris-Saclay


Alain Finkel and Philippe Schnoebelen receive CAV Award

Visit website for this news

Alain Finkel and Philippe Schnoebelen receive CAV Award

Alain Finkel and Philippe Schnoebelen receive the 2017 CAV Award, jointly with the Swedish researchers Parosh Abdulla and Bengt Jonsson, for their contributions to the verification of infinite-state systems. The CAV award is given anually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification. Notices of the American Mathematical Society features the award in its January 2018 issue (Notices Amer. Math. Soc. 2018:65(1) Mathematics People, page 50)


Recent publications

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

P. Gastin, S. Mukherjee and B. SrivathsanReachability in timed automata with diagonal constraintsIn CONCUR'18, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, September 2018. To appear. BibTeX )
B. Bollig, M. Fortin and P. GastinIt Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with ''Happened Before''In CONCUR'18, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, September 2018. To appear. PDF (long version) | BibTeX )
B. Bérard, P. Bouyer and V. JugéFinite bisimulations for dynamical systems with overlapping trajectoriesIn CSL'18, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, September 2018. 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

Tue, Jun 26
Fri, Jun 29
Tue, Jul 24

Awards

Sylvain Schmitz nominated at Institut Universitaire de France

Visit website for this news

Sylvain Schmitz nominated at Institut Universitaire de France

Sylvain Schmitz has been nominated Junior Member of the Institut Universitaire de France. During his five-year membership term, he will pursue a project on the verification of resource-centric systems.


Amina Doumane receives the 2018 Ackermann Award

Visit website for this news

Amina Doumane receives the 2018 Ackermann Award

Former LSV PhD student Amina Doumane will receive the 2018 Ackermann Award for her dissertation On the infinitary proof theory of logics with fixed points prepared at IRIF and LSV. The Ackermann Award is the European Association for Computer Science Logic (EACSL) Outstanding Dissertation Award for Logic in Computer Science. It will be presented during the annual conference of the EACSL (CSL'18) to be held this year in Birmingham, UK.


Lucca Hirschi receives dissertation award of pré-GDR Sécurité Informatique

Visit website for this news

Lucca Hirschi received the dissertation award of the CNRS group Sécurité Informatique for his thesis Automated Verification of Privacy in Security Protocols: Back and Forth Between Theory & Practice prepared at LSV.


"Le Temps des Algorithmes" earns book award

Visit website for this news

The book "Le Temps des Algorithmes" by Serge Abiteboul and Gilles Dowek (éditions Le Pommier) has been distinguished with the Book Award of the event "Le Science se Livre". More on Binaire.