Talks

SFM 2010, Jun 21-16, Bertinoro, Italy

ARTIST Summer School China 2010, Jul 18-23, Beijing

ARTIST Summer School Europe 2010, Sept 5-10, Autrans, France

VTSA 2010, Sept 6-10, Luxembourg

School on Verification, 2010, Oct 11-16, Beijing

ICFEM 2010, Nov 16-19, Shanghai