Closed Call For Papers (Post-Proceedings)

This call is sent to all speakers and participants of the GTTSE 2009 summer school. Please consider submitting your work for consideration for inclusion into the post-proceedings of GTTSE 2009. The submission deadline for all papers is 15 Oct 2009. If you have any questions please do not hesitate to ask any of the organizers.

Additional information about the different categories


Long tutorials were invited and the initial communication between organizers and tutorialists involved a detailed discussion of the prospective content. In all cases, the agreed tutorials are original, at least, in their detailed written form. (It is expected that several submissions to the post-proceedings will significantly differ from the versions that were included in the pre-proceedings.) The main purpose of the review period is hence to provide useful feedback to the authors so that they can improve the quality, clarity and readability of the long tutorial texts. (Page limits as individually discussed with the authors.)


Short tutorials were invited too but without the firm contract that written lecture notes must be accomplished, even though such a written counterpart is most welcome for the benefit of the post-proceedings. The short tutorials vary with regard to the degree of original material being used. Hence, a short tutorial submission to the post-proceedings should be accompanied with a clear originality statement (by means of a designated frontpage or a footnote or an extra paragraph) and thereby simplify the discussion of the scientific committee. If those submissions make a convincing originality statement and the submitted tutorial text makes a useful contribution to the authors' body of published work, then the review process should lead to acceptance. In particular, the review process will not be selective. A short tutorial paper may count as original on grounds like the following: a) original technical content is presented; b) original survey-like content is presented; c) several pieces of the work by the authors or others are integrated in a tutorial-like fashion. (Page limit: 20 pages.)


Please note that all participants may submit, not just those who presented their work in detail at the workshop. Submissions in this category will be reviewed in a manner that is similar to regular submissions at major conferences in the field, e.g., GPCE, MODELS, POPL, SLE. That is, the paper will be judged on the grounds of their technical merits, relevance for GTTSE, originality, and clarity. Acceptance in this category is competitive. Compared to other conferences, GTTSE offers the advantage of two rounds of reviewing. Hence, promising submissions which are not ready after the first round may attempt a second round. Also, the scientific committee is prepared to find submissions by junior researchers. Hence, the committee will make an effort to provide particularly helpful feedback through the reviews. Page limit: 15 pages.

Submission site:


  • Authors submit papers: 15 October 2009
  • Authors receive reviews: 15 December 2009
  • Authors submit revisions: 15 January 2010
  • Authors receive reviews: 15 February 2010
  • Authors send final papers: 1 March 2010
  • LNCS volume printed: 1 May 2010
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License