[Apologies for multiple postings]

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

Final 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.

Deadline June 12, 2024 (23:59 CEST).

* 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)

* Programme *

The full programme can be found at

https://www.discotec.org/2024/programme

* Accepted Papers *

See https://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).