Reminder: --------------- The submission deadline for ISSAC 2010 is soon approaching. If you intend to submit a paper, please submit a brief abstract at http://www.easychair.org/conferences/?conf=issac2010 by January 14. The full paper can be submitted at the same time or, up to a week later, by January 21.
The Call for Papers is available at http://www.issac-conference.org/2010/call-for-papers/ News: --------- If you have not recently visited the conference web site, you may be interested that the invited speakers and tutorials have been announced. The invited speakers are: * Evelyne Hubert (INRIA Sophia Antipolis, France): Algebraic invariants and their differential algebras * Siegfried M. Rump (Hamburg U. of Technology, Germany & Waseda U., Japan): Verification methods: Rigorous results using floating-point arithmetic * Ashish Tiwari (SRI International, USA): Theory of reals for verification and synthesis of hybrid dynamical systems and the tutorials are: * Moulay A. Barkatou (Limoges U., France): Symbolic methods for solving systems of linear ordinary differential equations * Jürgen Gerhard (Maplesoft, Canada): Asymptotically fast algorithms for modern computer algebra * Sergey P. Tsarev (Siberian Federal U., Russia): Transformation and factorization of partial differential systems with applications to stochastic systems For details, please visit http://www.issac-conference.org/2010 . Best regards, Peter Horn, on behalf of the ISSAC 2010 organizing committee PS: Apologies for multiple copies. ***** You may leave the ISSAC-ANNOUNCE list at any time by sending a "SIGNOFF ISSAC-ANNOUNCE" command to [email protected] or by visiting http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html. _______________________________________________ Om-announce mailing list [email protected] http://openmath.org/mailman/listinfo/om-announce
