Add new attachment

Only authorized users are allowed to upload new attachments.

This page (revision-12) was last changed on 17-Oct-2013 21:41 by cortier

This page was created on 08-Jul-2011 15:59 by UnknownAuthor

Only authorized users are allowed to rename pages.

Only authorized users are allowed to delete pages.

Difference between version and

At line 6 changed one line
The genesis of the Department Formal Methods is related to several joint projects which have structured research at LORIA in Formal Methods and related topics. Ten years ago, these teams have been federated in a joint project called QSL Qualité et Sûreté du Logiciel and have developed short joint projects; moreover, seminars have been organised by members of this department. Very recently, the project QSL has been extended into another regional project called SSS for Sûreté et Sécurité des Systèmes and has integrated colleagues from the Automatic Control Laboratory and form the Mathematics Laboratory. Moreover, these teams are strongly related to shared common concepts, techniques and tools related to formal methods and the six teams of the department 2 called Formal Methods work in the following themes:
The genesis of the Department Formal Methods is related to several joint projects which have structured research at LORIA in Formal Methods and related topics. Ten years ago, these teams have been federated in a joint project called QSL Qualité et Sûreté du Logiciel and have developed short joint projects; moreover, seminars have been organised by members of this department. Very recently, the project QSL has been extended into another regional project called SSS for Sûreté et Sécurité des Systèmes and has integrated colleagues from the Automatic Control Laboratory and form the Mathematics Laboratory. Moreover, these teams are strongly related to shared common concepts, techniques and tools related to formal methods and the six teams ([Carte|http://carte.loria.fr/], [Cassis|http://cassis.loria.fr/], [Dedale|http://dedale.loria.fr/], [Pareo|http://pareo.loria.fr/], [Types|http://types.loria.fr/], [Veridis/Mosel|http://veridis.loria.fr/]) of the department 2 called Formal Methods work in the following themes:
Version Date Modified Size Author Changes ... Change note
12 17-Oct-2013 21:41 1.989 kB cortier to previous
11 23-May-2012 10:18 1.782 kB cortier to previous | to last
10 05-Oct-2011 14:07 1.791 kB mery to previous | to last
9 05-Oct-2011 14:06 1.792 kB mery to previous | to last
8 05-Oct-2011 14:05 1.792 kB mery to previous | to last
7 05-Oct-2011 13:49 1.792 kB mery to previous | to last
6 20-Jul-2011 09:28 0.101 kB cortier to previous | to last
5 19-Jul-2011 13:06 0.135 kB cortier to previous | to last
4 19-Jul-2011 13:05 0.14 kB cortier to previous | to last Departement ==> Formal Methods Department
3 11-Jul-2011 19:49 0.14 kB cortier to previous | to last
2 08-Jul-2011 16:26 0.128 kB Administrator to previous | to last Cassis ==> Departement
1 08-Jul-2011 15:59 0.128 kB UnknownAuthor to last
« This page (revision-12) was last changed on 17-oct.-2013 21:41 by cortier