Symbolic Computation in Software Science
Austrian-Japanese Workshop, SCSS 2008
RISC, Castle of Hagenberg, Austria
July 12-13, 2008
NEWS: Workshop photos are online. See the News section...
News
General
Submission
Program
Registration
Location
Scope
Dates
Speakers
Committees
Invited Speakers
Hoon Hong
(North Carolina State University, USA).
Symbolic Computation in Software Science.
Dana Scott
(Carnegie Mellon University, USA).
Some Challenges for Automated Theorem Proving
