Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Activités 1997 2019

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. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

29th International Symposium on Logic-Based Program Synthesis and Transformation

Wim Vanhoof (Orateur)
7 oct. 20199 oct. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

29th International Symposium on Logic-Based Program Synthesis and Transformation

Gonzague Yernaux (Participant), Wim Vanhoof (Participant)
8 oct. 201910 oct. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

On an old (and possibly still unsolved?) problem in program specialization

Wim Vanhoof (Orateur)
8 oct. 2019

Activité: Types de discours ou de présentationDiscours invité

Generalization-driven semantic clone detection in CLP

Gonzague Yernaux (Orateur), Wim Vanhoof (Orateur)
9 oct. 2019

Activité: Types de discours ou de présentationPrésentation orale

Databases en het drie lagen model

Wim Vanhoof (Orateur)
13 déc. 2016

Activité: Types de discours ou de présentationPrésentation orale

Informatiesystemen

Wim Vanhoof (Orateur)
14 déc. 2016

Activité: Types de discours ou de présentationPrésentation orale

Université de la Réunion

Wim Vanhoof (Chercheur visiteur)
20 nov. 201625 nov. 2016

Activité: Types de Visite d'une organisation externeVisite à une institution académique externe

Principles and Practice of Declarative Programming

Wim Vanhoof (Conférencier)
7 sept. 2016

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Formal Aspects of Computing (journal)

Wim Vanhoof (Membre d'un comité de revue par les pairs)
1 avr. 20161 juin 2016

Activité: Types de Publication de l'évaluation d'un pair et d'un travail éditorialRévision de publication en tant que pair

Université de la Réunion

Wim Vanhoof (Chercheur visiteur)
25 janv. 201629 janv. 2016

Activité: Types de Visite d'une organisation externeVisite à une institution académique externe

Clone detection in logic programs: awards a semantical approach

Wim Vanhoof (Orateur)
28 janv. 2016

Activité: Types de discours ou de présentationDiscours invité

Formal Aspects of Computing (journal)

Wim Vanhoof (Membre d'un comité de revue par les pairs)
1 nov. 201531 déc. 2015

Activité: Types de Publication de l'évaluation d'un pair et d'un travail éditorialRévision de publication en tant que pair

Logic-based Program Synthesis and Transformation (LOPSTR) (Evénement)

Wim Vanhoof (Membre)
10 sept. 201411 sept. 2014

Activité: Types de MembreMembre d'un comité

Automatic parallelisation for Mercury

Wim Vanhoof (Membre du Jury)
1 mars 201315 mars 2013

Activité: Types d'examenThèse externe

POPL 2013 (Principles of Programming Languages)

Wim Vanhoof (Participant)
23 janv. 201326 janv. 2013

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

PEPM 2013

Wim Vanhoof (Participant)
20 janv. 201322 janv. 2013

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

PC Chair WLPE 2012

Wim Vanhoof (Organisateur)
1 janv. 201231 déc. 2012

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

PC Member ICLP 2010

Wim Vanhoof (Organisateur)
1 janv. 201031 déc. 2010

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

PC Member WLPE 2010

Wim Vanhoof (Organisateur)
1 janv. 201031 déc. 2010

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

PC Member ICLP 2009

Wim Vanhoof (Organisateur)
1 janv. 200931 déc. 2009

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

PC Member PEPM 2009

Wim Vanhoof (Organisateur)
1 janv. 200931 déc. 2009

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

PC Member LOPSTR 2009

Wim Vanhoof (Organisateur)
1 janv. 200931 déc. 2009

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

PC Member LOPSTR 2008

Wim Vanhoof (Orateur)
1 janv. 200831 déc. 2008

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

PC Member WLPE 2008

Wim Vanhoof (Organisateur)
1 janv. 200831 déc. 2008

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

International Conference on Logic Programming (ICLP 2007)

Wim Vanhoof (Participant)
8 sept. 200713 sept. 2007

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Workshop on Logic-based Programming Environments (WLPE 2007)

Wim Vanhoof (Organisateur)
13 sept. 2007

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Logic-based program synthesis and transformation (LOPSTR 2007)

Wim Vanhoof (Orateur)
23 août 200724 août 2007

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

VVSS - European Symposium on Verification and Validation of Software Systems

Wim Vanhoof (Orateur)
23 mars 2007

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

PC Member LOPSTR 2007

Wim Vanhoof (Orateur)
1 janv. 200731 déc. 2007

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

PC Member WLPE 2007

Wim Vanhoof (Orateur)
1 janv. 200731 déc. 2007

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Belgium Dutch Conference on Artificial Intelligence (BNAIC)

Wim Vanhoof (Organisateur)
5 oct. 20066 oct. 2006

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Workshop on Logic-based Methods in Programming Environments (WLPE 2006)

Wim Vanhoof (Organisateur)
16 août 2006

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

International Conference on Logic Programming (ICLP 2006)

Wim Vanhoof (Participant)
14 août 200616 août 2006

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Dynamic Languages Day

Wim Vanhoof (Participant)
13 févr. 2006

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

PC Member WLPE 2006

Wim Vanhoof (Orateur)
1 janv. 200631 déc. 2006

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

PC Member BNAIC 2006

Wim Vanhoof (Orateur)
1 janv. 200631 déc. 2006

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

PC Member LOPSTR 2006

Wim Vanhoof (Orateur)
1 janv. 200631 déc. 2006

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

VVSS - European Symposium on Verification and Validation of Software Systems and Testing

Wim Vanhoof (Participant)
24 nov. 2005

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

L'analyse de terminaison des programmes logiques

Wim Vanhoof (Orateur)
14 mars 2005

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

Searching semantically equivalent code fragments in logic programs

Wim Vanhoof (Orateur)
22 mars 2005

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

PC Member LOPSTR 2005

Wim Vanhoof (Participant)
1 janv. 200531 déc. 2005

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

PC Member WLPE 2005

Wim Vanhoof (Orateur)
1 janv. 200531 déc. 2005

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Logic-based Program Synthesis and Transformation (LOPSTR)

Wim Vanhoof (Orateur)
26 août 200428 août 2004

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Logic-based Program Synthesis and Transformation (LOPSTR)

Wim Vanhoof (Orateur)
26 août 200428 août 2004

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

One Day Workshop on Program Analysis

Wim Vanhoof (Orateur)
4 mai 2004

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

PC Member LOPSTR 2004

Wim Vanhoof (Orateur)
1 janv. 200431 déc. 2004

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Termination Day: logic programming meets rewriting

Wim Vanhoof (Orateur)
3 nov. 2003

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Principles and Practice of Declarative Programming

Wim Vanhoof (Participant)
27 août 200329 août 2003

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

International Symposium on Logic-based Program Synthesis and Transformation

Wim Vanhoof (Participant)
25 août 200327 août 2003

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès