Conferences
- TACAS 2009:
Tools and Algorithms for the Construction and Analysis
of Systems, York, UK, March 2009.
- VMCAI 2009:
International Conference on Verification, Model Checking, and
Abstract Interpretation, Savannah, GA, USA, January 2009.
- LOPSTR
2008: International Symposium on Logic-based Program Synthesis
and Transformation, Valencia, Spain, July 2008.
- TACAS 2008:Tools and Algorithms for the Construction and Analysis of Systems, Budapest, Hungary, March/April 2008.
- LOPSTR 2007: International Symposium on Logic-based Program Synthesis and Transformation, Lyngby, Denmark, September 2007.
- TACAS 2007:Tools and Algorithms for the Construction and Analysis of Systems, Braga, Portugal, March 2007.
- LOPSTR 2005
- LOPSTR 2004
- PADL 2004:
Practical Applications of Declarative Languages
- PPDP 2003:
Principles and Practice of Declarative Programming
- LOPSTR 2002
- PADL 2002
- VCL'01:
Verification and Computational Logic