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

Colloquium DHC Martín Abadi

Visit website for this news | Export event in iCalendar format

Colloquium DHC Martín Abadi

A two-day colloquium in honor of Martín Abadi is organized on 25-26 June 2015 to celebrate his Doctorate Honoris Causa


Next Seminar

Small universal Petri nets with inhibitor arcs

Visit website for this news | Export event in iCalendar format

SEM Serghei Verlan
Date
Tuesday, May 12 2015 at 11:00AM
Place
Salle de Conférence (Pavillon des Jardins)
Speaker
Serghei Verlan (LACL, Université Paris 12)


News

Bitcoins on Interstices

Visit website for this news

Bitcoin

Interstices features an article of Stéphanie Delaune and Rémy Chrétien on algorithms that make bitcoins possible. (In French)


Your passport may leak

Visit website for this news

BACpass

A post on vulnerabilities in biometric passport protocols by Stéphanie Delaune is included in the Science Review of the CNRS Institute on Information and Technology (INS2I). Read the article (in French)


Open Positions

See the job openings

There are several open positions for students interested in the research topics investigated at LSV, including the following funded PhD and postdoc openings:

Recent publications

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

V. Bruyère, E. Filiot, M. Randour and J.-F. RaskinMeet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative GamesInformation and Computation, 2015. To appear. PDF | BibTeX )
S. Demri and M. DetersTemporal Logics on Strings with Prefix RelationJournal of Logic and Computation, 2015. To appear. PDF | BibTeX )
C. Haase and S. KieferThe Odds of Staying on BudgetIn ICALP'15, LNCS. Springer, July 2015. 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 12
Tue, Jun 2
Thu, Jun 25
Fri, Jun 26

Awards

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.


Best Paper Award at RTA-TLCA 2014

Visit website for this news

Best Paper Award at RTA-TLCA 2014

Sylvain Schmitz has received the Best Paper Award at RTA-TLCA 2014 for his paper Implicational Relevance Logic is 2-ExpTime-Complete during the Vienna Summer of Logic.