posted by organizer: kirstin || 40 views || tracked by 1 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

ICAART 2027   19th International Conference on Agents and Artificial Intelligence
DisCoTec 2026   21st International Federated Conference on Distributed Computing Techniques
Computing 2026   14th Computing Conference 2026
SAND 2027   6th Symposium on Algorithmic Foundations of Dynamic Networks
Computing 2027   15th Computing Conference 2027
PDP 2027   35th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing
Special Issue on AI Agents 2027   Special Issue on AI Agents
ABZ 2027   13th International Conference on Rigorous State Based Methods
Special Issue on AI-Powered Cyber-Physic 2027   Special Issue on AI-Powered Cyber-Physical Systems
Special Issue on Virtual Power Plants an 2027   Special Issue on Virtual Power Plants and Smart Grids