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

• 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

• 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

• Principles and Practice of Declarative Programming

  Vanhoof, W. (Speaker)

  7 Sept 2016

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

• 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 PEPM 2009

  Vanhoof, W. (Organiser)

  1 Jan 2009 → 31 Dec 2009

  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 ICLP 2009

  Vanhoof, W. (Organiser)

  1 Jan 2009 → 31 Dec 2009

  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

• PC Member WLPE 2008

  Vanhoof, W. (Organiser)

  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

• 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

• 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

• PC Member LOPSTR 2006

  Vanhoof, W. (Contributor)

  1 Jan 2006 → 31 Dec 2006

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

• 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

• 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

• PC Member WLPE 2005

  Vanhoof, W. (Contributor)

  1 Jan 2005 → 31 Dec 2005

  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

• 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

• Termination Day: logic programming meets rewriting

  Vanhoof, W. (Contributor)

  3 Nov 2003

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

• International Symposium on Logic-based Program Synthesis and Transformation

  Vanhoof, W. (Participant)

  25 Aug 2003 → 27 Aug 2003

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

• Principles and Practice of Declarative Programming

  Vanhoof, W. (Participant)

  27 Aug 2003 → 29 Aug 2003

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

• PC Member LOPSTR 2003

  Vanhoof, W. (Contributor)

  1 Jan 2003 → 31 Dec 2003

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

• Logic-based Program Synthesis and Transformation

  Vanhoof, W. (Contributor)

  17 Sept 2002 → 20 Sept 2002

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

• Static Analysis Symposium

  Vanhoof, W. (Contributor)

  17 Sept 2002 → 20 Sept 2002

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

• International Symposium on New Trends in Compiler Technology

  Vanhoof, W. (Participant)

  7 Mar 2002

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

• Logic for Programming, Artificial Intelligence, and Reasoning, 8th international Conference

  Vanhoof, W. (Contributor)

  3 Dec 2001 → 8 Dec 2001

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

• FNRS Meeting on Verification and Validation

  Vanhoof, W. (Participant)

  6 Jun 2001

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

• International Workshop on Termination (WST'01a

  Vanhoof, W. (Contributor)

  20 May 2001 → 21 May 2001

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

• Logic for Programming and Automated Reasoning (LPAR)

  Vanhoof, W. (Contributor)

  6 Nov 2000 → 10 Nov 2000

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

• Benelux Workshop on Computational Logic (BenCL)

  Vanhoof, W. (Participant)

  15 May 2000 → 16 May 2000

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

• International Workshop on Implementation and Optimization of Declarative Languages

  Vanhoof, W. (Contributor)

  2 Dec 1999 → 3 Dec 1999

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

• 16'th Inernational Conference on Logic Programming (ICLP)

  Vanhoof, W. (Contributor)

  29 Nov 1999 → 4 Dec 1999

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

• Eleventh Benelux Workshop on Logic Programming (Benelog)

  Vanhoof, W. (Contributor)

  5 Nov 1999

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

• Static Analysis Symposium

  Vanhoof, W. (Participant)

  22 Sept 1999 → 24 Sept 1999

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