Activities
- Formal Mind (co-founder)
Nobreach (scientific advisor)- Journal of Theory and Practice of Logic Programming (Editorial Board)
- Association of Logic Programming (Board Member and Area Editor for the Newsletter)
- EPSRC (Member of Peer Review College)
- Working Group on SOA and Future of the Internet (Chair)
- PEPM (Chair of Steering Committee until 2010)
- LOPSTR (Former Member of Steering Committee)
- Rheinjug
- AEQES (Evaluation of Quality of Computer Science Higher Education in Belgium, Wallonia & Brussels, 2011-12)
- RSSR 2017 (Invited Speaker)
- SBMF'2016 (Keynote Speaker)
- ICLP'2014 (PC-Co-Chair)
- Dagstuhl Seminar 13372 Integration of Tools for Rigorous Software Construction and Analysis (Co-Organiser)
- Rodin User and Developer Workshop 2013
- ABZ 2012 (PC-Co-Chair; Chair of B Track); LNCS proceedings are now available
- Rodin User and Developer Workshop 2012
- AVOCS 2010 (PC-Co-Chair) (proceedings)
- FMCO 2009 (PC-Co-Chair)
- iFM 2009 (PC-Co-Chair)
- PEPM'03 (PC-Chair)
- AVoCS'03 (PC-Chair)
- LOPSTR'02 (PC-Chair)
- FM'16 (PC-member)
- IJCAI'16 (PC-member)
- ABZ'2016 (PC-member)
- RSSR'16 (PC-member)
- ICLP'15 (PC-member)
- ABZ'2014 (PC-member)
- FM'2014 (PC-member)
- SETS'2014 (PC-member)
- F-IDE 2014 at ETAPS (PC-member)
- iFM'2013 (PC-member)
- FM'2012 (PC-member)
- iFM'2012 (PC-member)
- ICFEM 2011 (PC-member)
- LOPSTR 2011 (PC-member)
- FM 2011 (PC-member)
- ICLP 2011 (PC-member)
- ICFEM 2010 (PC-member)
- ICLP 2010 (PC-member)
- 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, with the "Errata für die Deutsche Ausgabe des Drachenbuchs"