Sites Inria

Conférence Internationale

Conférence internationale FroCos - Frontiers of Combining Systems

FroCoS s'intéresse plus particulièrement à la logique, le calcul, le développement de programmes, la vérification, l'intelligence artificielle et le raisonnement automatique. Ces domaines utilisent les formalismes et des mécanismes d'inférence dédiés à des tâches spécifiques.

A noter, les conférences FroCoS et Tableaux, se suivent et sont co-localisées à Nancy.

  • Date : 18/09/2013 au 20/09/2013
  • Lieu : Inria Nancy - Grand Est

Localisation

Mots-clés : Formalismes Mécanismes d'inférence Le calcul Développement de programmes Raisonnement automatique. Logique Vérification Intelligence artificielle

Haut de page

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