Activités par an
Activités
- 3 résultats
Résultats de recherche
-
FOCUS Research Seminar
Wim Vanhoof (Organisateur), Jean-Marie Jacquet (Organisateur), Manel Barkallah (Membre du Comité d'Organisation), Gonzague Yernaux (Membre du Comité d'Organisation), Pierre-Yves Schobbens (Membre du Comité d'Organisation), James Jerson Ortiz Vega (Membre du Comité d'Organisation), Moussa Amrani (Membre du Comité d'Organisation), Isabelle Linden (Membre du Comité d'Organisation) & Christian Colot (Membre du Comité d'Organisation)
6 déc. 2019Activité: Types de Participation ou d'organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems
Manel Barkallah (Orateur), Jean-Marie Jacquet (Orateur) & Isabelle Linden (Orateur)
23 oct. 2018Activité: Types de discours ou de présentation › Présentation orale
-
International Conference on Coordination Models and Languages
Jean-Marie Jacquet (Organisateur)
20 avr. 2005 → 23 avr. 2005Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès