[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2010 Reminder and News

[Peter Horn]

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 LISTSERV at LISTSERV.ACM.ORG or by visiting http://listserv.acm.org/archives/ISSAC-ANNOUNCE.html.