Changes between Version 22 and Version 23 of WikiStart


Ignore:
Timestamp:
Feb 24, 2016, 10:44:31 AM (2 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v22 v23  
    4949=== Tutorials === 
    5050 
     51* Frédéric Loulergue, [http://www.acm.org/conferences/sac/sac2016/tutorials.html Development of Correct-by-Construction Functional Parallel Programs], Tutorial, ACM Symposium on Applied Computing, Pisa, Italy, April 2016 
    5152* Frédéric Loulergue, Wadoud Bousdira, and Julien Tesson. Calcul de programmes parallèles avec Coq, [http://www.univ-orleans.fr/lifo/evenements/EJCIM2015/ Ecole des Jeunes Chercheur/se/s en Informatique Mathématique], Orléans, France, April 2015. 
    5253* Frédéric Loulergue and Julien Tesson,  Certified Parallel Program Calculation in Coq, [http://hpcs2014.cisedu.info/4-program/tutorials HPCS], Bologna, Italy, July 2014