Activités par an
Activités
- 1 - 50 sur 76 résultats
Résultats de recherche
-
Computer Science Logic 2022
Yernaux, G. (Participant) & VANHOOF, W. (Participant)
14 févr. 2022 → 19 févr. 2022Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Logic-based Program Synthesis and Transformation (LOPSTR) 2021
VANHOOF, W. (Vice-président)
7 sept. 2021Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
22nd International Symposium on Principles and Practice of Declarative Programming
YERNAUX, G. (Participant), SCHUMACHER, L. (Participant) & VANHOOF, W. (Participant)
8 sept. 2020 → 10 sept. 2020Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
FOCUS Research Seminar
Vanhoof, W. (Organisateur), Jacquet, J.-M. (Organisateur), Barkallah, M. (Membre du Comité d'Organisation), Yernaux, G. (Membre du Comité d'Organisation), Schobbens, P.-Y. (Membre du Comité d'Organisation), Ortiz Vega, J. J. (Membre du Comité d'Organisation), Amrani, M. (Membre du Comité d'Organisation), Linden, I. (Membre du Comité d'Organisation) & Colot, C. (Membre du Comité d'Organisation)
6 déc. 2019Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
29th International Symposium on Logic-Based Program Synthesis and Transformation
Yernaux, G. (Participant) & Vanhoof, W. (Participant)
8 oct. 2019 → 10 oct. 2019Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Generalization-driven semantic clone detection in CLP
Yernaux, G. (Orateur) & Vanhoof, W. (Orateur)
9 oct. 2019Activité: Discours ou présentation › Présentation orale
-
On an old (and possibly still unsolved?) problem in program specialization
Vanhoof, W. (Orateur)
8 oct. 2019Activité: Discours ou présentation › Discours invité
-
29th International Symposium on Logic-Based Program Synthesis and Transformation
Vanhoof, W. (Orateur)
7 oct. 2019 → 9 oct. 2019Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Databases en het drie lagen model
Vanhoof, W. (Orateur)
13 déc. 2016Activité: Discours ou présentation › Présentation orale
-
Informatiesystemen
Vanhoof, W. (Orateur)
14 déc. 2016Activité: Discours ou présentation › Présentation orale
-
Université de La Réunion
Vanhoof, W. (Chercheur visiteur)
20 nov. 2016 → 25 nov. 2016Activité: Visite d'une organisation externe › Visite à une institution académique externe
-
Principles and Practice of Declarative Programming
Vanhoof, W. (Conférencier)
7 sept. 2016Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Formal Aspects of Computing (Journal)
Vanhoof, W. (Membre d'un comité de revue par les pairs)
1 avr. 2016 → 1 juin 2016Activité: Examen en tant que pair de publications et travail éditorial › Examen en tant que pair de publications
-
Université de La Réunion
Vanhoof, W. (Chercheur visiteur)
25 janv. 2016 → 29 janv. 2016Activité: Visite d'une organisation externe › Visite à une institution académique externe
-
Clone detection in logic programs: awards a semantical approach
Vanhoof, W. (Orateur)
28 janv. 2016Activité: Discours ou présentation › Discours invité
-
Formal Aspects of Computing (Journal)
Vanhoof, W. (Membre d'un comité de revue par les pairs)
1 nov. 2015 → 31 déc. 2015Activité: Examen en tant que pair de publications et travail éditorial › Examen en tant que pair de publications
-
Logic-based Program Synthesis and Transformation (LOPSTR) (Evénement)
Vanhoof, W. (Membre)
10 sept. 2014 → 11 sept. 2014Activité: Affiliations › Membre d'un comité
-
Automatic parallelisation for Mercury
Vanhoof, W. (Membre du Jury)
1 mars 2013 → 15 mars 2013Activité: Examens › Thèse externe
-
POPL 2013 (Principles of Programming Languages)
Vanhoof, W. (Participant)
23 janv. 2013 → 26 janv. 2013Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PEPM 2013
Vanhoof, W. (Participant)
20 janv. 2013 → 22 janv. 2013Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Chair WLPE 2012
Vanhoof, W. (Organisateur)
1 janv. 2012 → 31 déc. 2012Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member ICLP 2010
Vanhoof, W. (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 2010
Vanhoof, W. (Organisateur)
1 janv. 2010 → 31 déc. 2010Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member PEPM 2009
Vanhoof, W. (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
Vanhoof, W. (Organisateur)
1 janv. 2009 → 31 déc. 2009Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member ICLP 2009
Vanhoof, W. (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
Vanhoof, W. (Orateur)
1 janv. 2008 → 31 déc. 2008Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member WLPE 2008
Vanhoof, W. (Organisateur)
1 janv. 2008 → 31 déc. 2008Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Workshop on Logic-based Programming Environments (WLPE 2007)
Vanhoof, W. (Organisateur)
13 sept. 2007Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
International Conference on Logic Programming (ICLP 2007)
Vanhoof, W. (Participant)
8 sept. 2007 → 13 sept. 2007Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Logic-based program synthesis and transformation (LOPSTR 2007)
Vanhoof, W. (Orateur)
23 août 2007 → 24 août 2007Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
VVSS - European Symposium on Verification and Validation of Software Systems
Vanhoof, W. (Orateur)
23 mars 2007Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member LOPSTR 2007
Vanhoof, W. (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 2007
Vanhoof, W. (Orateur)
1 janv. 2007 → 31 déc. 2007Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Belgium Dutch Conference on Artificial Intelligence (BNAIC)
Vanhoof, W. (Organisateur)
5 oct. 2006 → 6 oct. 2006Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Workshop on Logic-based Methods in Programming Environments (WLPE 2006)
Vanhoof, W. (Organisateur)
16 août 2006Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
International Conference on Logic Programming (ICLP 2006)
Vanhoof, W. (Participant)
14 août 2006 → 16 août 2006Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Dynamic Languages Day
Vanhoof, W. (Participant)
13 févr. 2006Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
PC Member LOPSTR 2006
Vanhoof, W. (Orateur)
1 janv. 2006 → 31 déc. 2006Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member BNAIC 2006
Vanhoof, W. (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 2006
Vanhoof, W. (Orateur)
1 janv. 2006 → 31 déc. 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
Vanhoof, W. (Participant)
24 nov. 2005Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
L'analyse de terminaison des programmes logiques
Vanhoof, W. (Orateur)
14 mars 2005Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
Searching semantically equivalent code fragments in logic programs
Vanhoof, W. (Orateur)
22 mars 2005Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
PC Member LOPSTR 2005
Vanhoof, W. (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 WLPE 2005
Vanhoof, W. (Orateur)
1 janv. 2005 → 31 déc. 2005Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Logic-based Program Synthesis and Transformation (LOPSTR)
Vanhoof, W. (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)
Vanhoof, W. (Orateur)
26 août 2004 → 28 août 2004Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
One Day Workshop on Program Analysis
Vanhoof, W. (Orateur)
4 mai 2004Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
PC Member LOPSTR 2004
Vanhoof, W. (Orateur)
1 janv. 2004 → 31 déc. 2004Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès