5th International Workshop on

Harnessing Theories for Tool Support in Software

13. September 2011, Oslo, Norway

Co-located with FACS 2011

TTSS'11 Submission

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.

Important Dates

Submission deadline:12. August 2011 (Friday, extended)
Notification of acceptance:26. August 2011
Workshop:13. September 2011, University of Oslo, Norway

Our sponsors:

The Research Council of Norway      The Department of Informatics      The University of Oslo       Visit Oslo