LTP 2013, Bordeaux, le 18 novembre 2013

Les transparents des exposés

• Benedikt Ahrens
  Modules over monads for operational semantics
  article associé
  
  
• Mounir Assaf
  Program Transformation for Non-interference Verification on Programs with Pointers
  lien vers le papier correspondant
  
  
• Martin Clochard
  Vérification de programmes avec lieurs
  
  
• David Delahaye
  Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo
  Voir aussi les deux papiers suivants
  Ici
  et là
  
  
• Delphine Demange
  A Verified Information-Flow Architecture for SAFE
  Lien vers le papier correspondant
  
  
• Jean-François Dufourd,
  Certification des hypercartes combinatoires
  
  
• Léon Gondelman,
  The Spirit of Ghost Code
  
  
• Alain Mebsout,
  Model-checking paramétré :Invariants et certification
  Lien vers le papier correspondant
  
  
• Thomas Pinsard,
  Nested Atomic Sections
  
  
• Lionel Rieg
  L'interprétation calculatoire du forcing en logique classique
  Lien vers le papier correspondant
  
  
• Eugenia Sironi
  Type Theory in Ludics
  
  
• Régis Spadotti
  Coinduction and rational trees

Liste des participants

Le programme