Activities per year
Activities
- 1 - 50 out of 76 results
Search results
-
Workshop on Specialization of Declarative Languages and its Applications
Wim Vanhoof (Contributor)
17 Oct 1997Activity: Participating in or organising an event types › Participation in conference
-
Workshop on Logic-based Programming Environments (WLPE 2007)
Wim Vanhoof (Organiser)
13 Sept 2007Activity: 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 2006Activity: 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 2005Activity: 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 2007Activity: Participating in or organising an event types › Participation in conference
-
University of Reunion Island, France
Wim Vanhoof (Visiting researcher)
25 Jan 2016 → 29 Jan 2016Activity: Visiting an external institution types › Visiting an external academic institution
-
University of Reunion Island, France
Wim Vanhoof (Visiting researcher)
20 Nov 2016 → 25 Nov 2016Activity: Visiting an external institution types › Visiting an external academic institution
-
Termination Day: logic programming meets rewriting
Wim Vanhoof (Contributor)
3 Nov 2003Activity: Participating in or organising an event types › Participation in conference
-
Tenth Belgian/Dutch AI Conference (NAIC)
Wim Vanhoof (Contributor)
18 Nov 1998 → 19 Nov 1998Activity: Participating in or organising an event types › Participation in conference
-
Static Analysis Symposium
Wim Vanhoof (Contributor)
17 Sept 2002 → 20 Sept 2002Activity: Participating in or organising an event types › Participation in conference
-
Static Analysis Symposium
Wim Vanhoof (Participant)
14 Sept 1998 → 18 Sept 1998Activity: Participating in or organising an event types › Participation in conference
-
Static Analysis Symposium
Wim Vanhoof (Participant)
22 Sept 1999 → 24 Sept 1999Activity: Participating in or organising an event types › Participation in conference
-
Searching semantically equivalent code fragments in logic programs
Wim Vanhoof (Contributor)
22 Mar 2005Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Principles and Practice of Declarative Programming
Wim Vanhoof (Speaker)
7 Sept 2016Activity: Participating in or organising an event types › Participation in conference
-
Principles and Practice of Declarative Programming
Wim Vanhoof (Participant)
27 Aug 2003 → 29 Aug 2003Activity: Participating in or organising an event types › Participation in conference
-
POPL 2013 (Principles of Programming Languages)
Wim Vanhoof (Participant)
23 Jan 2013 → 26 Jan 2013Activity: Participating in or organising an event types › Participation in conference
-
PEPM 2013
Wim Vanhoof (Participant)
20 Jan 2013 → 22 Jan 2013Activity: Participating in or organising an event types › Participation in conference
-
PC Member WLPE 2010
Wim Vanhoof (Organiser)
1 Jan 2010 → 31 Dec 2010Activity: Participating in or organising an event types › Participation in conference
-
PC Member WLPE 2008
Wim Vanhoof (Organiser)
1 Jan 2008 → 31 Dec 2008Activity: Participating in or organising an event types › Participation in conference
-
PC Member WLPE 2007
Wim Vanhoof (Contributor)
1 Jan 2007 → 31 Dec 2007Activity: Participating in or organising an event types › Participation in conference
-
PC Member WLPE 2006
Wim Vanhoof (Contributor)
1 Jan 2006 → 31 Dec 2006Activity: Participating in or organising an event types › Participation in conference
-
PC Member WLPE 2005
Wim Vanhoof (Contributor)
1 Jan 2005 → 31 Dec 2005Activity: Participating in or organising an event types › Participation in conference
-
PC Member PEPM 2009
Wim Vanhoof (Organiser)
1 Jan 2009 → 31 Dec 2009Activity: Participating in or organising an event types › Participation in conference
-
PC Member LOPSTR 2009
Wim Vanhoof (Organiser)
1 Jan 2009 → 31 Dec 2009Activity: Participating in or organising an event types › Participation in conference
-
PC Member LOPSTR 2008
Wim Vanhoof (Contributor)
1 Jan 2008 → 31 Dec 2008Activity: Participating in or organising an event types › Participation in conference
-
PC Member LOPSTR 2007
Wim Vanhoof (Contributor)
1 Jan 2007 → 31 Dec 2007Activity: Participating in or organising an event types › Participation in conference
-
PC Member LOPSTR 2006
Wim Vanhoof (Contributor)
1 Jan 2006 → 31 Dec 2006Activity: Participating in or organising an event types › Participation in conference
-
PC Member LOPSTR 2005
Wim Vanhoof (Participant)
1 Jan 2005 → 31 Dec 2005Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
PC Member LOPSTR 2004
Wim Vanhoof (Contributor)
1 Jan 2004 → 31 Dec 2004Activity: Participating in or organising an event types › Participation in conference
-
PC Member LOPSTR 2003
Wim Vanhoof (Contributor)
1 Jan 2003 → 31 Dec 2003Activity: Participating in or organising an event types › Participation in conference
-
PC Member ICLP 2010
Wim Vanhoof (Organiser)
1 Jan 2010 → 31 Dec 2010Activity: Participating in or organising an event types › Participation in conference
-
PC Member ICLP 2009
Wim Vanhoof (Organiser)
1 Jan 2009 → 31 Dec 2009Activity: Participating in or organising an event types › Participation in conference
-
PC Member BNAIC 2006
Wim Vanhoof (Contributor)
1 Jan 2006 → 31 Dec 2006Activity: Participating in or organising an event types › Participation in conference
-
PC Chair WLPE 2012
Wim Vanhoof (Organiser)
1 Jan 2012 → 31 Dec 2012Activity: Participating in or organising an event types › Participation in conference
-
One Day Workshop on Program Analysis
Wim Vanhoof (Contributor)
4 May 2004Activity: Participating in or organising an event types › Participation in conference
-
On an old (and possibly still unsolved?) problem in program specialization
Wim Vanhoof (Speaker)
8 Oct 2019Activity: Talk or presentation types › Invited talk
-
Logic Program Synthesis and Transformation (LOPSTR)
Wim Vanhoof (Contributor)
11 Jul 1997 → 12 Jul 1997Activity: Participating in or organising an event types › Participation in conference
-
Logic for Programming and Automated Reasoning (LPAR)
Wim Vanhoof (Contributor)
6 Nov 2000 → 10 Nov 2000Activity: Participating in or organising an event types › Participation in conference
-
Logic for Programming, Artificial Intelligence, and Reasoning, 8th international Conference
Wim Vanhoof (Contributor)
3 Dec 2001 → 8 Dec 2001Activity: 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 2007Activity: Participating in or organising an event types › Participation in conference
-
Logic-based Program Synthesis and Transformation (LOPSTR) 2021
Wim VANHOOF (Co-chairman)
7 Sept 2021Activity: Participating in or organising an event types › Participation in conference
-
Logic-based Program Synthesis and Transformation (LOPSTR) (Event)
Wim Vanhoof (Member)
10 Sept 2014 → 11 Sept 2014Activity: Membership types › Membership of committee
-
Logic-based Program Synthesis and Transformation (LOPSTR)
Wim Vanhoof (Contributor)
26 Aug 2004 → 28 Aug 2004Activity: 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 2004Activity: Participating in or organising an event types › Participation in conference
-
Logic-based Program Synthesis and Transformation
Wim Vanhoof (Contributor)
17 Sept 2002 → 20 Sept 2002Activity: Participating in or organising an event types › Participation in conference
-
Logic-based Program Synthesis and Transformation
Wim Vanhoof (Contributor)
22 Sept 1999 → 24 Sept 1999Activity: Participating in or organising an event types › Participation in conference
-
Logic Based Program Synthesis and Transformation
Wim Vanhoof (Contributor)
15 Jun 1998 → 20 Jun 1998Activity: Participating in or organising an event types › Participation in conference
-
L'analyse de terminaison des programmes logiques
Wim Vanhoof (Contributor)
14 Mar 2005Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Joint International Conference and Symposium on Logic Programming
Wim Vanhoof (Contributor)
15 Jun 1998 → 20 Jun 1998Activity: Participating in or organising an event types › Participation in conference
-
International Workshop on Termination (WST'01a
Wim Vanhoof (Contributor)
20 May 2001 → 21 May 2001Activity: Participating in or organising an event types › Participation in conference