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.


Internship Positions available

Visit website for this news

There are several internship positions for Master's 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

SEM Pierre Mounier-Kuhn
Date
Tuesday, May 22 2012 at 11:00AM
Place
Salle de Conférence (Pavillon des Jardins)
Speaker
Pierre Mounier-Kuhn (CNRS, Université Paris-Sorbonne)


Publications

News

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 22
Tue, Jun 12

Awards

Serge Abiteboul named ACM Fellow

Serge Abiteboul named ACM Fellow

Serge Abiteboul was honoured as a 2011 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.