Tannen, Val ; Wong, Limsoon ; Libkin, Leonid ; Fan, Wenfei ; Tan, Wang-Chiew ; Fourman, Michael ; Grohe, Martin