Activities

Activities per year 1997 1997 1998 1999 2003 2004 2005 2006 2007 2016 2019 2022

• 60 Participation in conference
• 5 Participation in workshop, seminar, course
• 3 Oral presentation
• 2 Publication peer-review
• 6 More
  • 2 Invited talk
  • 2 Visiting an external academic institution
  • 1 External Thesis
  • 1 Membership of committee

Activities per year

Search results

• Logic-based Program Synthesis and Transformation (LOPSTR) (Event)

  Vanhoof, W. (Member)

  10 Sept 2014 → 11 Sept 2014

  Activity: Membership types › Membership of committee