Changes between Version 3 and Version 4 of FraDeCoPP-3


Ignore:
Timestamp:
Jun 4, 2013, 3:38:58 PM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • FraDeCoPP-3

    v3 v4  
    1717* 12h00-14h00 '''Déjeuner / Lunch (Restaurant l'Agora)'''  
    1818 
    19 * 14h00-14h45 
     19* 14h00-15h00 
    2020 
    21 * 14h45-15h30  
     21* 15h00-16h00  
    2222 
    23 * 15h30-16h00 '''Pause / Coffee Break''' 
     23* 16h00-16h30 '''Pause / Coffee Break''' 
    2424 
    25 * 16h00-16h45  
     25* 16h30-17h15  
    2626 
    27 * 16h45-17h30  
    28  
    29 * 17h30-18h00 '''Conclusion''' 
     27* 17h15-18h00 '''Conclusion''' 
    3028 
    3129==  Aim and Scope == 
    … …  
    5250* Experience feedback on the development of "formally proved correct" programs 
    5351 
    54 == Organizer == 
     52== Organiser == 
    5553 
    5654* Frédéric Loulergue, Université d'Orléans