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

Open Assistant Professor Position in Informatics

Visit website for this news

We have an opening for a tenured Assistant Professor position in Informatics (Maître de Conférence). The announcement is available.


15th LSV Anniversary and Silver Medal Celebration for Jean Goubault-Larrecq

Visit website for this news | Export event in iCalendar format

LSV's 15 Years & Jean
		 Goubault-Larrecq's CNRS Silver Medal

LSV organises a Festive Workshop on 6–7 February 2012 on the occasion of the 15th Anniversary of the Laboratory and in celebration of the CNRS Silver Medal awarded to Jean Goubault-Larrecq.


Internships Positions at LSV

Visit website for this news

There are several great internship positions for Master students interested in the research topics investigated at LSV.


Serge Abiteboul designated Chair at Collège de France

Serge Abiteboul designated Chair at Collège de France

Collège de France designated Serge Abiteboul to the Annual Chair in Information Technology and Digital Sciences for 2011-2012.


Next Seminar

(to be announced)

Visit website for this news | Export event in iCalendar format

Date
Tuesday, February 14 2012 at 11:00AM
Place
Amphithéâtre Tocqueville
Speaker
B Srivathsan (LaBRI, Université Bordeaux-1, France)


Publications

News

About 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

Mon, Feb 6
Tue, Feb 7
Tue, Feb 14
Thu, Feb 16
Tue, Feb 28
Tue, Mar 6
Mon, Mar 12
Tue, Mar 13
Tue, Mar 20
Thu, Mar 22
Tue, Apr 3
Tue, Apr 10

Awards

Serge Abiteboul inducted as an ACM Fellow

Serge Abiteboul inducted as an ACM Fellow

The ACM has inducted Serge Abiteboul as an ACM Fellow for his contributions to the theory and practice of databases.


Serge Abiteboul designated Chair at Collège de France

Serge Abiteboul designated Chair at Collège de France

Collège de France designated Serge Abiteboul to the Annual Chair in Information Technology and Digital Sciences for 2011-2012.


Jean Goubault-Larrecq receives the CNRS Silver Medal

Jean Goubault-Larrecq receives the CNRS Silver Medal

Jean Goubault-Larrecq receives the 2011 CNRS Silver Medal.


Serge Abiteboul member of the Academy of Sciences

Serge Abiteboul at the Academy of Sciences

Serge Abiteboul has been elected member of the French Academy of Sciences.