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

• Computer Science Logic 2022

  Yernaux, G. (Participant) & VANHOOF, W. (Participant)

  14 Feb 2022 → 19 Feb 2022

  Activity: Participating in or organising an event types › Participation in conference

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

  VANHOOF, W. (Co-chairman)

  7 Sept 2021

  Activity: Participating in or organising an event types › Participation in conference

• 22nd International Symposium on Principles and Practice of Declarative Programming

  YERNAUX, G. (Participant), SCHUMACHER, L. (Participant) & VANHOOF, W. (Participant)

  8 Sept 2020 → 10 Sept 2020

  Activity: Participating in or organising an event types › Participation in conference

• FOCUS Research Seminar

  Vanhoof, W. (Organiser), Jacquet, J.-M. (Organiser), Barkallah, M. (Member of Organizing Committee), Yernaux, G. (Member of Organizing Committee), Schobbens, P.-Y. (Member of Organizing Committee), Ortiz Vega, J. J. (Member of Organizing Committee), Amrani, M. (Member of Organizing Committee), Linden, I. (Member of Organizing Committee) & Colot, C. (Member of Organizing Committee)

  6 Dec 2019

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• 29th International Symposium on Logic-Based Program Synthesis and Transformation

  Yernaux, G. (Participant) & Vanhoof, W. (Participant)

  8 Oct 2019 → 10 Oct 2019

  Activity: Participating in or organising an event types › Participation in conference

• Generalization-driven semantic clone detection in CLP

  Yernaux, G. (Speaker) & Vanhoof, W. (Speaker)

  9 Oct 2019

  Activity: Talk or presentation types › Oral presentation

• 29th International Symposium on Logic-Based Program Synthesis and Transformation

  Vanhoof, W. (Contributor)

  7 Oct 2019 → 9 Oct 2019

  Activity: Participating in or organising an event types › Participation in conference

• On an old (and possibly still unsolved?) problem in program specialization

  Vanhoof, W. (Speaker)

  8 Oct 2019

  Activity: Talk or presentation types › Invited talk

• Databases en het drie lagen model

  Vanhoof, W. (Speaker)

  13 Dec 2016

  Activity: Talk or presentation types › Oral presentation

• Informatiesystemen

  Vanhoof, W. (Speaker)

  14 Dec 2016

  Activity: Talk or presentation types › Oral presentation

• University of Reunion Island, France

  Vanhoof, W. (Visiting researcher)

  20 Nov 2016 → 25 Nov 2016

  Activity: Visiting an external institution types › Visiting an external academic institution

• Principles and Practice of Declarative Programming

  Vanhoof, W. (Speaker)

  7 Sept 2016

  Activity: Participating in or organising an event types › Participation in conference

• Formal Aspects of Computing (Journal)

  Vanhoof, W. (Peer reviewer)

  1 Apr 2016 → 1 Jun 2016

  Activity: Publication peer-review and editorial work types › Publication peer-review

• Clone detection in logic programs: awards a semantical approach

  Vanhoof, W. (Speaker)

  28 Jan 2016

  Activity: Talk or presentation types › Invited talk

• University of Reunion Island, France

  Vanhoof, W. (Visiting researcher)

  25 Jan 2016 → 29 Jan 2016

  Activity: Visiting an external institution types › Visiting an external academic institution

• Formal Aspects of Computing (Journal)

  Vanhoof, W. (Peer reviewer)

  1 Nov 2015 → 31 Dec 2015

  Activity: Publication peer-review and editorial work types › Publication peer-review

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

  Vanhoof, W. (Member)

  10 Sept 2014 → 11 Sept 2014

  Activity: Membership types › Membership of committee

• Automatic parallelisation for Mercury

  Vanhoof, W. (Jury Member)

  1 Mar 2013 → 15 Mar 2013

  Activity: Examinations › External Thesis

• POPL 2013 (Principles of Programming Languages)

  Vanhoof, W. (Participant)

  23 Jan 2013 → 26 Jan 2013

  Activity: Participating in or organising an event types › Participation in conference

• PEPM 2013

  Vanhoof, W. (Participant)

  20 Jan 2013 → 22 Jan 2013

  Activity: Participating in or organising an event types › Participation in conference

• PC Chair WLPE 2012

  Vanhoof, W. (Organiser)

  1 Jan 2012 → 31 Dec 2012

  Activity: Participating in or organising an event types › Participation in conference

• PC Member ICLP 2010

  Vanhoof, W. (Organiser)

  1 Jan 2010 → 31 Dec 2010

  Activity: Participating in or organising an event types › Participation in conference

• PC Member WLPE 2010

  Vanhoof, W. (Organiser)

  1 Jan 2010 → 31 Dec 2010

  Activity: Participating in or organising an event types › Participation in conference

• PC Member LOPSTR 2009

  Vanhoof, W. (Organiser)

  1 Jan 2009 → 31 Dec 2009

  Activity: Participating in or organising an event types › Participation in conference

