November 2007 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Thu Nov 1 11:40:12 CET 2007
Ending: Thu Nov 29 13:24:49 CET 2007
Messages: 4

• [Om] 2nd CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007)   Manfred Kerber
• [Om] CMS Winter 2007 Meeting: Computer Algebra Session   cms2007 at scl.csd.uwo.ca
• [Om] FinalCFP: RV'08 - Runtime Verification   Martin Leucker
• [Om] MKM'08: First Call for Papers and Workshops   Serge Autexier

Last message date: Thu Nov 29 13:24:49 CET 2007
Archived on: Fri Nov 30 19:06:28 CET 2007

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...