现有科研组 :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
以前科研组 :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
以前研究课题 :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

LIP6

• C. Dubois, V. Ménissier‑Morain : “A Proved Type Inference Tool for ML: Damas-Milner within Coq”, Proceedings of the9-thth International Conference on Theorem Proving in Higher Order Logics, TUCS General Publication, J. von Wright, J. Grundy, J. Harrison (Eds.), http://www.tucs.abo.fi/cgi-bin/getps.cgi/publications/general/, pp. 15-30 [Dubois 1996]
• M. Soria : “Limit Distributions in Random Mappings”, Algorithms Seminar, Inria, vol. 2992 [Soria 1996]