ACA 2017, 23rd International Conference on Applications of Computer Algebra Commemorating the heritage of Jonathan Michael Borwein Jerusalem College of Technology, Jerusalem, Israel, July 17-21, 2017

The ACA conference series is devoted to promoting all kinds of computer algebra applications, and encouraging the interaction of developers of computer algebra systems and packages with researchers and users (including scientists, engineers, educators, and mathematicians).

The 23nd International Conference on Applications of Computer Algebra (ACA), will take place in Jerusalem, Israel, on July 17-21, 2017.

Contact: aca2017@jct.ac.il

Website: http://www.aca2017.jct.ac.il

CONFERENCE FORMAT

The ACA conferences are organized as a few keynotes and a series of Special Sessions. Talk submissions have to be directed to the organizers of an appropriate Special Session

ACA 2017 GENERAL CHAIRS:

Thierry Dana-Picard, Jerusalem College of Technology Ilias Kotsireas, Wilfrid Laurier University, Canada

ACA 2017 ADVISORY COMMITTEE:

Michael Wester, Albuquerque, NM, USA Stanley Steinberg, Albuquerque, NM, USA Eugenio Roanes-Lozano, Madrid, Spain SCIENTIFIC COMMITTEE: ACA Working Group

ACA 2017 KEYNOTE SPEAKERS

(1) Bruno Buchberger, Research Institute for Symbolic Computation (RISC) Johannes Kepler University (JKU), Linz, Austria

(2) Rob Corless, Western University, London, ON, Canada

(3) Sara Hershkovitz, Center for Educational Technology, Tel Aviv, Israel

(4) Doron Zeilberger, Rutgers University, USA

SESSIONS

1. Computer Algebra in Education 2. Applied and Computational Algebraic Topology 3. Computer differential and difference algebra and its applications 4. Computer algebra modeling in science and engineering 5. Computational Algebraic Geometry, and Post-Quantum Cryptography - Multivariate Public Key Cryptography 6. Computer Algebra for Applied Physics 7. Computer Algebra for Dynamical Systems and Celestial Mechanics 8. Algorithmic Combinatorics 9. Geometry of Plane Curves 10. Automated Theorem Proving in Dynamic Geometry 11. Algebraic methods in geometric modeling 12. Parametric polynomial systems 13. Computer Algebra in image processing 14. Computer Algebra in Algebraic Graph Theory 15. Poster session 16. General session

PUBLICATION

Book of abstracts: Abstracts have to be sent using the LaTeX template. Please send both the LaTeX source and a compiled PDF version to the corresponding session chair. The book of abstracts will be made available on the website prior the conference.

Proceedings will be published as a special issue of the Mathematics in Computer Science (MCS) Journal http://www.springer.com/birkhauser/mathematics/journal/11786