3 June 2009
Rick Rashid visits the Joint Centre
Rick Rashid, Senior Vice President at Microsoft, Head of Microsoft Research, visits the Joint Centre on June 3, 2009, afternoon. We will have short talks and demos. Temptative program is:
- 13:00-14:00: Lunch
- 14:30-14:50 Introduction: JJL (1st floor, conference room)
- 15:00-17:30 Demos:
- 15:00-15:20, Mathematical Components
Laurent Théry (1st floor, conference room)
- 15:20-15:40, Secure distributed computations and their Proofs
Pierre-Malo Deniélou, Cédric Fournet (1st floor, south)
- 15:40-16:00, TLA+
Kaustuv Chauduri (ground floor, east)
- 16:00-16:20, DDMF
Frédéric Chyzak (ground floor, west)
- 16:20-16:40, ReActivity
Wendy Mackay (1st floor, south)
- 16:40-17:00, Adaptive Search
Niko Hansen (1st floor, conference room)
- 17:00-17:20, Vision
Jean Ponce (ground floor, east)
- 17:30-18:30: Discussion and Cocktails (1st floor, conference room)
