*********************************
Joint Call for Participation
19th International Federated Conference on Distributed Computing Techniques
DisCoTec 2024
Groningen, The Netherlands, June 17-21, 2024
https://www.discotec.org/2024/
*********************************
DisCoTec 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).
DisCoTec 2024 will take place in Groningen, The Netherlands, between June
17-21, 2024, hosted by the University of Groningen.
* Registration *
Detailed information about registration can be found at
https://www.discotec.org/2024/registration.
Deadlines (23:59 CEST):
- Early registration: May 22, 2024.
- Late registration: June 12, 2024.
* Keynote Speakers *
- Marieke Huisman (University of Twente, NL)
VerCors: Inclusive Software Verification
- Laura Kovács (Vienna University of Technology, AT)
Automated Reasoning in BlockChain Security
- Paulo Veríssimo (KAUST, SA)
Platform Resilience? Beware of Threats from the "basement"
See https://www.discotec.org/2024/invited for further details.
* Main Conferences (June 18 - June 20) *
- COORDINATION 2024 (https://www.discotec.org/2024/coordination)
26th International Conference on Coordination Models and Languages
PC Chairs: Ilaria Castellani (INRIA Sophia Antipolis, France) and
Francesco Tiezzi (University of Florence, Italy)
- DAIS 2024 (https://www.discotec.org/2024/dais)
24th International Conference on Distributed Applications and
Interoperable Systems
PC Chairs: Rolando Martins (University of Porto, Portugal) and Mennan
Selimi (South East European University, North Macedonia)
- FORTE 2024 (https://www.discotec.org/2024/forte)
44th International Conference on Formal Techniques for Distributed
Objects, Components, and Systems
PC Chairs: Valentina Castiglioni (Eindhoven University of Technology, The
Netherlands) and Adrian Francalanza (University of Malta, Malta)
* Accepted Papers *
See https://www.discotec.org/2024/accepted-papers
<http://www.discotec.org/2024/accepted-papers> for details.
* Satellite Events (June 17 and June 21) *
- DiDiT 2024 (https://distributeddigitaltwins.github.io/2024/)
1st International Workshop on Distributed Digital Twins
- ICE 2024 (https://www.discotec.org/2024/ice)
17th Interaction and Concurrency Experience
- PLNL 2024 (https://conf.researchr.org/home/plnl-2024)
4th VERSEN Workshop on Programming Languages in The Netherlands
To receive live, up-to-date information, follow us on X @DisCoTecConf (
https://twitter.com/DisCoTecConf).
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
