Activités par an
Activités
- 50 - 76 sur 76 résultats
Résultats de recherche
-
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 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 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 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 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
-
Automatic parallelisation for Mercury
Wim Vanhoof (Membre du Jury)
1 mars 2013 → 15 mars 2013Activité: Examens › Thèse externe
-
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
-
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
-
Logic-based Program Synthesis and Transformation (LOPSTR) (Evénement)
Wim Vanhoof (Membre)
10 sept. 2014 → 11 sept. 2014Activité: Affiliations › Membre d'un comité
-
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
-
Databases en het drie lagen model
Wim Vanhoof (Orateur)
13 déc. 2016Activité: Discours ou présentation › Présentation orale
-
Informatiesystemen
Wim Vanhoof (Orateur)
14 déc. 2016Activité: Discours ou présentation › Présentation orale
-
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
-
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
-
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
-
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
-
Clone detection in logic programs: awards a semantical approach
Wim Vanhoof (Orateur)
28 janv. 2016Activité: Discours ou présentation › Discours invité
-
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
-
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
-
Generalization-driven semantic clone detection in CLP
Gonzague Yernaux (Orateur) & Wim Vanhoof (Orateur)
9 oct. 2019Activité: Discours ou présentation › Présentation orale
-
On an old (and possibly still unsolved?) problem in program specialization
Wim Vanhoof (Orateur)
8 oct. 2019Activité: Discours ou présentation › Discours invité
-
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
-
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
-
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