Changes between Version 14 and Version 15 of FraDeCoPP2012


Ignore:
Timestamp:
May 9, 2012, 1:51:17 PM (6 years ago)
Author:
julien.tesson@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • FraDeCoPP2012

    v14 v15  
    181810:00-10:30  Accueil [[BR]] 
    1919[[BR]] 
    20 ? 10:30-11h15  Kiminori Matsuzaki : Constructive Algorithmic[[BR]] 
     2010:30-11h15  Kiminori Matsuzaki : Constructive Algorithmic[[BR]] 
    2121[[BR]] 
    222211:15-12:00  Julien Tesson : Mechanisation of constructive algorithmic with Coq[[BR]] 
    … …  
    303015:30-16:00 Coffee break[[BR]] 
    3131[[BR]] 
    32 ? 16:00-16:45 Frédéric Gava : Verification of imperative BSP programs [[BR]] 
     3216:00-16:45 Frédéric Gava : Verification of imperative BSP programs [[BR]] 
    3333[[BR]] 
    343416:45-18:00 Discussion / Démos [[BR]]