Activités par an
Activités
- 1 - 50 sur 76 résultats
Résultats de recherche
-
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
-
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
-
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
-
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
-
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
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
-
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
-
Informatiesystemen
Wim Vanhoof (Orateur)
14 déc. 2016Activité: Discours ou présentation › Présentation orale
-
Databases en het drie lagen model
Wim Vanhoof (Orateur)
13 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é
-
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
-
Logic-based Program Synthesis and Transformation (LOPSTR) (Evénement)
Wim Vanhoof (Membre)
10 sept. 2014 → 11 sept. 2014Activité: Affiliations › Membre d'un comité
-
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
-
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
-
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 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 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 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 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
-
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
-
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
-
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
-
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
-
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 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
-
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
-
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
-
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
-
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
-
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 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 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
-
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
-
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
-
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
-
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 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
-
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
-
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
-
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