Home > 2009 > May

Monthly Archives: May, 2009

A A

6 May 2009 Bruno Salvy fait un exposé sur les Preuves automatiques d’identités: Orsay, Bat I, 1er étage, Centre de Recherche commun INRIA-MSR Preuves automatiques d’identités Bruno Salvy, INRIA Depuis une vingtaine d’années, le calcul formel a beaucoup progressé dans l’algorithmisation des ... More
3 May 2009 Pedro Adao talks about High-Level Programming for E-Cash: Orsay, Bat I, 1st floor, MSR-INRIA Joint Centre, High-Level Programming for E-Cash Pedro Adão, Instituto Superior Técnico, Lisbon High-Level Programming for E-Cash E-cash protocols aim at providing robust abstractions for anonymous payment ... More