------------------------------------------------------------------------------------ ISSAC 2014 International Symposium on Symbolic and Algebraic Computation Kobe University, Japan, July 23-25, 2014. SECOND CALL FOR PAPERS http://www.issac-conference.org/2014 ABSTRACT SUBMISSION DEADLINE: Sunday, January 12, 2014, 23:59 EST FULL PAPER SUBMISSION DEADLINE: Sunday, January 19, 2014, 23:59 EST (no extension) ----------------------------------------------------------------- The International Symposium on Symbolic and Algebraic Computation is the premier conference for research in symbolic computation and computer algebra. ISSAC 2014 is the 39th meeting in the series. The conference traditionally presents a range of invited speakers, tutorials, poster sessions and software demonstrations with a centre-piece of contributed research papers. ISSAC 2014 is held July 23-25, 2014 at Kobe University, Japan. Workshops and Tutorial Sessions will be held prior to the conference, between July 21-22, 2014. ISSAC 2014 is affiliated with "Kobe Computing Week 2014", an event of Academic Exchange Weeks, Graduate School of Human Development and Environment, Kobe University, in-cooperation with ACM/SIGSAM, sponsored by Cybernet Systems, Maplesoft, Wolfram Research, Tateishi Science and Technology foundation, and Kayamori Foundation of Informational Science Advancement, and supported by Japan Society for Symbolic and Algebraic Computation, and National Institute of Informatics. Related Conferences: -------------------- ISSAC 2014 is a satellite conference of ICM 2014 (International Congress of Mathematicians), Korea. Also, SNC 2014 (Symbolic-Numeric Computation), Shanghai, China, is a satellite conference of ISSAC 2014. Important Dates: ---------------- Paper Abstract submission: Sunday, January 12, 2014, 23:59 EST Full paper submission deadline: Sunday, January 19, 2014, 23:59 EST (no extension) Notification of acceptance/rejection: Sunday, March 30, 2014 Camera-ready copy due: Wednesday, April 30, 2014 Invited Speakers: ----------------- Noriko Arai (National Institute of Informatics, Japan) David Stoutemyer (University of Hawaii, USA) Bernd Sturmfels (University of California Berkeley, USA) Submission Instructions: ------------------------ ISSAC 2014 invites the submission of original research contributions to be considered for publication and presentation at the conference. Papers should not duplicate work published or submitted for consideration elsewhere (except in the form of an abstract or as part of a published lecture or academic thesis or as an electronic preprint). Submission is in two stages: first the abstract is submitted by the abstract deadline, then the associated paper may be submitted up to the full paper deadline. Papers must be in English and should not exceed 8 pages in the ACM sig-alternate.cls style, found at http://www.acm.org/sigs/publications/proceedings-templates. Submissions in other article styles are also accepted, but the final version must be at most 8 pages when compiled in sig-alternate.cls style (equivalent to about 17 pages of letter size paper, typeset in 12pt with normal spacing and reasonably large margins). Extended abstracts are not allowed. Papers may have an appendix that may be read by the reviewers and PC members at their discretion, but will not be included in the published version of the paper. At least one author of each accepted paper must register for the conference and present the paper. Submission is via EasyChair, at the web site https://www.easychair.org/conferences/?conf=issac2014 See also the detail in ISSAC 2014 paper review process http://www.issac-symposium.org/2014/review.html Proceedings: ------------ The conference proceedings will be available via the ACM digital library. (The ISBN of the conference proceedings is 978-1-4503-2501-1.) See also the proceedings of ISSAC 2013, at the following url http://dl.acm.org/citation.cfm?id=2465506 Topics: ------- All areas of computer algebra and symbolic mathematical computation are of interest. These include, but are not limited to: Algorithmic aspects: * Exact and symbolic linear, polynomial and differential algebra * Symbolic-numeric, homotopy, perturbation and series methods * Computational algebraic geometry, group theory and number theory * Computer arithmetic * Summation, recurrence equations, integration, solution of ODEs & PDEs * Symbolic methods in other areas of pure and applied mathematics * Complexity of algebraic algorithms and algebraic complexity Software aspects: * Design of symbolic computation packages and systems * Language design and type systems for symbolic computation * Data representation * Considerations for modern hardware * Algorithm implementation and performance tuning * Mathematical user interfaces Application aspects: * Applications that stretch the current limits of computer algebra algorithms or systems, use computer algebra in new areas or new ways, or apply it in situations with broad impact. Conference Organization: ------------------------ General co-Chairs: Kosaku Nagasaka (Kobe University, Japan) Franz Winkler (RISC, Linz, Austria) Program Committee Chair: Agnes Szanto (North Carolina State University, USA) Proceedings Editors: Kosaku Nagasaka (Kobe University, Japan) Franz Winkler (RISC, Linz, Austria) Agnes Szanto (North Carolina State University, USA) Local Arrangement Chair: Kosaku Nagasaka (Kobe University, Japan) Publicity Chair: Ekaterina Shemyakova (State University of New York at New Paltz, USA) Treasurer: Akira Terui (University of Tsukuba, Japan) Poster Chair : Wen-shin Lee (University of Antwerp, Belgium) Software Exhibits Chair: Daniel Lichtblau (Wolfram Research, Inc., USA) Tutorial Chair Tetsu Yamaguchi (Maplesoft, Canada) Workshop Chair: Takuya Kitamoto (Yamaguchi University, Japan) Webmaster: Masaru Sanuki (University of Tsukuba, Japan) Program Committee: Shaoshi Chen (Chinese Academy of Sciences, China) Carlos D'Andrea (U. Barcelona, Spain) Wayne Eberly (U. Calgary, Canada) Ioannis Emiris (U. Athens, Greece) Jean-Charles Faugere (INRIA, France) Mark Giesbrecht (U. Waterloo, Canada) Jonathan Hauenstein (North Carolina State University, USA) Evelyne Hubert (INRIA, France) Alexander Hulpke (Colorado State University, USA) Gabor Ivanyos (MTA SZTAKI, Hungary) Joseph Maurice Rojas (Texas A&M University, USA) Julio Rubio (Universidad de La Rioja, Spain) Mohab Safey el Din (Univ. Pierre and Marie Curie, France) Tateaki Sasaki (University of Tsukuba, Japan) Yosuke Sato (Tokyo U. of Science, Japan) Josef Schicho (RISC, Austria) Michael Singer (North Carolina State University, USA) Elena Smirnova (Texas Instruments, USA) Agnes Szanto (North Carolina State University, USA) - Chair Chee Yap (NYU, USA)