FORTE 2014: 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
A DisCoTec Member Conference
June 3-6, 2014, Berlin, Germany
Submission and publication
Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP's codes of conduct). The submissions must not exceed 15 pages in length, including figures and references, prepared using Springer's LNCS style. Submissions not adhering to the above specified constraints may be rejected without review.
The conference proceedings will be published by Springer in the LNCS Series.