Laboratoire	LORIA UMR 7503
Nom de l'équipe ou du projet	Calligramme, Cassis, Miro, Protheo, Trio
Responsable	Claude Kirchner (responsable du CPER QSL)
Effectifs (chercheurs, enseignants-chercheurs, thésards, ingénieurs, techniciens)	6 DR/Prof, 23 CR/MdC, 20,5 Thésards, 5 Ingenieurs
Axes de recherche (liste de mots-clefs)	Calcul et déduction par réécriture Mise en oeuvre logique et sémantique du concept de réécriture pour la spécification et la validation modulaires et efficaces de logiciels Vérification automatique, déduction, test Temps réel, vérification, mécanismes exécutif, qualité de service Sémantique des langages fonctionnels, à objets impératifs, logiques et concurrents Sécurité des langages de programmation, théorie des types, réécriture, lambda-calcul Télécommunications, compilation des langages à objets Sécurité des langages de programmation Systèmes embarqués Systèmes d'exploitation Analyse de la complexité en temps et en espace
Relations industrielles ( liste de partenaires industriels)	France Télécom R&D, ILOG, Schlumberger, Renault, VALEO, SIEMENS VDO
Participation à des programmes nationaux (ex. RNTL, RNRT) (liste de projets)	RNRT: Calife RNTL: INKA "Génération automatique déterministe de données de test selon des critères de couverture structurelle", Averoes & Manifico GDR: Mélanges de systèmes algébriques et de systèmes logiques, Objets et Composants Logiciels: spécification, vérification, sémantique, Objets et Composants Logiciels: implémentation de langages à objets.
Participation à des programmes européens (ex. IST) (liste de projets)	IST AVISS (vient de terminer), IST TYPES, IST REMPLI (en dernière phase de négociation - démarrage prévu février 2003), IST APPSEM 2 (proposition soumise), ITEA EAST (juillet 2001 - décembre 2003)
Plates-formes	Participation à la plate-forme QSL . Logiciel développé: ELAN et TOM BZ-Testing-Tools XTIOSM (ateliers de vérification - génération de tests temporisés) ICARE SmallEiffel
Suggestions