Stephen M. Watt: Professional Activities

Current Activities

• Director, Ontario Research Centre for Computer Algebra
• Board of Directors, Descartes Systems Group
• Board of Directors, The Fields Institute
• Trustee, Calculemus Interest Group
• Executive Committee, The OpenMath Society   (OpenMath 2 Standard)
• Editorial Board, Journal of Symbolic Computation
• Member, W3C   Math Working Group   (MathML 3 Candidate Recommendation)
• Member, W3C   Multimodal Interaction Working Group   (InkML Draft Specification)
• Steering Committee, Applications of Computer Algebra Conference.   (ACA 2010, Vlore, Albania, 24-27 June 2010)
• Electronic Products and Services Committee, Canadian Mathematical Society
• UWO Team Coach, ACM Intercollegiate Programming Contest
• Seminar Organizer, Topical Research in Computer Science (TRICS) Seminars

Current and Recent Conference Organization

• International Symposium on Symbolic and Algebraic Computation (ISSAC 2010)
  July 25-28, 2010, Munich, Germany (Program Committee Chair)
• International Conference on Parallel Computer Algebra (PARCA 2010)
  June 29-July 3, 2010, Tambov, Russia (Scientific Committee Co-Chair)
• Artificial Intelligence in Symbolic Computation (AISC 2010),
  July 9-10, 2010, Paris, France (Program Committee Member)
• 17th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2010),
  July 5-6, 2010, Paris, France (Program Committee Member)
• Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010),
  July 5, 2010, Paris, France (Program Committee Member)
• East Coast Computer Algebra Day (ECCAD 2010),
  May 15, 2010, Atlanta GA, USA (Organizing Committee Member)
• Polynomial Computer Algebra (PCA 2010),
  April 2-7, 2010, St Petersburg, Russia (Program Committee)

• 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2009)
  26-29 September 2009, Timisoara, Romania (Program Committee Chair)
• Conferences on Intelligent Computational Mathematics 2009 (CICM 2009)
  5-13 Jul 2009, Grand Bend, Canada (General Chair)
• 2009 Workshop on Compact Computer Algebra (CCA 2009)
  10 Jul 2009, Grand Bend, Canada (Co-chair)
• 2009 Workshop on Pen-Based Computer Mathematics (PenMath 2009)
  8-9 Jul 2009, Grand Bend, Canada (Co-chair)
• Mathematical Knowledge Management 2009 (MKM 2009)
  6-8 Jul 2009, Grand Bend, Canada (Program Committee Co-chair)
• NSF Workshop on Future Directions of Symbolic Computation Research and Their Applications to the Domain Sciences (NSF)
  April 30-May 1, 2009, Kingston RI, USA (Co-organizer)
• Symbolic Numeric Computation (SNC 2009),
  August 3-5, 2009, Kyoto, Japan (Program Committee Member)
• International Symposium on Symbolic and Algebraic Computation (ISSAC 2009),
  July 28-31, 2009, Seoul, South Korea (Program Committee Member)
• OpenMath Workshop (OpenMath 2009),
  July 9, 2009, Grand Bend, Canda (Program Committee Member)
• Polynomial Computer Algebra (PCA 2009),
  April 8-12, 2009, St. Petersburg, Russia (Program Committee Member)

• 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2008),
  September 26-29, 2008, Timisoara, Romania (Program Committee Member)
• Artificial Intelligence and Symbolic Computation 2008 (AISC 2008),
  July 31-August 2, 2008, Birmingham, UK. (Program Committee Member)
• Applications of Computer Algebra: Special Session on Compact Computer Altebra (CCA 2008),
  July 29, 2008, Linz, Austria (Session co-organizer)
• Mathematical Knowledge Management 2008 (MKM 2008),
  July 28-30, 2008, Birmingham, UK. (Program Committee Member)
• Second Workshop on Programming Languages for Mechanized Mathematics (PLMMS 2008),
  July 28-29, 2008, Birmingham, UK (Program Committee Member)
• Aldor & Axiom Workhsop: Categorical Programming Languages 2008 (CATLAN 2008)
  24-26 Jul 2008, Hagenberg, Austria (Co-organizer)
• Milestones in Computer Algebra 2008 (MICA 2008),
  May 1-3, 2008, Stonehaven Bay, Trindidad and Tobago. (General Chair)

• Algorithmic Challenges in Polynomial and Linear Algebra, Canadian Mathematics Society Winter Meeting,
  December 8-10, 2007, London, Canada. (Session Organizer)
• 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007),
  September 26-29, 2007, Timisoara, Romania (Program Committee Member)
• Parallel Symbolic Computation 2007 (PASCO 2007),
  July 27-28, 2007, London, Canada. (Proceedings Editor)
• Symbolic-Numeric Computation 2007 (SNC 2007),
  July 25-27, 2007, London, Canada. (General Chair)
• 6th International Conference on Mathematical Knowledge Management (MKM 2007),
  June 27-30, 2007, Linz, Austria. (Program Committee Member)

• IMA "Hot Topic" Workshop: The Evolution of Mathematical Communication in the Age of Digital Libraries,
  December 8-9, 2006, Minneapolis MN, USA. (Organizer)
• SYNASC 2006: 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing,
  September 26-29, 2006, Timisoara, Romania (Program Committee Member)
• International Conference on Artificial Intelligence and Symbolic Computation (AISC 2006),
  September 20-22, 2006, Beijing, China. (Program Committee Member)
• CDME 2006 Invited Session on Pen-Based Interfaces for Mathematical Documents,
  August 15-18, 2006, Aviero, Portugal. (Organizer)
• The 5th International Conference on Mathematical Knowledge Management (MKM 2006),
  August 11-12, 2006, Wokingham, UK. (Program Committee Member)
• CAFE, Computer Algebra and Functional Equations: An international conference, in memory of Manuel Bronstein,
  July 13 2006, Sophia Antipolis, France. (Organizer)
• International Symposium on Symbolic and Algebraic Computation (ISSAC 2006),
  July 9-12 2006, Genoa, Italy. (Tutorials Chair)
• 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2006),
  July 7-8 2006, Genoa, Italy. (Program Committee Member)
• Challenges in Computer Algebra Software,
  Dagstuhl Seminar 06271, July 2-7 2006, Wardern, Germany. (Organizer)
• Transgressive Computing 2006: A conference in honor of Jean Della Dora (TC 2006),
  April 24-26 2006, Granada, Spain. (Program Committee Member)

Selected Past Activities

• 1998-2009: Board of Directors, Maplesoft
• 1997-2002: Department Chair, Computer Science Department, The University of Western Ontario
• 2001-2002: Member, Information Technology Advisory Council, City of London
• 2002: Program Committee Chair, 2002 MathML Conference, June 28-30 2002, Chicago USA.
• 2001-2002: Board of Directors, MITACS   Network of Centres of Excellence (network investigator representative)
• 1995-1997: Chair, ACM SIGSAM
• 1996-1999: Chairman, FRISCO Project (ESPRIT LTR 21.024)
• 1996-1998: Responsable Scientifique, Projet SAFIR, INRIA Sophia Antipolis, France
• 1995-1996: Initial Chair, ISSAC Steering Committee