1998
Xavier Leroy,
chercheur dans le projet Cristal
(INRIA-Rocquencourt),
A. Ohori, Kyoto university.
Types in Compilation
Proceedings of TIC'98, Kyoto, Japan, March 25-27, 1998.
Éditions Springer-Verlag,
Lecture Notes in Computer Science, volume 1473, 1998, ISBN 3-540-64925-5
Jacques André, directeur de recherche à l'IRISA,
R. Hersch, Ecole Polytechnique Fédérale de Lausann (EPFL),
H. Brown, university of Kent, Canterbury.
Electronic Publishing, Artistic Imaging, and Digital Typography
7th International Conference on Electronic Publishing, EP'98
Held Jointly with the 4th International Conference on Raster Imaging
and Digital Typography, RIDT '98
St. Malo France, March 30 - April 3, 1998.
Éditions Springer-Verlag,
Lecture Notes in Computer Science, volume 1375, 1998, ISBN 3-540-64298-6
Denis Caromel,
professeur à l'université de Nice Sophia-Antipolis, projet
SLOOP,
R.R. Oldehoeft, Fort Collins
M. Tholburn, Los Alamos.
Computing in Object-Oriented Parallel Environments
Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December
8-11, 1998
Éditions Springer-Verlag,
Lecture Notes in Computer Science, volume 1505, 1998, ISBN 3-540-65387-2
Davide
Sangiorgi, chercheur à l'INRIA-Sophia-Antipolis, projet Meije
Robert
de Simone, directeur de recherche à l'INRIA-Sophia-Antipolis,
projet Meije.
CONCUR'98: Concurrency Theory
9th International Conference, Nice, France, September 8-11, 1998
Éditions Springer-Verlag,
Lecture Notes in Computer Science, volume 1466, 1998, ISBN 3-540-64896-8
Hélène Kirchner, responsable scientifique du projet Protheo
(INRIA Lorraine)
Claude Kirchner, président du comité des projets.
Automated Deduction
CADE-15 - 15th International Conference on Automated Deduction - Lindau,
Germany, July 5-10, 1998
Proceedings in « Lecture
Notes In Artificial Intelligence », Juin 1998, Springer Verlag,
ISBN 3-540-64675-2
1999
Yves
Bertot, Laurent
Théry, de l'avant-projet Lemme
(INRIA-Sophia-Antipolis),
Gilles Dowek,
du projet Coq (INRIA-Rocquencourt),
Christine Paulin, professeur à l'université Paris XI-Orsay,
André Hirschowitz, professeur à l'université de
Nice.
Theorem Proving in Higher Order Logics
Proceedings of TPHOLs'98, Nice, France, September 1999.
Éditions Springer-Verlag,
Lecture Notes in Computer Science, volume 1690, 1999, ISBN 3-540-66463-7
