User Tools

Site Tools


posters

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

posters [2014/08/21 11:45]
emmanuel
posters [2014/08/29 13:12] (current)
emmanuel [Posters of Team APR]
Line 2: Line 2:
 ====== Posters of Team APR ====== ====== Posters of Team APR ======
  
-  * Mathias Bourgoin - GDR GPL 2014/05 : +  * Mathias Bourgoin - GDR GPL 2014-05 : 
     * High Performance Web-Cient Programming with SPOC ([[apr>posters/Mathias_Bourgoin--gdrgpl--0514.pdf|PDF]])     * High Performance Web-Cient Programming with SPOC ([[apr>posters/Mathias_Bourgoin--gdrgpl--0514.pdf|PDF]])
-  * Etienne Millon - GDR GPL 2014/05 : +  * Etienne Millon - GDR GPL 2014-05 : 
     * Verify the Safety of User Pointers Using Static Typing ([[apr>posters/Etienne_Millon--gdrgpl--0514.pdf|PDF]])     * Verify the Safety of User Pointers Using Static Typing ([[apr>posters/Etienne_Millon--gdrgpl--0514.pdf|PDF]])
-  * Philippe Wang - AERES LIP6 2013/01 : +  * Jérémie Salvucci - GDR GPL 2013-04 : 
 +    * Memory Consumption Analysis ([[apr>posters/Jeremie_Salvucci--gdrgpl--0413.pdf|PDF]]) 
 +  * Philippe Wang - AERES LIP6 2013-01 : 
     * Safety-critical Software Development Tools Implementation Using an Applicative Language ([[apr>posters/Philippe_Wang--aereslip6--0113.pdf|PDF]])     * Safety-critical Software Development Tools Implementation Using an Applicative Language ([[apr>posters/Philippe_Wang--aereslip6--0113.pdf|PDF]])
 +
 +
posters.txt · Last modified: 2014/08/29 13:12 by emmanuel