Robert Sedgewick
Mark Allen Weiss
Lawrence B. Mohr
Martin Trapp
Keijiro Araki
Clifford A. Shaffer
Mourad Debbabi
Brian R. Clifford
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th 2010 Bertinoro, Italy)
Zhenjiang Hu
VMCAI 2004 (2004 Venice, Italy)
VSTTE 2010 (2010 Edinburgh, Scotland)
Ana Cavalcanti
TACAS 2010 (2010 Paphos, Cyprus)
Huibiao Zhu