JFLAs 2013

Articles acceptés

Claude Marché and Asma Tafat.
  Calcul de plus faible précondition, revisité en Why3
Sylvain Conchon, Alain Mebsout and Fatiha Zaidi.
  Vérification de systèmes paramétrés avec Cubicle
Pierre-Evariste Dagand and Conor McBride.
  Elaborating Inductive Definitions
Guillaume Cano and Maxime Dénès.
  Matrices à blocs et en forme canonique
Jean-Christophe Filliatre and Rémy El Sibaïe.
  combine : une bibliothèque OCaml pour la combinatoire
Martin Bodin and Alan Schmitt.
  A Certified JavaScript Interpreter
Nicolas Tabareau, Éric Tanter and Ismael Figueroa.
  Anti-Unification with Type Classes
Allyx Fontaine and Akka Zemmari.
  Une Analyse Formelle en Coq d'un Algorithme Distribué Probabiliste résolvant le Problème du Rendez-Vous
Michel Mauny and Benoit Vaugon.
  OCamlCC -- Traduire OCaml en C en passant par le bytecode
Pierre-Marie Pédrot.
  Un régime au concentré d'automate
Louis Mandel and Cédric Pasteur.
  Réactivité des systèmes coopératifs : le cas de ReactiveML
Christophe Deleuze.
  Concurrence légère en OCaml : muthreads
Tom Gundersen, Willem Heijltjes and Michel Parigot.
  Un lambda-calcul atomique
Michele Alberti.
  Normal Forms for the Algebraic Lambda-Calculus

Exposés courts

Pierre Castéran, Vincent Filou and Allyx Fontaine.
  Formalisation en Coq des systèmes de calculs locaux
Carle Patrice, Christine Choppy, Romain Cyril Kervarc and Ariane Piel.
  Behaviour recognition for complex systems

NB: le classement correspond à l'ordre de dépot sur easychair, il n'est pas significatif.