Sites Inria

Conférence internationale

Tableaux 2013 - Automated Reasoning with Analytic Tableaux and Related Methods

22ème édition à Nancy, 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.

"Tableaux" rassemble les chercheurs de ces domaines au niveau international.

  • Date : 16/09/2013 au 19/09/2013
  • Lieu : Inria Nancy - Grand Est
  • Organisateurs : Didier Galmiche - Dominique Larchey-Wendling

Localisation

Keywords: Méthode formelle Déduction automatique Vérification de logiciels Web séma

Haut de page

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