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


Next Seminar

Analyzing Timed Systems Using Tree Automata

Visit website for this news | Export event in iCalendar format

SEM Paul Gastin
Date
Tuesday, October 04 2016 at 11:00AM
Place
Salle de Conférence (Pavillon des Jardins)
Speaker
Paul Gastin (LSV)


News

Stéphanie Delaune awarded ERC Starting Grant

Visit website for this news

Stéphanie Delaune  
 awarded ERC Starting Grant

Stéphanie Delaune received an ERC Starting Grant for her project POPSTAR - Physical properties Of security Protocols with an Application To contactless Systems. Stéphanie is a CNRS-Researcher, she has been a member of LSV since 2007 before joining the EMSEC team at IRISA, Rennes in September 2016.


MeFoSyLoMa Seminar

Visit website for this news | Export event in iCalendar format

MeFoSyLoMa Seminar

The next MeFoSyLoMa Seminar will be organised by Serge Haddad on 30 September at 14:00. Venue: Salle Renaudeau (Bâtiment Laplace) ENS Cachan.


Recent publications

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

J. Kolcák, D. Šafránek, S. Haar and L. PaulevéUnfolding of Parametric Logical Regulatory NetworksIn SASB'16, ENTCS. Elsevier Science Publishers, September 2016. To appear. Web page | PDF | BibTeX )
H. Mandon, S. Haar and L. PaulevéRelationship between the Reprogramming Determinants of Boolean Networks and their Interaction GraphIn HSB'16, LNBI. Springer, October 2016. To appear. PDF | BibTeX )
F. Kordon, H. Garavel, L. Hillah, E. Paviot-Adet, L. Jezequel, C. Rodríguez and F. Hulin-HubardMCC'2015 - The Fifth Model Checking ContestTransactions on Petri Nets and Other Models of Concurrency 11, pages 262-273, 2016. Web page | 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

Fri, Sep 30
Tue, Oct 4
Tue, Oct 25
Tue, Nov 8
Tue, Nov 22

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