28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems(FORTE 2008)

Paper Submissions

This page is to be used for electronic submissions of abstracts (step 1) and associated long papers (step 2) and short papers for FORTE 2008. Please go to the relevant page by clinking one of the following URLs depending on the type of your submission.

Please be aware that a submitted paper that has been accepted must be presented at the conference. Therefore it is mandatory that at least one author registers at the conference until the early registration deadline, which will be announced later. Otherwise the paper will be excluded from the conference proceedings.