Activities per year
Activities
- 50 - 76 out of 76 results
Search results
-
Termination Day: logic programming meets rewriting
Wim Vanhoof (Contributor)
3 Nov 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
-
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
-
PC Member LOPSTR 2003
Wim Vanhoof (Contributor)
1 Jan 2003 → 31 Dec 2003Activity: 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
-
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
-
International Symposium on New Trends in Compiler Technology
Wim Vanhoof (Participant)
7 Mar 2002Activity: 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 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
-
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
-
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
-
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
-
Static Analysis Symposium
Wim Vanhoof (Participant)
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
-
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
-
International Logic Programming Symposium
Wim Vanhoof (Participant)
13 Oct 1997 → 16 Oct 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
-
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