A3PAT
Project A3PAT involves computer scientists of the following laboratories
Cedric
, INRIA
Sophia-Antipolis
,
LaBRI
,
LRI
-PCRI.
Members:
X. Urbain
(coord.) ;
Y. Bertot
;
P. Castéran
;
S. Conchon
;
E. Contejean
;
P. Courtieu
;
D. Delahaye
;
C. Dubois
;
J. Forest
;
A. Paskevich;
O. Pons
.
Former member:
M. Biernacka
.