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 DIRECT, guerre au Moyen-Orient : Donald Trump affirme que les Etats-Unis
vont « frapper de nouveau durement » l’Iran, après la destruction d’un
hélicoptère américain
-
« On verra bien ce qu’il adviendra de l’accord. On était vraiment tout près
d’un accord – mais ils n’arrêtent pas de nous mener en bateau », a lancé le
pré...
Il y a 9 heures
Articles
Aucun commentaire:
Enregistrer un commentaire