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

Activities

Filter
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