Unifying Theories of Programming 2008

Call for Work-in-Progress Papers

In addition to the regular papers, and in order to encourage timely discussion of ongoing ideas and results, we would like to invite the submission of "work-in-progress" papers/extended abstracts for presentation at the symposium. The presenters of these papers will be entitled to submit a revised version for full review for inclusion in the formal (post-)proceedings to be published in Springer LNCS, and extended versions will be eligible for selection for a journal special issue.

WIP papers for review

Every WIP paper presented at UTP'08 is now eligible for submission for full review as a full-length (20 pages) revised version.

WIP Papers for Review should be submitted, as a new submission, not a revision, via the Easychair website .

For deadlines, see UTP'08 main page.