Erika Abraham will serve on the Program Committee of the International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS’15).