]
]
]
]
Membre du personnel
Wim VANHOOF
- présentation
- cours
- projets
- activités
- publications (45)
- jurys (5)
- mémoires et thèses supervisés (19)
- fiche complète
Activités organisées
- Colloque : Workshop on Logic-based Programming Environments (WLPE 2007) (Porto, Portugal, 2007)
- Colloque : Belgium Dutch Conference on Artificial Intelligence (BNAIC) (Namur, 2006)
- Colloque : Workshop on Logic-based Methods in Programming Environments (WLPE 2006) (Seattle, Washington (USA), 2006)
Activités avec contribution
- Autre : PC Member LOPSTR 2008 (, 2008)
- Colloque : Logic-based program synthesis and transformation (LOPSTR 2007) (Copenhagen, Denmark, 2007)
- Colloque : VVSS - European Symposium on Verification and Validation of Software Systems (Eindhoven, The Netherlands, 2007)
- Autre : PC Member LOPSTR 2007 (, 2007)
- Autre : PC Member WLPE 2007 (, 2007)
- Autre : PC Member WLPE 2006 (, 2006)
- Autre : PC Member BNAIC 2006 (, 2006)
- Autre : PC Member LOPSTR 2006 (, 2006)
- Séminaire : Searching semantically equivalent code fragments in logic programs (Leuven, 2005)
Departement Computerwetenschappen K.U.Leuven
- Séminaire : L'analyse de terminaison des programmes logiques (Namur, 2005)
Staff sem à l'Institut d'Informatique
- Autre : PC Member WLPE 2005 (, 2005)
- Colloque : Logic-based Program Synthesis and Transformation (LOPSTR) (Verona, Italy, 2004)
- Colloque : Logic-based Program Synthesis and Transformation (LOPSTR). (Verona, Italy, 2004)
- Colloque : One Day Workshop on Program Analysis (Leuven, 2004)
- Autre : PC Member LOPSTR 2004 (, 2004)
- Colloque : Termination Day: logic programming meets rewriting (Leuven, 2003)
- Autre : PC Member LOPSTR 2003 (, 2003)
- Colloque : Logic-based Program Synthesis and Transformation (Madrid, Spain, 2002)
- Colloque : Static Analysis Symposium (Madrid, Spain, 2002)
- Colloque : Logic for Programming, Artificial Intelligence, and Reasoning, 8th international Conference (La Havana, Cuba, 2001)
- Colloque : International Workshop on Termination (WST'01à (Utrecht, The Netherlands, 2001)
- Colloque : Logic for Programming and Automated Reasoning (LPAR) (St-Gilles, La Réunion, France, 2000)
- Colloque : International Workshop on Implementation and Optimization of Declarative Languages (Las Cruces, New Mexico (USA), 1999)
- Colloque : 16'th Inernational Conference on Logic Programming (ICLP) (Las Cruces, New Mexico (USA), 1999)
- Colloque : Eleventh Benelux Workshop on Logic Programming (Benelog) (Maastricht, The Netherlands, 1999)
- Colloque : Logic-based Program Synthesis and Transformation (Venice, Italy, 1999)
- Colloque : Tenth Belgian/Dutch AI Conference (NAIC) (Amsterdam, The Netherlands, 1998)
- Colloque : Conference on Programming Languages, Implementations, Logics and Programs (Pisa, Italy, 1998)
- Colloque : Logic Based Program Synthesis and Transformation (Manchester, United Kingdom, 1998)
- Colloque : Joint International Conference and Symposium on Logic Programming (Manchester, United Kingdom, 1998)
- Colloque : Workshop on Specialization of Declarative Languages and its Applications (Port Jefferson, New York (USA), 1997)
- Colloque : Logic Program Synthesis and Transformation (LOPSTR) (Leuven, 1997)
Activités avec simple participation
- Colloque : International Conference on Logic Programming (ICLP 2007) (Porto, Portugal, 2007)
- Colloque : International Conference on Logic Programming (ICLP 2006) (Seattle, Washington (USA), 2006)
- Séminaire : Dynamic Languages Day (Brussels, 2006)
- Colloque : VVSS - European Symposium on Verification and Validation of Software Systems and Testing (Eindhoven, The Netherlands, 2005)
- Formation : PC Member LOPSTR 2005 (, 2005)
- Colloque : Principles and Practice of Declarative Programming (Uppsala, Sweden, 2003)
- Colloque : International Symposium on Logic-based Program Synthesis and Transformation (Uppsala, Sweden, 2003)
- Colloque : International Symposium on New Trends in Compiler Technology (Gent, 2002)
- Colloque : FNRS Meeting on Verification and Validation (Brussels, 2001)
- Colloque : Benelux Workshop on Computational Logic (BenCL) (Peer, 2000)
- Colloque : Static Analysis Symposium (Venice, Italy, 1999)
- Colloque : Static Analysis Symposium (Pisa, Italy, 1998)
- Colloque : International Logic Programming Symposium (Port Jefferson, New York (USA), 1997)
- Colloque : 14"th International Conference on Logic Programming (Leuven, 1997)
