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

Activities

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

FOCUS Research Seminar

Wim Vanhoof (Organiser), , Jean-Marie Jacquet (Organiser), , Manel Barkallah (Member of Organizing Committee), , Gonzague Yernaux (Member of Organizing Committee), , Pierre-Yves Schobbens (Member of Organizing Committee), , James Jerson Ortiz Vega (Member of Organizing Committee), , Moussa Amrani (Member of Organizing Committee), , Isabelle Linden (Member of Organizing Committee), & Christian Colot (Member of Organizing Committee)

6 Dec 2019

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

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

International Conference on Coordination Models and Languages

Jean-Marie Jacquet (Organiser)

20 Apr 200523 Apr 2005

Activity: Participating in or organising an event typesParticipation in conference