SSV '11 (Nijmegen) FMICS '10 (Antwerpen) SSV '09 (Aachen) TACAS '09 (York) ASE '08 (München) ASE '07 (Bremen) SE-Strategietreffen '07 (Eitorf)