Activities per year
Activities
- 50 - 76 out of 76 results
Search results
-
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
-
International Symposium on New Trends in Compiler Technology
Wim Vanhoof (Participant)
7 Mar 2002Activity: 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
-
International Logic Programming Symposium
Wim Vanhoof (Participant)
13 Oct 1997 → 16 Oct 1997Activity: 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
-
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
-
Informatiesystemen
Wim Vanhoof (Speaker)
14 Dec 2016Activity: Talk or presentation types › Oral presentation
-
Generalization-driven semantic clone detection in CLP
Gonzague Yernaux (Speaker) & Wim Vanhoof (Speaker)
9 Oct 2019Activity: Talk or presentation types › Oral presentation
-
Formal Aspects of Computing (Journal)
Wim Vanhoof (Peer reviewer)
1 Apr 2016 → 1 Jun 2016Activity: Publication peer-review and editorial work types › Publication peer-review
-
Formal Aspects of Computing (Journal)
Wim Vanhoof (Peer reviewer)
1 Nov 2015 → 31 Dec 2015Activity: Publication peer-review and editorial work types › Publication peer-review
-
FOCUS Research Seminar
Wim Vanhoof (Organiser), Jean-Marie Jacquet (Organiser), Manel Barkallah (Member of Organizing Committee), Gonzague Yernaux (Member of Organizing Committee), Pierre-Yves Schobbens (Member of Organizing Committee), James Jerson Ortiz Vega (Member of Organizing Committee), Moussa Amrani (Member of Organizing Committee), Isabelle Linden (Member of Organizing Committee) & Christian Colot (Member of Organizing Committee)
6 Dec 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
FNRS Meeting on Verification and Validation
Wim Vanhoof (Participant)
6 Jun 2001Activity: 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
-
Dynamic Languages Day
Wim Vanhoof (Participant)
13 Feb 2006Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Databases en het drie lagen model
Wim Vanhoof (Speaker)
13 Dec 2016Activity: Talk or presentation types › Oral presentation
-
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
-
Computer Science Logic 2022
Gonzague Yernaux (Participant) & Wim VANHOOF (Participant)
14 Feb 2022 → 19 Feb 2022Activity: Participating in or organising an event types › Participation in conference
-
Clone detection in logic programs: awards a semantical approach
Wim Vanhoof (Speaker)
28 Jan 2016Activity: Talk or presentation types › Invited talk
-
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
-
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
-
Automatic parallelisation for Mercury
Wim Vanhoof (Jury Member)
1 Mar 2013 → 15 Mar 2013Activity: Examinations › External Thesis
-
29th International Symposium on Logic-Based Program Synthesis and Transformation
Wim Vanhoof (Contributor)
7 Oct 2019 → 9 Oct 2019Activity: Participating in or organising an event types › Participation in conference
-
29th International Symposium on Logic-Based Program Synthesis and Transformation
Gonzague Yernaux (Participant) & Wim Vanhoof (Participant)
8 Oct 2019 → 10 Oct 2019Activity: Participating in or organising an event types › Participation in conference
-
22nd International Symposium on Principles and Practice of Declarative Programming
GONZAGUE YERNAUX (Participant), LAURENT SCHUMACHER (Participant) & Wim VANHOOF (Participant)
8 Sept 2020 → 10 Sept 2020Activity: 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
-
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