Activités par an
Activités
- 1 - 50 sur 76 résultats
Résultats de recherche
-
Workshop on Specialization of Declarative Languages and its Applications
Wim Vanhoof (Orateur)
17 oct. 1997Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Workshop on Logic-based Programming Environments (WLPE 2007)
Wim Vanhoof (Organisateur)
13 sept. 2007Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Workshop on Logic-based Methods in Programming Environments (WLPE 2006)
Wim Vanhoof (Organisateur)
16 août 2006Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
VVSS - European Symposium on Verification and Validation of Software Systems and Testing
Wim Vanhoof (Participant)
24 nov. 2005Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
VVSS - European Symposium on Verification and Validation of Software Systems
Wim Vanhoof (Orateur)
23 mars 2007Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Université de La Réunion
Wim Vanhoof (Chercheur visiteur)
25 janv. 2016 → 29 janv. 2016Activité: Visite d'une organisation externe › Visite à une institution académique externe
-
Université de La Réunion
Wim Vanhoof (Chercheur visiteur)
20 nov. 2016 → 25 nov. 2016Activité: Visite d'une organisation externe › Visite à une institution académique externe
-
Termination Day: logic programming meets rewriting
Wim Vanhoof (Orateur)
3 nov. 2003Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Tenth Belgian/Dutch AI Conference (NAIC)
Wim Vanhoof (Orateur)
18 nov. 1998 → 19 nov. 1998Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Static Analysis Symposium
Wim Vanhoof (Participant)
14 sept. 1998 → 18 sept. 1998Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Static Analysis Symposium
Wim Vanhoof (Participant)
22 sept. 1999 → 24 sept. 1999Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Static Analysis Symposium
Wim Vanhoof (Orateur)
17 sept. 2002 → 20 sept. 2002Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Searching semantically equivalent code fragments in logic programs
Wim Vanhoof (Orateur)
22 mars 2005Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
Principles and Practice of Declarative Programming
Wim Vanhoof (Participant)
27 août 2003 → 29 août 2003Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Principles and Practice of Declarative Programming
Wim Vanhoof (Conférencier)
7 sept. 2016Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
POPL 2013 (Principles of Programming Languages)
Wim Vanhoof (Participant)
23 janv. 2013 → 26 janv. 2013Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PEPM 2013
Wim Vanhoof (Participant)
20 janv. 2013 → 22 janv. 2013Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member WLPE 2010
Wim Vanhoof (Organisateur)
1 janv. 2010 → 31 déc. 2010Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member WLPE 2008
Wim Vanhoof (Organisateur)
1 janv. 2008 → 31 déc. 2008Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member WLPE 2007
Wim Vanhoof (Orateur)
1 janv. 2007 → 31 déc. 2007Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member WLPE 2006
Wim Vanhoof (Orateur)
1 janv. 2006 → 31 déc. 2006Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member WLPE 2005
Wim Vanhoof (Orateur)
1 janv. 2005 → 31 déc. 2005Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member PEPM 2009
Wim Vanhoof (Organisateur)
1 janv. 2009 → 31 déc. 2009Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member LOPSTR 2009
Wim Vanhoof (Organisateur)
1 janv. 2009 → 31 déc. 2009Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member LOPSTR 2008
Wim Vanhoof (Orateur)
1 janv. 2008 → 31 déc. 2008Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member LOPSTR 2007
Wim Vanhoof (Orateur)
1 janv. 2007 → 31 déc. 2007Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member LOPSTR 2006
Wim Vanhoof (Orateur)
1 janv. 2006 → 31 déc. 2006Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member LOPSTR 2005
Wim Vanhoof (Participant)
1 janv. 2005 → 31 déc. 2005Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
PC Member LOPSTR 2004
Wim Vanhoof (Orateur)
1 janv. 2004 → 31 déc. 2004Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member LOPSTR 2003
Wim Vanhoof (Orateur)
1 janv. 2003 → 31 déc. 2003Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member ICLP 2010
Wim Vanhoof (Organisateur)
1 janv. 2010 → 31 déc. 2010Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member ICLP 2009
Wim Vanhoof (Organisateur)
1 janv. 2009 → 31 déc. 2009Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member BNAIC 2006
Wim Vanhoof (Orateur)
1 janv. 2006 → 31 déc. 2006Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Chair WLPE 2012
Wim Vanhoof (Organisateur)
1 janv. 2012 → 31 déc. 2012Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
One Day Workshop on Program Analysis
Wim Vanhoof (Orateur)
4 mai 2004Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
On an old (and possibly still unsolved?) problem in program specialization
Wim Vanhoof (Orateur)
8 oct. 2019Activité: Discours ou présentation › Discours invité
-
Logic Program Synthesis and Transformation (LOPSTR)
Wim Vanhoof (Orateur)
11 juil. 1997 → 12 juil. 1997Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Logic for Programming and Automated Reasoning (LPAR)
Wim Vanhoof (Orateur)
6 nov. 2000 → 10 nov. 2000Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Logic for Programming, Artificial Intelligence, and Reasoning, 8th international Conference
Wim Vanhoof (Orateur)
3 déc. 2001 → 8 déc. 2001Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Logic-based program synthesis and transformation (LOPSTR 2007)
Wim Vanhoof (Orateur)
23 août 2007 → 24 août 2007Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Logic-based Program Synthesis and Transformation (LOPSTR) 2021
Wim VANHOOF (Vice-président)
7 sept. 2021Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Logic-based Program Synthesis and Transformation (LOPSTR) (Evénement)
Wim Vanhoof (Membre)
10 sept. 2014 → 11 sept. 2014Activité: Affiliations › Membre d'un comité
-
Logic-based Program Synthesis and Transformation (LOPSTR)
Wim Vanhoof (Orateur)
26 août 2004 → 28 août 2004Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Logic-based Program Synthesis and Transformation (LOPSTR)
Wim Vanhoof (Orateur)
26 août 2004 → 28 août 2004Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Logic-based Program Synthesis and Transformation
Wim Vanhoof (Orateur)
22 sept. 1999 → 24 sept. 1999Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Logic-based Program Synthesis and Transformation
Wim Vanhoof (Orateur)
17 sept. 2002 → 20 sept. 2002Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Logic Based Program Synthesis and Transformation
Wim Vanhoof (Orateur)
15 juin 1998 → 20 juin 1998Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
L'analyse de terminaison des programmes logiques
Wim Vanhoof (Orateur)
14 mars 2005Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
Joint International Conference and Symposium on Logic Programming
Wim Vanhoof (Orateur)
15 juin 1998 → 20 juin 1998Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
International Workshop on Termination (WST'01a
Wim Vanhoof (Orateur)
20 mai 2001 → 21 mai 2001Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès