Sites Inria

Conférence internationale

13/07/2011

Symposium sur la logique et l'analyse de programme

Place Stanislas à Nancy

Dans le cadre du 14e congrès CLMPS (Congress of Logic, Methodology and Philosophy of Science) prévu entre le 19 et le 26 juillet à la Faculté de Droit de Nancy, Véronique Cortier, équipe CASSIS, organise un symposium intitulé "Analyzing programs : logic to the rescue" le vendredi 22 juillet. 

Programme de la journée

  • 10h15-11h05 : Moshe Vardi : « From Philosophical to Industrial Logics »
  • 11h05-11h55 : Gilles Dowe k : « From universality to interoperability »
  • 11h55-12h45 : Gérard Berry  : « Logic and Digital Circuits: from Theory to Practice »
  • 14h15-15h05 : Pierre Wolper  : « Logic without formulas: automata as a computational notation »
  • 15h05-15h55 : Pierre Lescanne  : « Coinduction, Equilibrium and Rationality of Escalation »
  • 15h55-16h45 : Philippe Schnoebelen  : "« What’s the craze with model checking?!  »

Mots-clés : Analyse de programme Logique

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !