Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

Система компьютерной алгебры GAP: ISSAC 2010



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

* Ju: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

В избранное