[TYPES/announce] Final CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007)

2007-12-05 Thread Manfred Kerber
From: Manfred Kerber [EMAIL PROTECTED] FINAL CALL FOR PAPERS FOR A SPECIAL ISSUE OF MATHEMATICS IN COMPUTER SCIENCE on MANAGEMENT OF MATHEMATICAL KNOWLEDGE http://www.cs.bham.ac.uk/~mmk/events/mcs/ Guest

[TYPES/announce] 2nd CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007)

2007-11-01 Thread Manfred Kerber
+ From: Manfred Kerber [EMAIL PROTECTED] CALL FOR PAPERS FOR A SPECIAL ISSUE OF MATHEMATICS IN COMPUTER SCIENCE on MANAGEMENT OF MATHEMATICAL KNOWLEDGE http://www.cs.bham.ac.uk/~mmk/events/mcs/ Guest