[mizar] Fwd: [MKM-IG] Reminder: CICM/MKM deadline approaching!

---------- Forwarded message ----------
From: David Aspinall <David.Aspinall@ed.ac.uk>
Date: Wed, Feb 27, 2013 at 5:04 PM
Subject: [MKM-IG] Reminder: CICM/MKM deadline approaching!
To: MKM IG <projects-mkm-ig@jacobs-university.de>

Dear MKMers,

Just a final reminder that next week is the deadline for the CICM main conference, including the Mathematical Knowledge Management (MKM) track:

http://www.cicm-conference.org/2013/cicm.php?event=&menu=cfp

As MKM track chair, I'm keen to see plenty of submissions for our track to contribute towards an excellent programme for Bath in July.

Feel free to contact me with any questions.

Best wishes,

- David

--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

_______________________________________________
projects-mkm-ig mailing list
projects-mkm-ig@lists.jacobs-university.de
http://lists.jacobs-university.de/mailman/listinfo/projects-mkm-ig