If you made any changes in Pure these will be visible here soon.


  • 1 Participation in conference
  • 1 Participation in workshop, seminar, course
  • 1 Oral presentation
Oral presentation

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

Manel Barkallah (Speaker), , Jean-Marie Jacquet (Speaker), & Isabelle Linden (Speaker)

23 Oct 2018

Activity: Talk or presentation typesOral presentation