Page Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

week5 [2014/02/11 13:22]
baillot [Programme]
week5 [2014/02/11 16:44] (current)
baillot [Programme]
Line 104: Line 104:
 ^ 15:00 | //champagne// | ^ 15:00 | //champagne// |
 ^ 15:30-16:15 | Romain Pechoux | Tiering and non-interference for complexity analysis of imperative and OO programs | ^ 15:30-16:15 | Romain Pechoux | Tiering and non-interference for complexity analysis of imperative and OO programs |
-^ 16:30-17:15 | Giovanni Bernardi | Using higher-order contracts to model session types |+^ 16:15-17:00 | Giovanni Bernardi | Using higher-order contracts to model session types |
 | |||  | ||| 
 ^ 20:00 | Social dinner | Restaurant "Le Fleurie", 123 rue de Gerland <html><a href=https://docs.google.com/document/d/1zogmSX0O91oSIMI8Dz9yyZboPst2GNFeI4cN1qxwccw/pub  >directions</a></html>| ^ 20:00 | Social dinner | Restaurant "Le Fleurie", 123 rue de Gerland <html><a href=https://docs.google.com/document/d/1zogmSX0O91oSIMI8Dz9yyZboPst2GNFeI4cN1qxwccw/pub  >directions</a></html>|