ACA 2017

23rd Conference on Applications of Computer Algebra

Jerusalem, July 17-21, 2017

Commemorating the heritage of Jonathan Michael Borwein

Panorama of Jerusalem Old City and Temple Mount, Israel

Panorama of Jerusalem Old City and Temple Mount, Israel

Welcome to the site of ACA 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).

Topics include, but are not limited to, computer algebra in the sciences, engineering, communication, medicine, pure and applied mathematics, education and computer science.


ACA 2017 will take place on the Lev campus of the Jerusalem College of Technology (JCT).

JCT is an institution of Higher Education devoted mainly to High Tech (Computer Science, Telecommunications, Electro-optics, Electronics, etc.), Management and Health). The department of Mathematics provides courses to all the other departments, so does the department of CS besides its own curriculum. Students @ JCT learn towards B.SC and M.Sc. in these different fields.

Researchers are active in numerous scientific fields and collaborate with researchers in Israel and overseas, both at universities and in industry.


General Chairs

Thierry Dana-Picard, Jerusalem College of Technology

Ilias Kotsireas, Wilfrid Laurier University, Canada

Advisory Committee:

Stanly Steinberg - Albuquerque, USA

Eugenio Roanes-Lozano, Univ. Complutense de Madrid, Spain

Michael Wester - Albuquerque, USA

Scientific Committee:

ACA working group

Local organizing committee

