posted by organizer: kirstin || 491 views || tracked by 2 users: [display]

DisCoTec 2027 : 22nd International Federated Conference on Distributed Computing Techniques

FacebookTwitterLinkedInGoogle

Link: https://www.discotec.org/2027
 
When Jun 14, 2027 - Jun 18, 2027
Where Augsburg, Germany
Abstract Registration Due Jan 28, 2027
Submission Deadline Feb 4, 2027
Notification Due Mar 22, 2027
Final Version Due Apr 1, 2027
Categories    distributed computing   formal methods   programming languages   multi-agent systems
 

Call For Papers

DisCoTec 2027

22nd International Federated Conference on Distributed Computing Techniques


Augsburg, Germany, 14-18 June 2027

Abstract submission: 28 January 2027
Submission deadline: 04 February 2027


https://www.discotec.org/2027/


************************************************************************


DisCoTec 2027 is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). It gathers conferences and satellite events 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. The three main conferences are:


* COORDINATION 2027 - 29th International Conference on Coordination Models and Languages

* DAIS 2027 - 27th International Conference on Distributed Applications and Interoperable Systems

* FORTE 2027 - 47th International Conference on Formal Techniques for Distributed Objects, Components, and Systems

DisCoTec 2027 is organised by the University of Augsburg.

* Important Dates (for all main conferences) *

All deadlines expire at 23:59 anywhere on earth.
- Abstract submission: 28 January 2027
- Paper submission: 04 February 2027
- Paper notification: 22 March 2027
- Artefact submission: 11 February 2027
- Artefact kick-the-tires - problem reports: 22 February 2027
- Artefact kick-the-tires - author response: 01 March 2027
- Paper and Artefact notification: 25 March 2027
- Camera-ready: 01 April 2027
- DisCoTec conference: 14-18 June 2027

See each conference site for topics of interest, paper categories, and submission instructions.

* Main Conferences *
- COORDINATION (https://www.discotec.org/2027/coordination)
29th International Conference on Coordination Models and Languages

PC Chairs: Clément Aubert (Augusta University, USA) and Cristina Seceleanu (Mälardalen University, Sweden)


- DAIS (https://www.discotec.org/2027/dais)
27th International Conference on Distributed Applications and Interoperable Systems

PC Chairs: Vana Kalogeraki (Athens University of Economics and Business, Greece) and Francisco Maia (University of Porto, Portugal)


- FORTE (https://www.discotec.org/2027/forte)
47th International Conference on Formal Techniques for Distributed Objects, Components and Systems

PC Chairs: Cinzia Di Giusto (Université Côte d’Azur, France) and Peter Thiemann (Universität Freiburg, Germany)


************************************************************************

Call for Satellite Events (Workshops and Tutorials)

Researchers and practitioners are invited to submit proposals for satellite events (workshops and tutorials) to be affiliated to DisCoTec 2027. We welcome proposals on topics related to distributed systems: from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches.

The satellite events (workshops and tutorials) will be held on Monday, June 14, 2027 and on Tuesday, June 15, 2027.

Please check https://www.discotec.org/2027/satellite_events for applications of satellite events.

Related Resources

DisCoTec 2026   21st International Federated Conference on Distributed Computing Techniques
SAND 2027   6th Symposium on Algorithmic Foundations of Dynamic Networks
Computing 2026   14th Computing Conference 2026
WMAC 2027   Third Workshop on Multi-Agent Collaboration: Measuring Collective Intelligence in Agentic Systems (AAAI-27)
Computing 2027   15th Computing Conference 2027
SIROCCO 2027   34th International Colloquium On Structural Information and Communication Complexity
DEON 2027   18th International Conference on Deontic Logic and Normative Systems, 29 June–1 July 2027, Hangzhou, China (First announcement)
DCOSS-IoT 2027   The 23nd Annual International Conference on Distributed Computing in Smart Systems and the Internet of Things
ABZ 2027   13th International Conference on Rigorous State Based Methods
AEiC 2027   31st Ada-Europe International Conference on Reliable Software Technologies, AEiC 2027