Sites Inria

Il y a 1 Résultats avec le mot clé : "logic"

Workshop

Workshop Dynamics in Logic III

8/06/2015

Lundi 8 juin, à partir de 9h00, se tiendra le workshop Dynamics in Logic III, au centre Inria Rennes - Bretagne Atlantique, salle Turing.

Lieu : Inria Rennes - Bretagne Atlantique, salle Turing

Intervenant(s) : Didier Dubois (CNRS Toulouse), Giuseppe Greco et Alessandra Palmigiano (TU Delft, Netherland), Andreas Herzig (CNRS, Toulouse), Ondrej Maier (Charles University, Prague), Nicola Olivetti (Université d'Aix-Marseille), Olivier Roy (University of Bayreuth, Germany), Guillaume Aucher (Université Rennes 1 - Inria, Rennes)

Mots-clés :

Accueil > Centre > Rennes > Agenda > Workshop Dynamics in Logic III

lire la suite

Haut de page

Suivez Inria