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