Conférence internationale
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 Dowek : « 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
Inria
Inria.fr
Inria Channel
En savoir plus