Activités

Activités par an 1997 1997 1998 1999 2003 2004 2005 2006 2007 2016 2019 2022

• 60 Participation à une conférence, un congrès
• 5 Participation à un atelier/workshop, un séminaire, un cours
• 3 Présentation orale
• 2 Examen en tant que pair de publications
• 6 Afficher plus d’informations
  • 2 Discours invité
  • 2 Visite à une institution académique externe
  • 1 Thèse externe
  • 1 Membre d'un comité

Activités par an

Résultats de recherche

• Logic-based Program Synthesis and Transformation (LOPSTR) (Evénement)

  Vanhoof, W. (Membre)

  10 sept. 2014 → 11 sept. 2014

  Activité: Affiliations › Membre d'un comité