10:45 à 11:30
      
      Colloque
      
            Machines abstraites, vérification formelle et biochimie cellulaire
      
                    François Fages
      10:45 à 11:30
      
            