Milestones in Computer Algebra (MICA 2016)

Celebrating the research of Erich Kaltofen
University of Waterloo, Canada
July 16-18, 2016

*Click on photos for full-size versions*

Special Issue of the Journal of Symbolic Computation for MICA 2016

Following the success of the Milestones in Computer Algebra (MICA 2016) workshop, as well as the discussions and developments afterwards, we are pleased to announce a special issue of the Journal of Symbolic Computation. We are soliciting papers for a special issue of the Journal of Symbolic Computation on the theme of the conference. Extended Deadline for submission: July 1, 2018 Click here for more details.

Important Links

Rooted in the boundary area between mathematics and computer science, computer algebra has evolved as a lively independent discipline and significantly influenced the research in many scientific fields.

This workshop surveys some major achievements of computer algebra and its connections to related scientific areas. Key focuses include both classical and emerging sub-disciplines of computer algebra, such as hybrid symbolic-numeric computation, exact linear algebra, algebraic complexity, polynomial factorization, and sparse interpolation. Besides presenting the latest results, the proposed workshop will assess these achievements and their impacts to other domains, in the hope of identifying promising future research directions.

We will take this occasion to acknowledge Erich Kaltofen's research accomplishments in computer algebra. Besides his many scientific contributions to computer algebra, number theory, and software systems, he has played a crucial role in the formation and development of many of the key emerging sub-disciplines represented here. Several of Kaltofen's key collaborators on these topics will present related results at this meeting.

Participants are also encouraged to attend:

ISSAC 2016: The 41st International Symposium on Symbolic and Algebraic Computation
Wilfred Laurier University, Waterloo, Ontario, Canada
July 19-22, 2016

Conference venue and schedule

The conference will take place in the Davis Centre, on the University of Waterloo campus. Directions to the campus and a campus map can be found
here. The Davis Centre is on the east side of campus, and is labelled DC on the map.

The conference schedule may be found here.

Talks will take place in room DC 1302. Coffee breaks will be held in DC 1301 (the "fishbowl" room surrounded by glass, beside DC 1302).

Some useful information on travel to Waterloo can be find here, which is available on the website of ISSAC 2016.

Visitor parking is available at N Lot (north of the Davis Centre) at $5/day and M Lot (west of the Davis Centre) at $6/day. Additional visitor lots are listed here.

There are plenty of interesting restaurants near campus, and in Uptown Waterloo. A mini-guide is found here.


Map of Waterloo campus and nearby housing and restaurants (
link in jpg).
Map of banquet location (link in jpg).


Register for MICA 2016 here.

Travel support

The organizers of MICA 2016 have limited funds to help students, postdocs, and participants who do not have grant or institutional support to attend the workshop. Preference will be given to those presenting a poster or a talk, and those whose documented travel expenses are greatest. If you are interested in being considered for travel support, please register for the workshop and email requesting travel support with an itemized estimate of your expenses.

Speakers (as of June 27)

Andrew Arnold (North Carolina State U., USA)
Bobby F. Caviness (U. Delaware, USA)
Shaoshi Chen (Chinese Academy of Sciences, China)
Robert M. Corless (Western U., Canada)
Jean-Guillaume Dumas (U. Grenoble Alpes, France)
Wayne Eberly (U. Calgary, Canada)
Xiao-Shan Gao (Chinese Academy of Sciences, China)
Joachim von zur Gathen (B-IT, Germany)
Keith Geddes (U. Waterloo, Canada)
Mark Giesbrecht (U. Waterloo, Canada)
Laureano Gonzalez-Vega (U. de Cantebria, Spain)
Markus Hitz (U. North Georgia, USA)
Erich Kaltofen (North Carolina State U., USA)
Thomas L. Kaltofen (RISC Software GmbH, Austria)
Manuel Kauers (Johannes Kepler U, Austria)
Christoph Koutschan (RICAM, Austrian Academy of Sciences, Austria)
George Labahn (U. Waterloo, Canada)
Daniel Lichtblau (Wolfram Research, USA)
Lakshman (Google, USA)
Wen-shin Lee (U. Antwerp, Belgium)
Michael Monagan (Simon Fraser U., Canada)
Kosaku Nagasaka (Kobe U., Japan)
Anand Kumar Narayanan (Caltech, USA)
Dai Numahata (Tokyo U. of Science, Japan)
Victor Pan (Lehman College CUNY, USA)
Clément Pernet (U. Grenoble Alpes, France)
Daniel S. Roche (US Naval Academy, USA)
Mohab Safey El Din (U. Pierre et Marie Curie, France)
David Saunders (U. Delaware, USA)
Takafumi Shibuta (Kyushu U., Japan)
Gilles Villard (ENS Lyon, France)
Stephen M. Watt (U. Waterloo, Canada)
George Yuhasz (Morehouse College, USA)
Zhengfeng Yang (East Coast Normal U., China)
Zhenbing Zeng (Shanghai U., China)
Lihong Zhi (AMSS, China)

Organizing Committee

Shaoshi Chen (Chinese Academy of Sciences, China)
Mark Giesbrecht (U. Waterloo, Canada)
Wen-shin Lee (U. Antwerp, Belgium)
Austin A. Lobo (Washington College, USA)
Sharon Moore (Baylor U., USA)
Arne Storjohann (U. Waterloo, Canada)
Stephen Watt (U. Waterloo, Canada)
Zhengfeng Yang (East China Normal U., China)
Lihong Zhi (Chinese Academy of Sciences, China)

Andrew Arnold (North Carolina State U., USA)

Call for talks and posters

We invite submissions of abstracts for contributed talks and posters for MICA 2016. We solicit talks on recent research or surveys of the historical development of sub-areas, with a preference to topics connected to Erich Kaltofen's life-long research interests. We also encourage submissions from all areas of computer algebra and related scientific fields.

Contributed talks are scheduled for 25 minute timeslots: 20 minutes are for each talk plus 5 minutes for questions.

Submission Instructions

Abstracts shall be submitted via EasyChair at the following URL:
The extended abstract (.pdf) is optional in the submission.

Early submissions are strongly encouraged. We will try make acceptance decisions within 2 weeks of each submission. Submissions by June 26, if accepted, will be listed in the printed program.

The accepted talk and poster abstracts will be distributed at the conference as well as published in an upcoming issue of the ACM SIGSAM Communications in Computer Algebra.

A special issue of the Journal of Symbolic Computation is planned to follow the conference.


There are a number of reasonably-priced hotels near the University of Waterloo, many of which have a "University of Waterloo rate" (just ask). Some options are:

For more accommodation choices, please also check ISSAC2016 accommodations and Waterloo Residences.


We acknowledge the generous support from our sponsors: