Monthly Archives: May, 2010

Share:
A A
28 May 2010
Francesco Zappa Nardelli fait un Unithé sur Ma Mémoire est faible
Séminaire UniThé ou Café Bat I, 1er étage, Parc Orsay Université Club Centre de Recherche Commun INRIA-Microsoft Research “Ma mémoire est faible” Francesco Zappa Nardelli INRIA Résumé: Milieu d’après-midi, 15 fenêtres sur votre ... More
26 May 2010
Alfredo Pironti gives seminar about Sound Automatic Implementation Generation and Monitoring of Security Protocol Implementations from Verified Formal Specifications
Bld I, Microsoft Research-INRIA Joint Centre Sound Automatic Implementation Generation and Monitoring of Security Protocol Implementations ... More
18 May 2010
Vladimir Komendantsky gives seminar on Two encounters with Coq: dependently typed regular expressions and handshaking with a computer algebra system
Bld I, Microsoft Research-INRIA Joint Centre Two encounters with Coq: dependently typed regular expressions and handshaking with a computer algebra system ... More