Thierry Dana-Picard, Ivy Kidron, Meir Komar, Jacob Koletker, Yossi Peretz, Moti Reiff - (JCT, Math Dpt and CS Dpt -



Name Institution Country
1. Bruno Buchberger Johannes Kepler University, Linz Austria
2. Doron Zeilberger Rutgers University, New Brunswick, NJ USA
3. Gershon Elber CS, Technion, Haifa Israel
4. Haiduke Sarafian University College, Penn State U., PA USA
5. Haohao Wang Math Dpt, Southeast Missouri State U., MO USA
6. Iddo Hanniel Mobileye, Jerusalem Israel
7. Ilias Kotsireas Wilfrid Laurier University, ON Canada
8. Jinesh Machchhar CS, Technion, Haifa Israel
9. Malka Schaps Math Dpt, Bar Ilan University Israel
10. Michael Barton BCAM, Bilbao Spain
11. Myung Soo Kim CS, Seoul national University, Seoul Korea
12. Rob Corless  Western University, London, ON Canada
13. Sara Hershkovitz Center for Educational Technology, Tel Aviv Israel
14. Thierry Dana-Picard Jerusalem College of Technology Israel
15. Witold Mozgawa Maria Curie-Skłodowska University (UMCS), Lublin Poland
16. Juan Gerardo Alcázar Arribas  Universidad de Alcalá  Spain
17. Michel Beaudin Ecole de Technologie Supérieure Montréal, QC
18. Canada Ron Adin Bar Ilan University Israel

The program will appear when possible

Submission of session proposals:

March 1st, 2017: deadline for submission

March 31st, 2017 : notification of acceptance

Early submission is encouraged, and early notification of acceptance will follow.

Submission of talks :

April 30th, 2017: deadline for submission of talks

May 31st, 2017 : notification of acceptance

Early submission is encouraged, and early notification of acceptance will follow.

Final version of abstracts : June 25th, 2017

The 23nd International Conference on Applications of Computer Algebra (ACA, will take place in Jerusalem (Israel) on July 17-21, 2017. The ACA conferences are organized as a series of Special Sessions. All interested researchers can propose a Special Session by sending an e-mail to the Program Chairs by March 15st, 2017. The Scientific Committee (i.e. the ACA Working Group) will then decide on the acceptance of the proposed session. Accepted sessions will be immediately announced on the this site

A proposal for a Special Session has to include:

• title of the Special Session,

• short abstract describing the Special Session,

• contact information of the organizers.

For more details see >>

Talk submissions have to be directed to the organizers of an appropriate Special Session. It is expected that organizers actively contact potential speakers.

The poster session offers all participants the opportunity to present their research in an informal environment. Software demonstrations are also welcome.

A Mathematica license will be granted to the best poster or presentation.

Please see the poster session page.


The poster is under preparation.

When available, you are cordially invited to download it and to dispatch it to people/departments to whom you wish to advertize the conference.


.If you are interested in proposing a talk, please send an abstract to the organizers of the suitable session

.Please use this LaTeX template for your abstract and send both the LaTeX source and a compiled PDF version

.If you do not work with LaTeX, the submission may be sent in Word format (.doc or .docx file) and later, once accepted, we will try to adapt the proposal to the LaTeX template


.We plan to publish proceedings of ACA 2017 as a special issue of the journal Mathematics in Computer Science. Details will be announced ASAP


The conference will take place on the Lev Campus of Jerusalem College of Technology (Lev Academic Center).

The campus is located at 21, Havaad Haleumi Street, Jerusalem, in the Givat Mordechai area. It is close to the Begin Road and can be easily reached by public transportation.

Transportation: Bus: 5,6,9,39

Tramway: Shaare Tsedek Hospital station, then cross the road and take bus 39 to Givat Mordechai.

Taxis: they have a yellow sign on their roof with a registration number. You can stop a taxi on the street, or find taxi stations in every part of Jerusalem. Some companies have a mobile application (for example Gett).

For participants coming with a car, there is a parking lot at the entrance of the campus. On the campus, the parking facilities are quite limited. In the immediate neighbourhood of the workshop venue is a cafeteria open all day long. There are also vending machines at various places of the campus for snacks and refreshments.

lev campus new map



We are offering a conference excursion to interesting places in Jerusalem, in particular the Old City of Jerusalem, and maybe some other places. Details will be available later.


On Wednesday evening, after our visit to the Old City, we will have the conference dinner on the campus. Details will be available later.



There are numerous hotels, hostels, albergos, etc. in Jerusalem.

Here is a website where the hotels are classified according to various criteria: star number, location, etc.  

Here are the areas we suggest you to choose:

  1. Central Bus Station Mall (the central bus station is not in city center, this is a name for the intercity main bus station) (Tramway stop: Central Station)

  2. West Jerusalem (probably the closest to the campus are listed there): Ramada, Jerusalem Gardens Hotel and Spa, Prima Park are on the same street (Vilani St.). Tramway stop: Kiryat Moshe (Ben Dor)

  3. Jaffa Street area.

  4. City Center (Tramway stop: Jaffa Center)

  5. Machane Yehuda stop Market (Tramway: Mahane Yehuda)


The closest hotel is Shalom. On foot, via a "trail", it takes 5-7 minutes to the campus. With a taxi, it takes 5-8 minutes.

1-2: From there you arrive to the campus entrance by bus no 6 (3 stops).

3-4-5: you arrive to the campus with bus 19 or with the Tramway (until stop Yefe Nof) and then bus 5, 39 (it will take about 25 minutes, depending on the period).

There are also good hotels close to Old City, but at a greater distance from the campus. Tramway stops: Shivtei Israel, Shimon Hatsadik.


The black arrow shows the direction to the campus.


Some hotels are listed in more than one area, as these areas are not disconnected open sets.

Of course you may use the classical sites such as,,, etc. The first one has a special subsite for cheap hotels in Jerusalem.

image001 Center for Educational Technology (CET), Tel Aviv

wolfram   maplesoft


Laurier Wilfrid Laurier University, ON, Canada

האגוד הישראלי למתמטיקה


Emmy Noether


Jonatan Borwein ז"ל

Very few mathematicians manage to transcend the boundaries of more than one mathematical discipline and make substantial contributions to several areas of Mathematics. Jon was undeniably one of them. He was a paragon of Experimental Mathematics, Symbolic Computation, Functional Analysis, Optimization and other areas. His research work has already inspired thousands of individual researchers and will remain as a testament to this generation and to the coming ones.