*********************************************************************
*                       Ecole Normale Supe'rieure                   *
*                                                                   *
*                              Se'minaire                           *
*                SEMANTIQUE ET INTERPRETATION ABSTRAITE             *
*                              P. Cousot                            *
*                                                                   *
*                        Vendredi, 14h00--15h30                     *
*                           Salle S16, etage -1                     *
*                  DI  ENS  45 rue d'Ulm  75005 Paris               *
*********************************************************************

***  Vendredi 8 juin 2007, 14h00-15h00 *****************************

Elham Kashefi (Oxford University Computing Laboratory)

Formalising Physical Computations                                       
                                                                               
Abstract: Measurement-based quantum computation (MQC) has emerged from the     
physics community as a new approach to quantum computation where the notion    
of measurement is the main driving force of computation.  This is in           
contrast with the more traditional circuit model which is based on unitary     
operations. I present a rigorous mathematical model underlying the MQC and     
a concrete syntax and operational semantics for programs, called patterns,     
and an algebra of these patterns derived from a denotational semantics.        
More importantly, I introduce a calculus for reasoning locally and             
compositionally about these patterns together with a rewrite theory with a     
general standardization theorem which allows all patterns to be put in a       
semantically equivalent standard form. Finally I describe the notion of        
information flow which fully characterizes the determinism structure in the    
MQC models.                                                                    

*********************************************************************
Pour recevoir l'annonce par courrier electronique envoyer un email a
P. Cousot
*********************************************************************