MICR enseignements
==================
Cout dept (eqTD) = 540 + 90 ? + mutualise 90
						Cours	TD	Total	Enseignants (Vol. horaire)
Unités de base	(135 eqTD)			
Formalismes pour la rep. des con.		18	18	36	F. Lévy
Traitement de l'incertain et causalité		18	18	36	D. Kayser
Spécification et vérification de systèmes	18	18	36	C. Choppy (18), L. Petrucci (18)
				
Unités de parcours (270 eqTD)				
Traitement automatique des langues		18	18	36	A. Nazarenko (9), A. Rozenknop (9), F. Gayral (9) D. Kayser (9)
Ingénierie des connaissances textuelles		18	18	36	A. Nazarenko (12), T. Hamon (12), S. Szulman (12)
Programmes et preuves				18	18	36	C. Fouqueré ( ?), V. Mogbil ( ?), J. Vauzeilles ( ?) 
Systèmes Parallèles Asynchrones 		18	18	36	C. Choppy (18), L. Petrucci (18)
Apprentissage numérique 			18	18	36	Y. Bennani
Apprentissage symbolique et RaPC		18	18	36	E. Alphonse ( ?) R. Kanawati ( ?),  A. Osmani ( ?)
				
Unités d'approfondissement (135 eqTD 90 mut 90 ?)				
Aide a la décision				18	18	36	Commun avec EID et Ilog 3
Apprentissage statistique			18	18	36	Commun avec EID
Bio-informatique				18	18	36	?? J.D. Zucker 
Calculs de processus				18	18	36	?? C. Fouqueré 
Fouille de données				18	18	36	Extérieurs (coord. Y. Bennani)
Recherche et extraction d'information		18	18	36	Extérieurs (coord. A. Nazarenko)
Systèmes Infinis, Temporisés et Hybrides	18	18	36	Extérieurs (coord. C. Choppy)