Changes between Version 13 and Version 14 of FraDeCoPP2012


Ignore:
Timestamp:
May 5, 2012, 12:03:35 PM (6 years ago)
Author:
julien.tesson@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • FraDeCoPP2012

    v13 v14  
    1414 
    1515== Program == 
     16temporary Program subject to modification 
    1617 
    171810:00-10:30  Accueil [[BR]] 
    1819[[BR]] 
    19 10:30-11h15  Kiminori Matsuzaki : Constructive Algorithmic[[BR]] 
     20? 10:30-11h15  Kiminori Matsuzaki : Constructive Algorithmic[[BR]] 
    2021[[BR]] 
    212211:15-12:00  Julien Tesson : Mechanisation of constructive algorithmic with Coq[[BR]] 
    … …  
    293015:30-16:00 Coffee break[[BR]] 
    3031[[BR]] 
    31 16:00-16:45 Frédéric Gava : Verification of imperative BSP programs [[BR]] 
     32? 16:00-16:45 Frédéric Gava : Verification of imperative BSP programs [[BR]] 
    3233[[BR]] 
    333416:45-18:00 Discussion / Démos [[BR]]