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ï)
Yémen : après avoir bombardé les séparatistes du Sud décidés à lancer un
processus vers l’indépendance, l’Arabie saoudite appelle au « dialogue »
-
Le mouvement séparatiste, baptisé STC et soutenu par les Emirats arabes
unis, a fait état, vendredi, de nouvelles frappes saoudiennes ayant tué
vingt membr...
Il y a 1 heure
Articles
Aucun commentaire:
Enregistrer un commentaire