Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages
LATEST NEWS
HISTORY
CO-PUBLICATIONS
BILATERAL PROJECTS
MEMBERS
RESEARCH
LIA INFINIS has been renewed for a further four years!
Feb 9, 2015
