Activities per year
Activities
- 1 - 50 out of 60 results
Search results
-
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
-
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
-
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
-
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
-
Principles and Practice of Declarative Programming
Wim Vanhoof (Speaker)
7 Sept 2016Activity: Participating in or organising an event types › Participation in conference
-
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
-
PC Chair WLPE 2012
Wim Vanhoof (Organiser)
1 Jan 2012 → 31 Dec 2012Activity: 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 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 WLPE 2008
Wim Vanhoof (Organiser)
1 Jan 2008 → 31 Dec 2008Activity: 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
-
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
-
Workshop on Logic-based Programming Environments (WLPE 2007)
Wim Vanhoof (Organiser)
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 WLPE 2007
Wim Vanhoof (Contributor)
1 Jan 2007 → 31 Dec 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
-
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 LOPSTR 2006
Wim Vanhoof (Contributor)
1 Jan 2006 → 31 Dec 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 BNAIC 2006
Wim Vanhoof (Contributor)
1 Jan 2006 → 31 Dec 2006Activity: 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
-
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
-
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
-
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
-
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
-
Eleventh Benelux Workshop on Logic Programming (Benelog)
Wim Vanhoof (Contributor)
5 Nov 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
-
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