Activités

Activités par an 2005 2023 2024 2024

• 3 Réunion de suivi de projet
• 3 Participation à un atelier/workshop, un séminaire, un cours
• 1 Participation à une conférence, un congrès
• 1 Interventions dans des écoles
• 2 Afficher plus d’informations
  • 1 Autre
  • 1 Présentation orale

Activités par an

Résultats de recherche

• Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems

  Barkallah, M. (Orateur), Jacquet, J.-M. (Orateur) & Linden, I. (Orateur)

  23 oct. 2018

  Activité: Discours ou présentation › Présentation orale