Program announcement and call for participation

• To: amast@cs.utwente.nl, EAPLS@JISCMAIL.AC.UK, ipalist@win.tue.nl, meta-announce@cwi.nl, rewriting@ens-lyon.fr, types@cis.upenn.edu, ypes-wg@durham.ac.uk
• Subject: Program announcement and call for participation
• From: Fairouz Kamareddine <fairouz@macs.hw.ac.uk>
• Date: Thu, 13 Nov 2003 11:14:42 +0000
• Cc: fairouz@macs.hw.ac.uk
• List-Archive: <http://lists.seas.upenn.edu/pipermail/types-list>
• List-Help: <mailto:types-list-request@lists.seas.upenn.edu?subject=help>
• List-Id: TYPES forum <types-list.lists.seas.upenn.edu>
• List-Post: <mailto:types-list@lists.seas.upenn.edu>
• List-Subscribe: <http://lists.seas.upenn.edu/mailman/listinfo/types-list>, <mailto:types-list-request@lists.seas.upenn.edu?subject=subscribe>
• List-Unsubscribe: <http://lists.seas.upenn.edu/mailman/listinfo/types-list>, <mailto:types-list-request@lists.seas.upenn.edu?subject=unsubscribe>
• Sender: types-list-bounces+bcpierce=cis.upenn.edu@lists.seas.upenn.edu

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

		
		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@macs.hw.ac.uk

• Prev: Preliminary CFP: GPCE'04 -- Generative Programming and Component Engineering
• Next: CfP: ESSLLI'04 Student session
• Index(es):
  • Main
  • Thread