Changes between Version 8 and Version 9 of workshop


Ignore:
Timestamp:
Jun 10, 2014, 4:10:28 PM (4 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • workshop

    v8 v9  
    4545==== Session: Verified compilation (15h30-18h10) ==== 
    4646 
    47 * 15h30-16h30: '''Invited Speaker''' 
     47* 15h30-16h30: ''Invited Speaker'' Francesco Zappa Nardelli, '''Languages definitions and verified compilation for shared memory concurrency''' 
    4848 
    4949* 16h30-16h50: '''Coffee Break'''