WebMath: (Fwd) Automath 2002

Tue Feb 5 10:07:59 EST 2002

The following meeting may be of interest to webmath subscribers:

-----Original Message-----
From: Fairouz Kamareddine <fairouz at cee.hw.ac.uk>
Sent: 05 February 2002 13:20
Subject: Workshop on 35 years of Automating Mathematics

Dear all,

I believe the above workshop might be of interest to many people
in your department?  It is about web mathematics, formal mathematics, 
computer mathematics, Electronic libraries of mathematics, 
personalising mathematical books, etc.  

I hope some of the talks will be of interest to some of you.  

Please advertise the workshop to your department and to any mathematics
department in the UK who you think might be interested.  

The details are as follows:
Thirty Five years of Automath
Heriot-Watt University, Edinburgh
Wednesday 10-Saturday 13 April 2002
First announcement and CALL FOR PAPERS
URL: http://www.cee.hw.ac.uk/~fairouz/automath2002/

Regards
fairouz
------- End of forwarded message -------

===============================================================

Pam Bishop, Assistant Director
LTSN Maths, Stats & OR Network   
School of Mathematics and Statistics    p.bishop at bham.ac.uk
The University of Birmingham            tel 0121-414 4800
Birmingham  B15 2TT                     fax 0121-414 3389

The Maths, Stats & OR Network is part of the Learning and Teaching 
Support Network, which provides discipline-based support for 
learning and teaching in UK universities.

More information can be found at http://ltsn.mathstore.ac.uk
===============================================================
-----------------------------------------------------------------
WebMath at mail.math.ca - WebMath Mailing List
To unsubscribe:
via Web:     http://camel.math.ca/cgi-bin/wcms/webmath.pl
via e-mail:  send message a to majordomo at mail.math.ca with
"unsubscribe webmath" in the BODY of message
List Archives: http://camel.math.ca/mail/webmath/
-----------------------------------------------------------------