Activities per year
Activities
- 50 - 76 out of 76 results
Search results
-
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
-
PC Member WLPE 2010
Wim Vanhoof (Organiser)
1 Jan 2010 → 31 Dec 2010Activity: 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
-
Automatic parallelisation for Mercury
Wim Vanhoof (Jury Member)
1 Mar 2013 → 15 Mar 2013Activity: Examinations › External Thesis
-
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
-
Logic-based Program Synthesis and Transformation (LOPSTR) (Event)
Wim Vanhoof (Member)
10 Sept 2014 → 11 Sept 2014Activity: Membership types › Membership of committee
-
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
-
Databases en het drie lagen model
Wim Vanhoof (Speaker)
13 Dec 2016Activity: Talk or presentation types › Oral presentation
-
Informatiesystemen
Wim Vanhoof (Speaker)
14 Dec 2016Activity: Talk or presentation types › Oral presentation
-
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
-
Principles and Practice of Declarative Programming
Wim Vanhoof (Speaker)
7 Sept 2016Activity: Participating in or organising an event types › Participation in conference
-
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
-
Clone detection in logic programs: awards a semantical approach
Wim Vanhoof (Speaker)
28 Jan 2016Activity: Talk or presentation types › Invited talk
-
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
-
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
-
On an old (and possibly still unsolved?) problem in program specialization
Wim Vanhoof (Speaker)
8 Oct 2019Activity: Talk or presentation types › Invited talk
-
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
-
Generalization-driven semantic clone detection in CLP
Gonzague Yernaux (Speaker) & Wim Vanhoof (Speaker)
9 Oct 2019Activity: Talk or presentation types › Oral presentation
-
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
-
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
-
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