All conferences / FORTE / 2015
FORTE 2015
35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
Submission timeline
- 15 Feb 2015 Abstract registration
- 22 Feb 2015 Full paper
- 23 Mar 2015 Notification
- 2 Jun 2015 Conference opens
What to submit
- Format
- 15 pages LNCS (regular / tool) / 7 pages (short / tool demo) / 3 pages (poster)
- Proceedings
- Springer LNCS — Paywalled, for-profit
A DisCoTec Member Conference. The best papers will be invited after the conference to contribute to a special issue of a top-level journal (e.g. TCS or Information & Computation).