Event | When | Where | Deadline | |
DisCoTec - 2022 |
17th International Federated Conference on Distributed Computing Techniques | |
Jun 13, 2022 - Jun 17, 2022 |
Lucca (IT) |
Feb 4, 2022 (Jan 28, 2022) |
COORDINATION 2022 |
24th International Conference on Coordination Models and Languages | |
Jun 13, 2022 - Jun 17, 2022 |
Lucca (IT) |
Feb 4, 2022 (Jan 28, 2022) |
FORTE 2022 |
42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems | |
Jun 13, 2022 - Jun 17, 2022 |
Lucca (IT) |
Feb 4, 2022 (Jan 28, 2022) |
COORDINATION 2023 |
25th International Conference on Coordination Models and Languages | |
Jun 19, 2023 - Jun 23, 2023 |
Lisbon (PT) |
Feb 18, 2023 (Feb 11, 2023) |
VORTEX 2023 |
6th Workshop on Verification and Monitoring at Runtime Execution | |
Jul 17, 2023 - Jul 21, 2023 |
Seattle, US |
Apr 30, 2023 |