November 2007 Archives by thread

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

Starting: Thu Nov 1 11:40:12 CET 2007
Ending: Fri Nov 30 16:40:24 CET 2007
Messages: 14

• [Om-announce] 2nd CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007)   Manfred Kerber
• [Om-announce] Call for CAV Award Nominations (CAV 2008)   Aarti Gupta
• [Om-announce] Call for Papers: TAP 2008 (NEW SUBMISSION DEADLINES)   Christoph Gladisch
• [Om-announce] CONCUR 2008 Call for Workshop Proposals   Richard Trefler
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2008 Second Call For Papers   ISSAC 2008
• [Om-announce] Ph.D. in Symbolic Computation at RISC-Linz   Guenter Landsmann
• [Om-announce] WoLLIC 2008 - Call for Papers   ruy at cin.ufpe.br
• [Om-announce] CFA: 3rd Training School in Symbolic Computation   Temur Kutsia
• [Om-announce] First Call for Papers: Algebraic Biology 2008   Algebraic Biology 2008
• [Om-announce] CMS Winter 2007 Meeting: Computer Algebra Session   cms2007 at scl.csd.uwo.ca
• [Om-announce] [ISSAC-ANNOUNCE] Special Issue of Jornal of Symbolic Computation related to ISSAC 07   Bernard Mourrain
• [Om-announce] FinalCFP: RV'08 - Runtime Verification   Martin Leucker
• [Om-announce] MKM'08: First Call for Papers and Workshops   Serge Autexier
• [Om-announce] IJCAR Call for Papers, and Workshop and Tutorial Proposals   geoff at cs.miami.edu

Last message date: Fri Nov 30 16:40:24 CET 2007
Archived on: Fri Nov 30 19:10:21 CET 2007

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