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.