Équipe |
Laboratoire |
Tutelles |
Responsable |
Permanents |
Doctorants |
Post-docs |
ACADIE |
IRIT, UMR 5505 |
CNRS, INPT, UPS, UT1 |
M. Filali |
4 |
2 |
|
ALI |
UMA |
ENSTA |
M. Mauny |
1 |
|
|
Cassis |
LIFC, FRE 2661, LORIA, UMR 7503 |
Univ. de Franche-Comté,INRIA Lorraine, CNRS, INPL, Univ.
Nancy 1&2 |
A. Giorgetti, S. Ranise |
4 |
3 |
1 |
CPR |
Cedric, EA 1395 |
CNAM |
C. Dubois |
8 |
2 |
|
Démons |
LRI, UMR 8623 |
Univ. Paris Sud, CNRS |
C. Paulin |
8 |
6 |
|
Everest |
INRIA Sophia-Antipolis |
INRIA |
B. Grégoire |
3 |
3 |
1 |
Gallium |
INRIA-Rocquencourt |
INRIA |
X. Leroy |
3 |
4 |
|
Lande |
IRISA, UMR 6074 |
Univ. Rennes 1, CNRS, INRIA, INSA Rennes |
Th. Jensen |
8 |
10 |
1 |
LCR |
LIPN, UMR 7030 |
Université Paris
13, CNRS |
M. Mayero |
8 |
|
|
LogiCal |
INRIA Futurs &
LIX, UMR 7161 |
INRIA, École
Polytechnique, CNRS |
B. Werner |
6 |
8 |
1 |
Marelle |
INRIA Sophia-Antipolis |
INRIA |
Y. Bertot |
5 |
1 |
|
Méthodes Formelles, CombAlgo |
LABRI, UMR
5800 |
Univ. Bordeaux 1 & 2, ENSEIRB, CNRS |
P. Castéran |
4 |
1 |
|
LIS |
IBISC, FRE 2873 |
CNRS,
Univ. d'Evry Val d'Essonne, Genopole |
J-L. Giavitto |
2 |
1 |
|
Move |
LIF, UMR 6166 |
CNRS, Univ. Aix-Marseille I et II |
S. Coupet |
1 |
1 |
|
Plume |
LIP |
Ministère, CNRS, ENS Lyon |
P. Lescanne |
|
|
|
PPS |
PPS, UMR 7126 |
CNRS,
Univ Paris 7 |
P. Letouzey |
5 |
|
|
Protheo |
LORIA |
INRIA Lorraine, CNRS, INPL, Univ.
Nancy 1&2 |
C. Kirchner |
5 |
10 |
2 |
SPI |
LIP6, UMR 7606 |
Univ. Paris 6, CNRS |
Th. Hardin |
3 |
5 |
|