Main Conferences

DisCoTec gathers conferences that cover a broad spectrum of distributed computing subjects — from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches:

    COORDINATION 2025 - International Conference on Coordination Models and Languages
    DAIS 2025 - International Conference on Distributed Applications and Interoperable Systems
    FORTE 2025 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems

Publication

Authors are invited to submit papers electronically in PostScript or PDF using a two-phase online submission process. Registration of the paper information and abstract (max. 250 words) must be completed according to the submission dates and submissions are handled through the EasyChair conference management system (submission links are provided on the individual conference sites).

Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP’s Author Code of Conduct, see http://www.ifip.org/ under Publications/Links). The submissions must not exceed the total page number limit defined by the corresponding conference and prepared using Springer’s LNCS style. Submissions not adhering to these constraints may be rejected without review.