Du lundi 16 au jeudi 19 septembre, aura lieu la 22ème édition de la conférence internationale "Tableaux 2013 - Automated Reasoning with Analytic Tableaux and Related Methods". Cette conférence vise à rassembler les chercheurs intéressés par les différents aspects de la mécanisation du raisonnement avec la méthode des tableaux et des méthodes en lien avec celle-ci.
La conférence Tableaux 2013 est ouverte aux applications des méthodes formelles fondées sur la déduction automatique ou semi-automatique à des exemples de taille réelle, par exemple dans les domaines suivants : vérification de logiciels et de hardware, ingénierie de la connaissance, web sémantique.
Les méthodes de tableaux offrent un ensemble de formalismes pour la déduction automatique dans diverses logiques classiques et non classiques.
Les sujets d'intérêt incluent notamment :
- Théorie de la démonstration en logiques classiques et non classiques (modales, temporelles, description, intuitionniste, linéaire, séparation, sous-structurelles,...)
- Tableaux pour ces logiques (théorie et applications)
- Concepts et techniques en relation : vérification de modèles et BDD.
- Méthodes en relation : élimination de modèles, calcul des séquents, méthode des connexions, résolution,...
- Nouveaux calculs et méthodes associées pour la démonstration et la vérification dans les logiques non classiques
- Systèmes, outils, implantations et applications (démonstrateurs, vérificateurs)
- Déduction automatique et méthodes formelles appliquées à la logique, aux mathématiques, au développement de systèmes, à la vérification de protocoles, à la sécurité,....