Changes between Version 9 and Version 10 of FraDeCoPP-2

Timestamp:

Nov 23, 2012, 8:04:00 PM (6 years ago)

Author:

frederic.loulergue@…

Comment:

--

FraDeCoPP-2

@@ -23 +23 @@
 * 15h45-16h30 Frédéric Loulergue (LIFO, Université d'Orléans), '''Towards a Verified GTA Library'''[[BR]]Joint work in progress with Kento Emoto, Julien Tesson, Frédéric Dabrowski.
 
-* 16h30-17h15 Frédéric Gava (LACL, Université Paris-Est), '''TBA'''
+* 16h30-16h45 '''Pause / Coffee Break''' 
+
+* 16h45-17h30 Frédéric Gava (LACL, Université Paris-Est), '''BSP, bon à toutes les sauces; Application to Functional Programming, Mechanised Verification and Security Protocols'''
+
+* 17h30-18h00 '''Conclusion'''
 
 == Aim and Scope ==