[cmath] ACA 2017, July 17-21, 2017, Jerusalem, Israel

[Ilias Kotsireas]

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 at 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