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.
Papers can be submitted electronically in pdf via the FORTE'14 interface of the EasyChair system. Each paper will undergo a peer review of at least 3 anonymous reviewers.
The conference proceedings will be published by Springer in the LNCS Series.
The conference proceedings will be published by Springer in the LNCS Series.