28-31 Jul 2009
Seoul, Korea
CALL FOR PAPERS 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.
IMPORTANT DATES
Paper submission deadline is Saturday, Jan. 17, 2009, 23:59 EST [+7 days
extension] Notification of Acceptance/rejection: no later than Monday,
March 30, 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.
CONFERENCE OFFICERS
Jeremy Johnson, Drexel U., USA and Hyungju Park, KIAS, Korea, General
Co-Chairs
Erich Kaltofen, NCSU, USA, Program Committee Chair
Program Committee
Massimo Caboara, U. Pisa, Italy Siegfried Rump, TUHH, Germany
Gene Cooperman, Northeastern U., USA Bruno Salvy, INRIA, France
Mark Giesbrecht, U. Waterloo, Canada Carsten Schneider, RISC,
Austria
Jaime Gutierrez, U. Cantabria, Spain Kiyoshi Shirayanagi, Tokai
U., Japan
Weidong Liao, Shepherd U., USA Elena Smirnova, Texas
Instruments, USA
Scott McCallum, Macquarie U., Australia Volker Sorge, U. Birmingham, UK
Kosaku Nagasaka, Kobe U., Japan Adam Strzebonski, Wolfram
Research,
USAClement Pernet, U. Washington, USA Stephen Watt, U. Western
Ontario,
Canada
/ U. Grenoble I, France Franz Winkler, RISC, Austria
Markus Rosenkranz, RICAM, Austria Min Wu, East China Normal U.,
China
SUBMISSION INSTRUCTIONS
Papers must contain original research and not duplicate work published or
submitted for publication elsewhere. Papers will be reviewed by the
Program Committee and external referees. Proceedings will be distributed
at ISSAC 2009. Papers must be written in English and should not exceed 8
pages in ACM's Proceedings style
http://www.acm.org/sigs/publications/proceedings-templates , which is
about 20 to 22 pages in LaTeX 12pt article style. If necessary,
submissions can have an appendix that may be read by the reviewers and PC
Members, but that is not considered part of the Proceedings paper.
Papers are exclusively submitted via
http://www.easychair.org/conferences?conf=issac2009 We
expect that at least one author of each accepted paper attends ISSAC 2009
and presents her or his paper.
REPEATING DATES
Submit by Jan. 24, 23:59 EST; accept/reject by Mar. 30; Conf. Jul.
28-31, 2009.