 |
Member of the Scientific Directorate
International Conference and Research Center for Computer Science
Schloss Dagstuhl |
|
|
Member of the Supervisory Board
International Conference and Research Center for Computer Science
Schloss Dagstuhl |
|
|
Program committee member
4th IEEE International Conference on Software Engineering and Formal Methods
SEFM 2006 |
|
|
Program committee member
8th International Conference on Formal Engineering Methods
ICFEM 2006 |
|
|
Program committee member
OCL for (Meta-)Models in Multiple Application Domains
OCLApps 2006 |
