[Om-announce] [ISSAC-ANNOUNCE] ISSAC 2010 Reminder and News
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 .
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