• PC Member PEPM 2009

  Vanhoof, W. (Organiser)

  1 Jan 2009 → 31 Dec 2009

  Activity: Participating in or organising an event types › Participation in conference

• PC Member ICLP 2009

  Vanhoof, W. (Organiser)

  1 Jan 2009 → 31 Dec 2009

  Activity: Participating in or organising an event types › Participation in conference

• PC Member WLPE 2008

  Vanhoof, W. (Organiser)

  1 Jan 2008 → 31 Dec 2008

  Activity: Participating in or organising an event types › Participation in conference

• PC Member LOPSTR 2008

  Vanhoof, W. (Contributor)

  1 Jan 2008 → 31 Dec 2008

  Activity: Participating in or organising an event types › Participation in conference

• Workshop on Logic-based Programming Environments (WLPE 2007)

  Vanhoof, W. (Organiser)

  13 Sept 2007

  Activity: Participating in or organising an event types › Participation in conference

• International Conference on Logic Programming (ICLP 2007)

  Vanhoof, W. (Participant)

  8 Sept 2007 → 13 Sept 2007

  Activity: Participating in or organising an event types › Participation in conference

• Logic-based program synthesis and transformation (LOPSTR 2007)

  Vanhoof, W. (Contributor)

  23 Aug 2007 → 24 Aug 2007

  Activity: Participating in or organising an event types › Participation in conference

• VVSS - European Symposium on Verification and Validation of Software Systems

  Vanhoof, W. (Contributor)

  23 Mar 2007

  Activity: Participating in or organising an event types › Participation in conference

• PC Member LOPSTR 2007

  Vanhoof, W. (Contributor)

  1 Jan 2007 → 31 Dec 2007

  Activity: Participating in or organising an event types › Participation in conference

• PC Member WLPE 2007

  Vanhoof, W. (Contributor)

  1 Jan 2007 → 31 Dec 2007

  Activity: Participating in or organising an event types › Participation in conference

• Belgium Dutch Conference on Artificial Intelligence (BNAIC)

  Vanhoof, W. (Organiser)

  5 Oct 2006 → 6 Oct 2006

  Activity: Participating in or organising an event types › Participation in conference

• International Conference on Logic Programming (ICLP 2006)

  Vanhoof, W. (Participant)

  14 Aug 2006 → 16 Aug 2006

  Activity: Participating in or organising an event types › Participation in conference

• Workshop on Logic-based Methods in Programming Environments (WLPE 2006)

  Vanhoof, W. (Organiser)

  16 Aug 2006

  Activity: Participating in or organising an event types › Participation in conference

• Dynamic Languages Day

  Vanhoof, W. (Participant)

  13 Feb 2006

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• PC Member BNAIC 2006

  Vanhoof, W. (Contributor)

  1 Jan 2006 → 31 Dec 2006

  Activity: Participating in or organising an event types › Participation in conference

• PC Member WLPE 2006

  Vanhoof, W. (Contributor)

  1 Jan 2006 → 31 Dec 2006

  Activity: Participating in or organising an event types › Participation in conference

• PC Member LOPSTR 2006

  Vanhoof, W. (Contributor)

  1 Jan 2006 → 31 Dec 2006

  Activity: Participating in or organising an event types › Participation in conference

• VVSS - European Symposium on Verification and Validation of Software Systems and Testing

  Vanhoof, W. (Participant)

  24 Nov 2005

  Activity: Participating in or organising an event types › Participation in conference

• Searching semantically equivalent code fragments in logic programs

  Vanhoof, W. (Contributor)

  22 Mar 2005

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• L'analyse de terminaison des programmes logiques

  Vanhoof, W. (Contributor)

  14 Mar 2005

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• PC Member WLPE 2005

  Vanhoof, W. (Contributor)

  1 Jan 2005 → 31 Dec 2005

  Activity: Participating in or organising an event types › Participation in conference

• PC Member LOPSTR 2005

  Vanhoof, W. (Participant)

  1 Jan 2005 → 31 Dec 2005

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• Logic-based Program Synthesis and Transformation (LOPSTR)

  Vanhoof, W. (Contributor)

  26 Aug 2004 → 28 Aug 2004

  Activity: Participating in or organising an event types › Participation in conference

• Logic-based Program Synthesis and Transformation (LOPSTR)

  Vanhoof, W. (Contributor)

  26 Aug 2004 → 28 Aug 2004

  Activity: Participating in or organising an event types › Participation in conference

• One Day Workshop on Program Analysis

  Vanhoof, W. (Contributor)

  4 May 2004

  Activity: Participating in or organising an event types › Participation in conference

• PC Member LOPSTR 2004

  Vanhoof, W. (Contributor)

  1 Jan 2004 → 31 Dec 2004

  Activity: Participating in or organising an event types › Participation in conference