All CFPs for "symbolic computation"

Click on the CFP acronym to **open this CFP**.

To **add a CFP** to your watchlist, click .

Click on a topic to **see related CFPs**.

The table below uses the following colors: in my watchlist, other.

Acronym | Name | Location | Submission deadline | Start date | Topics | |
---|---|---|---|---|---|---|

SC-square 2019 | Symbolic Computation and Satisfiability Checking 2019 | Bern, Switzerland | Apr 20, 2019 | Jul 10, 2019 | symbolic computation computer algebra smt | |

ISSAC 2019 | International Symposium on Symbolic and Algebraic Computation | Beijing, China | Jan 20, 2019 | Jul 15, 2019 | symbolic computation computer algebra |