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ï)
En grève jeudi, les contrôleurs aériens menacent aussi de ne pas respecter
la trêve olympique
-
Le mouvement, qui s’annonce massif, entraîne l’annulation de 75 % des vols
à l’aéroport d’Orly et de 65 % des vols à ceux de Roissy et de Marseille.
Les ai...
Il y a 2 heures
Aucun commentaire:
Enregistrer un commentaire