Program announcement and call for participation
Fairouz Kamareddine
fairouz at macs.hw.ac.uk
Thu Nov 13 11:14:42 EST 2003
Mathematical Knowledge Management Symposium
25-29 November 2003
Heriot-Watt University, Edinburgh, Scotland
http://www.macs.hw.ac.uk/~fairouz/mkm-symposium03/
http://www.macs.hw.ac.uk/~fairouz/mkm-symposium03/program.html
------------------------------------------------
|Program announcement and call for participation|
------------------------------------------------
The program is now available at the above URL.
If you wish to participate, contact Fairouz Kamareddine,
email: fairouz at macs.hw.ac.uk
More information about the Types-list
mailing list