Gérard Berry à Nantes le 22 janvier au LINA

jeudi 22 janvier 2009
14h-15h30


Gérard Berry (Académie des sciences, Collège de France)
http://www.academie-sciences.fr/membres/B/Berry_Gerard.htm

L'approche synchrone à la programmation et à la vérification des systèmes embarqués matériels et logiciels

La conférence est publique et gratuite (un gros défaut, je sais...et en plus c'est à Nantes et non à Hawaï)