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

  Gonzague Yernaux (Participant) & Wim VANHOOF (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

  Wim VANHOOF (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

  GONZAGUE YERNAUX (Participant), LAURENT SCHUMACHER (Participant) & Wim VANHOOF (Participant)

  8 Sept 2020 → 10 Sept 2020

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

• 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 types › Participation in workshop, seminar, course

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

  Wim Vanhoof (Contributor)

  7 Oct 2019 → 9 Oct 2019

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

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

  Gonzague Yernaux (Participant) & Wim Vanhoof (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

  Gonzague Yernaux (Speaker) & Wim Vanhoof (Speaker)

  9 Oct 2019

  Activity: Talk or presentation types › Oral presentation

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

  Wim Vanhoof (Speaker)

  8 Oct 2019

  Activity: Talk or presentation types › Invited talk

• Databases en het drie lagen model

  Wim Vanhoof (Speaker)

  13 Dec 2016

  Activity: Talk or presentation types › Oral presentation

• Informatiesystemen

  Wim Vanhoof (Speaker)

  14 Dec 2016

  Activity: Talk or presentation types › Oral presentation

• University of Reunion Island, France

  Wim Vanhoof (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

  Wim Vanhoof (Speaker)

  7 Sept 2016

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

• Formal Aspects of Computing (Journal)

  Wim Vanhoof (Peer reviewer)

  1 Apr 2016 → 1 Jun 2016

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

• University of Reunion Island, France

  Wim Vanhoof (Visiting researcher)

  25 Jan 2016 → 29 Jan 2016

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

• Clone detection in logic programs: awards a semantical approach

  Wim Vanhoof (Speaker)

  28 Jan 2016

  Activity: Talk or presentation types › Invited talk

• Formal Aspects of Computing (Journal)

  Wim Vanhoof (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)

  Wim Vanhoof (Member)

  10 Sept 2014 → 11 Sept 2014

  Activity: Membership types › Membership of committee

• Automatic parallelisation for Mercury

  Wim Vanhoof (Jury Member)

  1 Mar 2013 → 15 Mar 2013

  Activity: Examinations › External Thesis

• PEPM 2013

  Wim Vanhoof (Participant)

  20 Jan 2013 → 22 Jan 2013

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

• POPL 2013 (Principles of Programming Languages)

  Wim Vanhoof (Participant)

  23 Jan 2013 → 26 Jan 2013

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

• PC Chair WLPE 2012

  Wim Vanhoof (Organiser)

  1 Jan 2012 → 31 Dec 2012

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

• PC Member ICLP 2010

  Wim Vanhoof (Organiser)

  1 Jan 2010 → 31 Dec 2010

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

• PC Member WLPE 2010

  Wim Vanhoof (Organiser)

  1 Jan 2010 → 31 Dec 2010

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

• PC Member PEPM 2009

  Wim Vanhoof (Organiser)

  1 Jan 2009 → 31 Dec 2009

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

• PC Member LOPSTR 2009

  Wim Vanhoof (Organiser)

  1 Jan 2009 → 31 Dec 2009

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

• PC Member ICLP 2009

  Wim Vanhoof (Organiser)

  1 Jan 2009 → 31 Dec 2009

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

• PC Member LOPSTR 2008

  Wim Vanhoof (Contributor)

  1 Jan 2008 → 31 Dec 2008

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

• PC Member WLPE 2008

  Wim Vanhoof (Organiser)

  1 Jan 2008 → 31 Dec 2008

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

• International Conference on Logic Programming (ICLP 2007)

  Wim Vanhoof (Participant)

  8 Sept 2007 → 13 Sept 2007

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

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

  Wim Vanhoof (Organiser)

  13 Sept 2007

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

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

  Wim Vanhoof (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

  Wim Vanhoof (Contributor)

  23 Mar 2007

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

• PC Member LOPSTR 2007

  Wim Vanhoof (Contributor)

  1 Jan 2007 → 31 Dec 2007

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

• PC Member WLPE 2007

  Wim Vanhoof (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)

  Wim Vanhoof (Organiser)

  5 Oct 2006 → 6 Oct 2006

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

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

  Wim Vanhoof (Organiser)

  16 Aug 2006

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

• International Conference on Logic Programming (ICLP 2006)

  Wim Vanhoof (Participant)

  14 Aug 2006 → 16 Aug 2006

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

• Dynamic Languages Day

  Wim Vanhoof (Participant)

  13 Feb 2006

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

• PC Member LOPSTR 2006

  Wim Vanhoof (Contributor)

  1 Jan 2006 → 31 Dec 2006

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

• PC Member BNAIC 2006

  Wim Vanhoof (Contributor)

  1 Jan 2006 → 31 Dec 2006

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

• PC Member WLPE 2006

  Wim Vanhoof (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

  Wim Vanhoof (Participant)

  24 Nov 2005

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

• L'analyse de terminaison des programmes logiques

  Wim Vanhoof (Contributor)

  14 Mar 2005

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

• Searching semantically equivalent code fragments in logic programs

  Wim Vanhoof (Contributor)

  22 Mar 2005

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

• PC Member WLPE 2005

  Wim Vanhoof (Contributor)

  1 Jan 2005 → 31 Dec 2005

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

• PC Member LOPSTR 2005

  Wim Vanhoof (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)

  Wim Vanhoof (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)

  Wim Vanhoof (Contributor)

  26 Aug 2004 → 28 Aug 2004

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

• One Day Workshop on Program Analysis

  Wim Vanhoof (Contributor)

  4 May 2004

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

• PC Member LOPSTR 2004

  Wim Vanhoof (Contributor)

  1 Jan 2004 → 31 Dec 2004

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