5th International Workshop on
Harnessing Theories for Tool Support in Software
13. September 2011, Oslo, Norway
Co-located with FACS 2011
TTSS invites authors to submit original and unpublished work. Submissions should include an abstract, key words, the e-mail address of the corresponding author, and should not exceed 15 pages using ENTCS style. The submission website is at
Accepted papers will be invited to a special journal issue of "Science of Computer Programming" by Elsevier. Pre-proceedings will be published as a technical report in the UIO report series.
Please prepare your submission according to the guidelines in http://www.entcs.org/prelim.html using the generic template.
|Submission deadline:||12. August 2011 (Friday, extended)|
|Notification of acceptance:||26. August 2011|
|Workshop:||13. September 2011, University of Oslo, Norway|