Changes between Version 2 and Version 3 of FraDeCoPP-3


Ignore:
Timestamp:
Jun 4, 2013, 7:23:00 AM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • FraDeCoPP-3

    v2 v3  
    99== Tentative Program == 
    1010 
     11* 10h15-10h30 '''Accueil et introduction / Welcome and Introduction''' 
     12 
     13* 10h30-11h15  
     14 
     15* 11h15-12h00  
     16 
     17* 12h00-14h00 '''Déjeuner / Lunch (Restaurant l'Agora)'''  
     18 
     19* 14h00-14h45 
     20 
     21* 14h45-15h30  
     22 
     23* 15h30-16h00 '''Pause / Coffee Break''' 
     24 
     25* 16h00-16h45  
     26 
     27* 16h45-17h30  
     28 
     29* 17h30-18h00 '''Conclusion''' 
     30 
     31==  Aim and Scope == 
    1132 
    1233The trend is towards the increase of cores in processors, the number of processors and the need for scalable computing everywhere. But parallel program design and implementation is a complex, error prone task.  Thus there is a need for methods to verify parallel programs or insure their correctness by constructive methods. 
    … …  
    3152* Experience feedback on the development of "formally proved correct" programs 
    3253 
    33 == Organizers == 
     54== Organizer == 
    3455 
    3556* Frédéric Loulergue, Université d'Orléans 
    36 * Thomas Pinsard, Université d'Orléans 
    37 * Julien Tesson, Université Paris-Est 
    3857 
    3958== Past Worshops ==