Activities

• PEPM (Chair of Steering Committee)
• LOPSTR (Member of Steering Committee)
• EPSRC (Member of Peer Review College)
• Journal of Theory and Practice of Logic Programming (Editorial Board)
• Working Group on SOA and Future of the Internet (Chair)

• AVOCS 2010 (PC-Co-Chair)
• iFM 2009 (PC-Co-Chair)
• PEPM'03 (PC-Chair)
• AVoCS'03 (PC-Chair)
• LOPSTR'02 (PC-Chair)

• LOPSTR 2010 (PC-member)
• ABZ 2010 (PC-member)
• TFM-B 2009 (Invited Speaker)
• PPDP 2009 (PC-member)
• LOPSTR 2009 (PC-member)
• FMICS 2009 (PC-member)
• IM_FMT 2009 (PC-member)
• FMCO'08 (Invited Speaker)
• ICFEM 2008 (PC-member)
• WLP 2008 (PC-member)
• PPDP 2008 (Invited Speaker)
• ABZ'08 (PC-member and Keynote Speaker)
• DLS 2008 (PC-member)
• TFM-B 2008 (PC-member)
• LOPSTR 2008 (PC-member)
• WLP 2008 (PC-member)
• FM'08 (Tool and Poster Chair)
• ISoLA'07 (PC-member)
• NEILFEST (speaker)
• ICFEM'07 (PC-member)
• DLS'07 (PC-member)
• PPDP'2007 (Symposium Chair)
• LOPSTR'2007 (PC-member)
• TACAS'2007 (PC-member)
• PADL'2007 (PC-member)
• Alloy 2006 (PC-member)
• AVOCS'06 (PC-member)
• LOPSTR'06 (PC-member)
• MOTES 06 (PC-member)
• WLPE'06 (PC-member)
• LOPSTR'05 (PC-member)
• ICLP'05 (PC-member)
• AVOCS'05 (PC-member)
• AVOCS'04 (PC-member)
• PEPM'04 (PC-member)
• PPDP'04 (PC-member)
• PADL'04 (PC-member)
• GPCE'04 (PC-member)

• "Fachlektor" for the German Edition of the Dragon Book, an errata is available.