Home > 2008 > June

Monthly Archives: June, 2008

A A

20 June 2008 Peter Muller, Programming Languages and Methods group at MSR Redmond, gives seminar on Alias Control with Universe Types: Peter Muller Programming Languages and Methods group Microsoft Research Redmond Friday June, 20th at 10h 30 am MSR-INRIA Joint Centre Parc Orsay Université - Batiment I In ... More
17 June 2008 Manuel Serrano gives seminar on HOP: Mardi 17 juin, batiment I, 11h Programming Ubiquitous Applications with HOP Manuel Serrano INRIA Sophia-Antipolis The Web is a such a rich architecture that it is giving birth to new applications that were unconceivable only few years ago in the past. Developing these ... More
13 June 2008 Jeremy Avigad (Carnegie Mellon University) gives a talk on a formal system for Euclid’s *Elements*: Jeremy Avigad, Carnegie Mellon University, June 13, 2008, 11h, MSR-INRIA Joint Centre, bat I, Parc Université Club, Orsay A formal system for Euclid’s *Elements* (joint work with Ed Dean and John Mumma) ... More