A list of some of my publications can be found here.

I am the series editor of a book series on Component-based Software Development, published by World Scientific.

I am a member of the editorial board (scientific area editor: Logic and Software Engineering) of the Journal of Applied Logic, published by Elsevier.

I am a PC member for the following:

• Twelfth International Symposium on Component-based Software Engineering (CBSE), 22-25 June 2009, Pennsylvania, USA.
• Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), 29-31 July 2009, Tianjin, China.
• Thirty-fifth Euromicro Conference Component-based Software Engineering Track (ECBSE), 27-29 August 2009, Patras, Greece.
• Eighth International Conference on Generative Programming and Component Engineering (GPCE), 4-5 October 2009, Denver, USA.

On the occasion of the tenth anniversary of the LOPSTR Workshop, I guest edited (with Maurice Bruynooghe) a special issue of the Theory and Practice of Logic Programming journal on program development, Volume 2, Parts 4 and 5, July and September 2002.

I guest edited (with Pierre Flener and Wolfgang Bibel) a special issue of the Journal of Symbolic Computation on schemas, Volume 30, Number 1, July 2000.

I was Programme Co-Chair of:

• Component-based Software Engineering Track (ECBSE), Thirty-fourth Euromicro Conference on Software Engineering and Advanced Applications, 3-5 September 2008, Parma, Italy.

I was the Programme Chair for ICFEM 2005, Seventh International Conference on Formal Engineering Methods.

I was the Programme Chair for LOPSTR 2000, which was the Program Development stream at CL 2000, the First International Conference on Computational Logic.

I was the Conference Chair of JICSLP98, 1998 Joint International Conference and Symposium on Logic Programming.