Activités

Activités par an 1997 1997 1998 1999 2003 2004 2005 2006 2007 2016 2019 2022

• 60 Participation à une conférence, un congrès
• 5 Participation à un atelier/workshop, un séminaire, un cours
• 3 Présentation orale
• 2 Examen en tant que pair de publications
• 6 Afficher plus d’informations
  • 2 Discours invité
  • 2 Visite à une institution académique externe
  • 1 Thèse externe
  • 1 Membre d'un comité

Activités par an

Résultats de recherche

• Computer Science Logic 2022

  Yernaux, G. (Participant) & VANHOOF, W. (Participant)

  14 févr. 2022 → 19 févr. 2022

  Activité: 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. 2021

  Activité: 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. 2020

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

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

  Yernaux, G. (Participant) & Vanhoof, W. (Participant)

  8 oct. 2019 → 10 oct. 2019

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

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

  Vanhoof, W. (Orateur)

  7 oct. 2019 → 9 oct. 2019

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• Principles and Practice of Declarative Programming

  Vanhoof, W. (Conférencier)

  7 sept. 2016

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• POPL 2013 (Principles of Programming Languages)

  Vanhoof, W. (Participant)

  23 janv. 2013 → 26 janv. 2013

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• PEPM 2013

  Vanhoof, W. (Participant)

  20 janv. 2013 → 22 janv. 2013

  Activité: 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. 2012

  Activité: 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. 2010

  Activité: 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. 2010

  Activité: 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. 2009

  Activité: 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. 2009

  Activité: 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. 2009

  Activité: 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. 2008

  Activité: 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. 2008

  Activité: 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. 2007

  Activité: 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. 2007

  Activité: 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 2007

  Activité: 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 2007

  Activité: 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. 2007

  Activité: 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. 2007

  Activité: 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. 2006

  Activité: 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 2006

  Activité: 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 2006

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• PC Member LOPSTR 2006

  Vanhoof, W. (Orateur)

  1 janv. 2006 → 31 déc. 2006

  Activité: 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. 2006

  Activité: 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. 2006

  Activité: 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. 2005

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• PC Member WLPE 2005

  Vanhoof, W. (Orateur)

  1 janv. 2005 → 31 déc. 2005

  Activité: 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 2004

  Activité: 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 2004

  Activité: 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 2004

  Activité: 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. 2004

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• Termination Day: logic programming meets rewriting

  Vanhoof, W. (Orateur)

  3 nov. 2003

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• Principles and Practice of Declarative Programming

  Vanhoof, W. (Participant)

  27 août 2003 → 29 août 2003

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• International Symposium on Logic-based Program Synthesis and Transformation

  Vanhoof, W. (Participant)

  25 août 2003 → 27 août 2003

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• PC Member LOPSTR 2003

  Vanhoof, W. (Orateur)

  1 janv. 2003 → 31 déc. 2003

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• Logic-based Program Synthesis and Transformation

  Vanhoof, W. (Orateur)

  17 sept. 2002 → 20 sept. 2002

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• Static Analysis Symposium

  Vanhoof, W. (Orateur)

  17 sept. 2002 → 20 sept. 2002

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• International Symposium on New Trends in Compiler Technology

  Vanhoof, W. (Participant)

  7 mars 2002

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• Logic for Programming, Artificial Intelligence, and Reasoning, 8th international Conference

  Vanhoof, W. (Orateur)

  3 déc. 2001 → 8 déc. 2001

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• FNRS Meeting on Verification and Validation

  Vanhoof, W. (Participant)

  6 juin 2001

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• International Workshop on Termination (WST'01a

  Vanhoof, W. (Orateur)

  20 mai 2001 → 21 mai 2001

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• Logic for Programming and Automated Reasoning (LPAR)

  Vanhoof, W. (Orateur)

  6 nov. 2000 → 10 nov. 2000

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• Benelux Workshop on Computational Logic (BenCL)

  Vanhoof, W. (Participant)

  15 mai 2000 → 16 mai 2000

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• International Workshop on Implementation and Optimization of Declarative Languages

  Vanhoof, W. (Orateur)

  2 déc. 1999 → 3 déc. 1999

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• 16'th Inernational Conference on Logic Programming (ICLP)

  Vanhoof, W. (Orateur)

  29 nov. 1999 → 4 déc. 1999

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• Eleventh Benelux Workshop on Logic Programming (Benelog)

  Vanhoof, W. (Orateur)

  5 nov. 1999

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

• Static Analysis Symposium

  Vanhoof, W. (Participant)

  22 sept. 1999 → 24 sept. 1999

  Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès