Vous pouvez vous abonner à nos annonces de séminaires
		    http://gallium.inria.fr/seminaires/

			     S E M I N A I R E
			   __                                  
			  / _`  _   /  /  o           
			 /   ) __) /  /  / /  / /\/| 
			(___/ (_/ (_ (_ / (__/ /   |  
                                                
			     I N R I A - Paris
                 2 rue Simone Iff (ou: 41 rue du Charolais)
                          Salle Lions 2, bâtiment C

                           VENDREDI 25 mars, 10h30

                               ---------------
                               Simon Castellan
                               ---------------

                                   ENS Lyon

                  =========================================
                  Weak memory models using event structures
                  =========================================

In this talk, I will start by quickly introducing the problem of weak memory
models: giving semantics to a simple concurrent programming language that
takes into account out-of-order executions and caching mechanisms.

I will then present a new model based on event structures (denotations are
small) which is denotational (ie. the semantics will be compositional) and
based on game semantics (the semantics scales to higher-order, control, ...).

No knowledge of game semantics will be assumed.