!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> 68nqrt Seminar - IRISA/Inria Rennes

Prochain Exposé

October 6th, 4:15PM (Paris/France). Salle Aurigny.

Quentin Gougeon (IRIT)

tba

tba

Exposés des semaines suivantes

November 3, 3PM (Paris/France). Salle Aurigny.

Etienne André (Univ Sorbonne Paris Nord)

Lightweight (yet efficient) verification of cyber-physical systems

Vos propositions sont les bienvenues !

Séminaire autour des thèmes 68NQRT