The purpose of SCSS 2013 is to promote research on theoretical and practical aspects of symbolic computation in software science. The symposium provides a forum for active dialog between researchers from several fields of computer algebra, algebraic geometry, algorithmic combinatorics, computational logic, and software analysis and verification.
| Submissions: | May 3, 2013 |
| Notification: | June 3, 2013 |
| Event: | July 5, 2013-July 6, 2013 |