Events

8 January 2009

Réunion du projet ANR Parsec

Jeudi 8 janvier, 11h
Centre Commun INRIA-Microsoft Research
Batiment I, Orsay

Programme de la journée:

11h-1130h C. Hurlin Automatic parallelization based on proof rewriting
11h30-12h F. Boussinot The ANR PARTOUT project
12h-12h30 R. Amadio TBA
12h30-14h30 discussion and lunch
14h30-15h T. Rezk TBA
15h-15h30 J. Alglave The Arm and Power relaxed memory model
15h30-16h F. Dabrowski Towards a formal semantics of MIDP graphical user interfaces
16h-16h30 discussion and pause
16h30-17h00 D. Pichardie A certified data race analysis for a Java-like language
17h00-17h30 C. Hurlin Size does matter

Participants (tentative)

F. Boussinot, G. Petri, M. Dogguy, F. Zappa Nardelli, J.J. Lévy, D. Pichardie, F. Dabrowski, I. Castellani, C. Hurlin, T. Rezk, G. Boudol, T. Jensen