Activities per year
Activities
- 1 - 50 out of 60 results
Search results
-
International Logic Programming Symposium
Wim Vanhoof (Participant)
13 Oct 1997 → 16 Oct 1997Activity: Participating in or organising an event types › Participation in conference
-
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
-
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
-
14"th International Conference on Logic Programming
Wim Vanhoof (Participant)
8 Jul 1997 → 11 Jul 1997Activity: 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 (Participant)
14 Sept 1998 → 18 Sept 1998Activity: Participating in or organising an event types › Participation in conference
-
Conference on Programming Languages, Implementations, Logics and Programs
Wim Vanhoof (Contributor)
14 Sept 1998 → 18 Sept 1998Activity: 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
-
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 Implementation and Optimization of Declarative Languages
Wim Vanhoof (Contributor)
2 Dec 1999 → 3 Dec 1999Activity: Participating in or organising an event types › Participation in conference
-
16'th Inernational Conference on Logic Programming (ICLP)
Wim Vanhoof (Contributor)
29 Nov 1999 → 4 Dec 1999Activity: Participating in or organising an event types › Participation in conference
-
Eleventh Benelux Workshop on Logic Programming (Benelog)
Wim Vanhoof (Contributor)
5 Nov 1999Activity: 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
-
Static Analysis Symposium
Wim Vanhoof (Participant)
22 Sept 1999 → 24 Sept 1999Activity: 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
-
Benelux Workshop on Computational Logic (BenCL)
Wim Vanhoof (Participant)
15 May 2000 → 16 May 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
-
FNRS Meeting on Verification and Validation
Wim Vanhoof (Participant)
6 Jun 2001Activity: 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
-
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
-
Static Analysis Symposium
Wim Vanhoof (Contributor)
17 Sept 2002 → 20 Sept 2002Activity: Participating in or organising an event types › Participation in conference
-
International Symposium on New Trends in Compiler Technology
Wim Vanhoof (Participant)
7 Mar 2002Activity: Participating in or organising an event types › Participation in conference
-
Termination Day: logic programming meets rewriting
Wim Vanhoof (Contributor)
3 Nov 2003Activity: 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
-
International Symposium on Logic-based Program Synthesis and Transformation
Wim Vanhoof (Participant)
25 Aug 2003 → 27 Aug 2003Activity: 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
-
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
-
One Day Workshop on Program Analysis
Wim Vanhoof (Contributor)
4 May 2004Activity: Participating in or organising an event types › Participation in conference
-
PC Member LOPSTR 2004
Wim Vanhoof (Contributor)
1 Jan 2004 → 31 Dec 2004Activity: 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
-
PC Member WLPE 2005
Wim Vanhoof (Contributor)
1 Jan 2005 → 31 Dec 2005Activity: 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 2006Activity: 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 2006Activity: 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
-
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 LOPSTR 2006
Wim Vanhoof (Contributor)
1 Jan 2006 → 31 Dec 2006Activity: 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
-
Workshop on Logic-based Programming Environments (WLPE 2007)
Wim Vanhoof (Organiser)
13 Sept 2007Activity: 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 2007Activity: 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
-
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
-
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 WLPE 2007
Wim Vanhoof (Contributor)
1 Jan 2007 → 31 Dec 2007Activity: 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 WLPE 2008
Wim Vanhoof (Organiser)
1 Jan 2008 → 31 Dec 2008Activity: 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 ICLP 2009
Wim Vanhoof (Organiser)
1 Jan 2009 → 31 Dec 2009Activity: 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