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