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

Peter Horn publicity2010 at ISSAC-CONFERENCE.ORG
Thu Jan 7 12:31:28 CET 2010

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

If you have not recently visited the conference web site, you may be
interested that the invited speakers and tutorials have been

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.

More information about the Om-announce mailing list