Temur Kutsia | 2 May 10:21 2013
Picon

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
http://www.risc.jku.at/conferences/scss2013/
=================================================

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

Scope
--------
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.
(Continue reading)


Gmane