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

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



CALL FOR POSTERS ISSAC 2009

International Symposium on Symbolic and Algebraic Computation
Korea Institute for Advanced Study
Seoul, Korea, July 28-31, 2009

http://issac2009.kias.re.kr/

The 2009 International Symposium on Symbolic and Algebraic Computation
(ISSAC) is the 34th meeting in a series of conferences, begun in 1966
and
held annually since 1981 in North America, Europe and Asia, for original
research on all aspects of symbolic computation. Following tradition,
ISSAC 2009 will have presentations of accepted research papers,
invited talks,
poster sessions, tutorial courses, software demonstrations, and company
exhibits.


The poster sessions at ISSAC form an excellent way to present early
research
results which are of interest but not yet completed. We invite
authors to submit
an extended abstract in PDF format of no more than 2 pages. The
abstracts
will be reviewed by the poster committee and relevant experts when
needed. The
review will take into account the content, originality, style, and
relevance of the
proposed poster. The accepted abstracts will be printed and
distributed at the
conference and included in an upcoming issue of the ACM SIGSAM
Communication in Computer Algebra.


IMPORTANT DATES

Deadline to submit an extended abstract (.pdf format): May 10th, 2009
Notification of acceptance: June 11th, 2009
Deadline to submit (.tex) updated abstracts: June 25th, 2009


CONFERENCE TOPICS

All topics covered traditionally by ISSAC including
all of computer algebra
algebraic methods in computational geometry and in theorem proving
the computer science of creating software for doing mathematics
Applications of symbolic computation to
the natural sciences, life science, engineering, education, and
others
For more details, see, e.g., the TOC in the Computer Algebra Handbook
URL: http://issac2009.kias.re.kr/cah_toc.pdf
In addition and not exclusively, applications of symbolic computation to
new models of computation (e.g., quantum computation, origami
mathematics) algebraic statistics
Certification of numerical results by symbolic computation
Implementation of symbolic computation systems on compact and mobile
devices.


SUBMISSION INSTRUCTIONS

Details on submission of contributions may be found by visiting the
submission page at
http://www.easychair.org/conferences/?conf=issac2009posters.
Authors are expected to present their work at the symposium.

POSTER COMMITTEE

Andrew Novocin, Univ. Montpellier 2, France, Chair
Ivan Morel, Ecole Normale Superieure de Lyon, France
Katsusuke Nabeshima, Osaka University, Japan
Peter Horn, Univ. Kassel, Germany

В избранное