French Lectures

L3 informatique

Réseaux de petri
L3 informatique

Intelligence Artificielle
M1 (Miage-Info)

Génie Logiciel : modélisation et vérification comportementales de systèmes (avec la collaboration de Pascal Poizat )
cours1 : Inroduction aux LTSs et modélisation ( TD1 ) ( correction )
Cours2 : Algèbre de processus (application sur MCRL2) : ( TD2 )
Cours3 : Comparaison de systèmes : ( TD3 ) ( correction (la suite) )
Cours4 : Logiques Tomporelles pour la vérification de systèmes : ( TD4 )( correction )

M1 Miage (alternance)

Système Multi-agent (IAD)
M1 Info/Miage/ASR

Conception et Programmation d'applications Réparties (avec la collaboration de Pascal Poizat )
Cours1 & 2 : Introduction à CPAR & Parallélisme (illustration sur les Thread de Java) : ( TD1 )
Cours3 : Communication (illustration sur les Socket de Java) : ( TD2 )
Cours4 : RPC & RMI : ( TD3 )
Cours5 : CORBA : (ici on revient sur TD 3 on ré-implémente avec CORBA)
Cours6 : Les Services Web : (ici on revient sur TD 3 on ré-implémente avec les Services Web)