Activities per year
Activities
- 50 - 60 out of 60 results
Search results
-
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 (Contributor)
17 Sept 2002 → 20 Sept 2002Activity: 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
-
Termination Day: logic programming meets rewriting
Wim Vanhoof (Contributor)
3 Nov 2003Activity: 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
-
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
-
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
-
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 Specialization of Declarative Languages and its Applications
Wim Vanhoof (Contributor)
17 Oct 1997Activity: Participating in or organising an event types › Participation in conference