Temur Kutsia | 2 May 10:21 2013

SCSS 2013 - Deadline Extension

[Please post - apologies for multiple copies.]

Deadline extension
SCSS 2013
Symbolic Computation in Software Science
5th International Symposium

Castle of Hagenberg, Austria, July 5-6, 2013
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University Linz

Important Dates
May 10, 2013: Abstract submission deadline (extended)
May 13, 2013: Paper submission deadline (extended)
June 3, 2013: Notification of acceptance
June 17, 2013: Camera-ready copy deadline
July 5-6, 2013: The symposium

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 
algebra, algebraic geometry, algorithmic combinatorics, computational logic,
and software analysis and verification.
(Continue reading)