Activities

Activities per year 2005 2023 2024 2024

• 3 Project follow-up meeting
• 3 Participation in workshop, seminar, course
• 1 Participation in conference
• 1 Involvement in school activities
• 2 More
  • 1 Other
  • 1 Oral presentation

Activities per year

Search results

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

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

  23 Oct 2018

  Activity: Talk or presentation types › Oral presentation