Text Box: Projects NModel Forthcoming book: J. Jacky, M. Veanes, C. Campbell, W. Schulte, Model-Based Software Testing and Analysis with C#, Cambridge University Press, (Cambridge Catalogue Link, available from November 2007) Technical Program Committees ASM 2003, ASM 2004, ASM 2005, ASM 2007 ICFEM 2005 TestCom 2006 LPAR 2005, LPAR 2006 TASE 2007, TASE 2008 TestCom/FATES 2007, TestCom/FATES 2008 ICST 2008 Member of · IEEE, ACM Invited talks/lectures Institute of Cybernetics Seminar (page in Estonian, March 2002) FST TCS 2002, Kanpur, India, Invited talk: Modeling Software: From Theory to Practice APPSEM 2004 (Invited industrial talk, Member of industrial panel discussion) ESSCaSS 2004 (Lecturer at summer school) SVV 2004 (Invited speaker), part of ICFEM 2004 Microsoft Academic Days for Central and Eastern Europe (Invited presentation, Nov 2004) Microsoft Academic Day in Tallinn Technical University (page in Estonian, Invited talk, Nov 2004) Invited lecture at Tartu University (Tartu Arvutiteaduse instituudi seminar, Nov 2004) Le Heure du CRIM (Invited lecture, Feb 2005) ForTIA Industry Day 2005 at FM'05 (Invited Industry Day talk, July 2005) SPLST 2005 (Invited talk, Aug 2005) Lentedagen organized by the Dutch Institute for Programming research and Algorithmics, April 2006 Vught, The Netherlands (Invited talk on Model-Based Testing) Conference organization LICS 2006 conference chair, part of FLOC 2006 TestCom/FATES 2007 co-chair