Symbolic Computation in Software Science
Austrian-Japanese Workshop, SCSS 2008
RISC, Castle of Hagenberg, Austria
July 12-13, 2008
News
General
Submission
Program
Registration
Location
Workshop
photos
are online.
Dana Scott
accepted the invitation to give an invited talk.
Workshop
poster
is ready.
After the workshop, organizing a special issue of the
Journal of Symbolic Computation
is envisaged.
Hoon Hong
accepted the invitation to give an invited talk.
First
Call for papers
is out.