Activités par an
Activités
- 50 - 76 sur 76 résultats
Résultats de recherche
-
International Workshop on Implementation and Optimization of Declarative Languages
Wim Vanhoof (Orateur)
2 déc. 1999 → 3 déc. 1999Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
International Symposium on New Trends in Compiler Technology
Wim Vanhoof (Participant)
7 mars 2002Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
International Symposium on Logic-based Program Synthesis and Transformation
Wim Vanhoof (Participant)
25 août 2003 → 27 août 2003Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
International Logic Programming Symposium
Wim Vanhoof (Participant)
13 oct. 1997 → 16 oct. 1997Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
International Conference on Logic Programming (ICLP 2007)
Wim Vanhoof (Participant)
8 sept. 2007 → 13 sept. 2007Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
International Conference on Logic Programming (ICLP 2006)
Wim Vanhoof (Participant)
14 août 2006 → 16 août 2006Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Informatiesystemen
Wim Vanhoof (Orateur)
14 déc. 2016Activité: Discours ou présentation › Présentation orale
-
Generalization-driven semantic clone detection in CLP
Gonzague Yernaux (Orateur) & Wim Vanhoof (Orateur)
9 oct. 2019Activité: Discours ou présentation › Présentation orale
-
Formal Aspects of Computing (journal)
Wim Vanhoof (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
-
Formal Aspects of Computing (journal)
Wim Vanhoof (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
-
FOCUS Research Seminar
Wim Vanhoof (Organisateur), Jean-Marie Jacquet (Organisateur), Manel Barkallah (Membre du Comité d'Organisation), Gonzague Yernaux (Membre du Comité d'Organisation), Pierre-Yves Schobbens (Membre du Comité d'Organisation), James Jerson Ortiz Vega (Membre du Comité d'Organisation), Moussa Amrani (Membre du Comité d'Organisation), Isabelle Linden (Membre du Comité d'Organisation) & Christian Colot (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
-
FNRS Meeting on Verification and Validation
Wim Vanhoof (Participant)
6 juin 2001Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Eleventh Benelux Workshop on Logic Programming (Benelog)
Wim Vanhoof (Orateur)
5 nov. 1999Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Dynamic Languages Day
Wim Vanhoof (Participant)
13 févr. 2006Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
Databases en het drie lagen model
Wim Vanhoof (Orateur)
13 déc. 2016Activité: Discours ou présentation › Présentation orale
-
Conference on Programming Languages, Implementations, Logics and Programs
Wim Vanhoof (Orateur)
14 sept. 1998 → 18 sept. 1998Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Computer Science Logic 2022
Gonzague Yernaux (Participant) & Wim VANHOOF (Participant)
14 févr. 2022 → 19 févr. 2022Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Clone detection in logic programs: awards a semantical approach
Wim Vanhoof (Orateur)
28 janv. 2016Activité: Discours ou présentation › Discours invité
-
Benelux Workshop on Computational Logic (BenCL)
Wim Vanhoof (Participant)
15 mai 2000 → 16 mai 2000Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Belgium Dutch Conference on Artificial Intelligence (BNAIC)
Wim Vanhoof (Organisateur)
5 oct. 2006 → 6 oct. 2006Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Automatic parallelisation for Mercury
Wim Vanhoof (Membre du Jury)
1 mars 2013 → 15 mars 2013Activité: Examens › Thèse externe
-
29th International Symposium on Logic-Based Program Synthesis and Transformation
Wim Vanhoof (Orateur)
7 oct. 2019 → 9 oct. 2019Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
29th International Symposium on Logic-Based Program Synthesis and Transformation
Gonzague Yernaux (Participant) & Wim Vanhoof (Participant)
8 oct. 2019 → 10 oct. 2019Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
22nd International Symposium on Principles and Practice of Declarative Programming
GONZAGUE YERNAUX (Participant), LAURENT SCHUMACHER (Participant) & Wim VANHOOF (Participant)
8 sept. 2020 → 10 sept. 2020Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
16'th Inernational Conference on Logic Programming (ICLP)
Wim Vanhoof (Orateur)
29 nov. 1999 → 4 déc. 1999Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
14"th International Conference on Logic Programming
Wim Vanhoof (Participant)
8 juil. 1997 → 11 juil. 1997Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès