Professor Stephen M. Watt

Professor Watt
Computer Science Department , MC 375
The University of Western Ontario
London, Ontario CANADA N6A 5B7

Phone:   +1 519 859-2345
Fax:   +1 519 661-3515
E-mail:   Stephen dot Watt at uwo.ca

What's on my mind.
New results in bio-computing!
Instructions to get a small carbon footprint.
Where I've been.


Activities     Research     Publications     Students     Courses     Awards

Intro: Introduction for new grad students.
CSUS Day: Talk on Pen-Based computing.
TRICS Seminar:   Computer Algebra's Dirty Little Secret.

ORCCA: The Ontario Research Center for Computer Algebra
MathML @ ORCCA -- Tools for MathML and conversions to/from TeX and OpenMath
MONET @ ORCCA -- Mathematical Web Services
PenMath @ ORCCA -- Pen-Based Interfaces for Mathematics

TRICS:   Topical Research in Computer Science Seminars
ACM ICPC:   ACM Intercollegiate Programming Contest

Aldor: A categorical programming language.
Maple: The system for symbolic mathematical computation.
MathML: The W3C standard for math on the internet.
InkML: The W3C standard for digital ink.

ISSAC 2010: International Symposium on Symbolic and Algebraic Computation, 25-28 July 2010, Munich, Germany
ACA 2010: Applications of Computer Algebra, 24-27 June 2010, Vlore, Albania
PARCA 2010: International Conference on Parallel Computer Algebra (PARCA 2010), 29 June 29-3 July 2010, Tambov, Russia
AISC 2010: Artificial Intelligence in Symbolic Computation, 9-10 July 2010, Paris, France
Calculemus 2010: 17th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 5-6 July 2010, Paris, France
PLMMS 2010: Workshop on Programming Languages for Mechanized Mathematics Systems, 5 July 5 2010, Paris, France
ECCAD 2010: East Coast Computer Algebra Day, 15 May 2010, Atlanta GA, USA