Home Hector-Kurs Lehre CV Publications Scientific Activities Bauprojekt

Acticities in the Scientific Community

Committees

Program committee member of "Principle and Practice of Programming in Java (PPPJ) 2008"

Program committee member of "Internet of Services PhD-Symposium at I-ESA 2008"

Financial Chair of "3. IEEE International Conference on Software Engineering and Formal Methods (SEFM) 2005"

Reviewing

Journals: Journal of Logic and Algebraic Programming

Conferences: CADE, FMICS, IJCAR, MODELS, SEFM, UML, PRO-VE