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ï)
Groenland : les enjeux et les zones d’ombre des négociations sur les
« accès militaires » exigés par Donald Trump
-
Les discussions ont commencé entre le Danemark et les Etats-Unis autour
d’un accord sur les ambitions américaines. Le président américain, qui veut
un « ac...
Il y a 6 heures
Articles
Aucun commentaire:
Enregistrer un commentaire