ER 04 (2011) : Separation logics and applications

Cette école de recherche se déroulera durant la semaine 31 janvier – 4 février 2011. Les cours de cette école seront dispensés en anglais.

Intervenants:

Voir la version anglaise de cette page pour un descriptif du cours, et des informations à jour (remarque importante: les cours seront dispensés en anglais).

Responsable local: Daniel Hirschkoff (LIP), avec l’aide bienveillante d’Etienne Lozes (LSV).

2 comments to ER 04 (2011) : Separation logics and applications