Changes between Version 6 and Version 7 of FraDeCoPP-2


Ignore:
Timestamp:
Nov 20, 2012, 9:08:30 AM (6 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • FraDeCoPP-2

    v6 v7  
    4242While we are interested in seeing such works applied to parallel programs, works on sequential programs will be considered with a great interest. 
    4343 
    44  
    45 == Topics of interest ==  
    46 include but are not limited to: 
     44Topics of interest include but are not limited to: 
    4745 
    4846* Formal framework for: 
    … …  
    5149 * "Hoare logic" style proofs of  programs  
    5250 * programs analysis 
     51* Experience feedback on the development of "formally proved correct" programs 
    5352 
    54 * Experience feedback on the development of "formally proved correct" programs 
     53== Organizers == 
     54 
     55* Frédéric Loulergue, Université d'Orléans 
     56* Julien Tesson, Université Paris-Est