Welcome to MSDN Blogs Sign in | Join | Help

News

Browse by Tags

All Tags » Recherche   (RSS)
Outils de vérification à Microsoft
Une conférence de Rustan Leino du groupe « Research in Software Engineering » de MSR Redmond aura lieu le 15 janvier à 10 :30 à l’Université d’Orsay. C’est bien sur public, ouvert à tous! Détails à : http://www.inria.fr/saclay/actualites/conf-rustan-leino Read More...
Nicolas Ayache obtient le prix MS 2008
Nicolas Ayache reçoit le prix « Microsoft European Science Award » 2008.   Ca me fait plaisir pour tout un tas de raisons C’est un chercheur français ( comme ma femme ) C’est un prof à Centrale ( comme ma femme ) Il fait de la recherche biomédicale Read More...
Page view tracker