[TYPES/announce] DisCoTec 2024 Joint Call for Participation

[Bas van den Heuvel]

[Apologies for multiple postings]

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

Joint Call for Participation

19th International Federated Conference on Distributed Computing Techniques

DisCoTec 2024

Groningen, The Netherlands, June 17-21, 2024

https://urldefense.com/v3/__https://www.discotec.org/2024/__;!!IBzWLUs!T2vgBc0CRQl-85cyDPxVeSBTZHumrpYuk99WrJVehV-Kb2nB0bNqLNvIAghLVqFfIbl-r0mbLNVEB7hZudVun93-KJ7nfn5tPPUZ$ 

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

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://urldefense.com/v3/__https://www.discotec.org/2024/registration__;!!IBzWLUs!T2vgBc0CRQl-85cyDPxVeSBTZHumrpYuk99WrJVehV-Kb2nB0bNqLNvIAghLVqFfIbl-r0mbLNVEB7hZudVun93-KJ7nfpjUW39s$ .

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://urldefense.com/v3/__https://www.discotec.org/2024/invited__;!!IBzWLUs!T2vgBc0CRQl-85cyDPxVeSBTZHumrpYuk99WrJVehV-Kb2nB0bNqLNvIAghLVqFfIbl-r0mbLNVEB7hZudVun93-KJ7nfjMMiSq-$  for further details.

* Main Conferences (June 18 - June 20) *

- COORDINATION 2024 (https://urldefense.com/v3/__https://www.discotec.org/2024/coordination__;!!IBzWLUs!T2vgBc0CRQl-85cyDPxVeSBTZHumrpYuk99WrJVehV-Kb2nB0bNqLNvIAghLVqFfIbl-r0mbLNVEB7hZudVun93-KJ7nfletJwdD$ )
  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://urldefense.com/v3/__https://www.discotec.org/2024/dais__;!!IBzWLUs!T2vgBc0CRQl-85cyDPxVeSBTZHumrpYuk99WrJVehV-Kb2nB0bNqLNvIAghLVqFfIbl-r0mbLNVEB7hZudVun93-KJ7nfm5Zlw6-$ )
  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://urldefense.com/v3/__https://www.discotec.org/2024/forte__;!!IBzWLUs!T2vgBc0CRQl-85cyDPxVeSBTZHumrpYuk99WrJVehV-Kb2nB0bNqLNvIAghLVqFfIbl-r0mbLNVEB7hZudVun93-KJ7nfrFGLvmV$ )
  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://urldefense.com/v3/__https://www.discotec.org/2024/accepted-papers__;!!IBzWLUs!T2vgBc0CRQl-85cyDPxVeSBTZHumrpYuk99WrJVehV-Kb2nB0bNqLNvIAghLVqFfIbl-r0mbLNVEB7hZudVun93-KJ7nfkTXTL62$ 
<https://urldefense.com/v3/__http://www.discotec.org/2024/accepted-papers__;!!IBzWLUs!T2vgBc0CRQl-85cyDPxVeSBTZHumrpYuk99WrJVehV-Kb2nB0bNqLNvIAghLVqFfIbl-r0mbLNVEB7hZudVun93-KJ7nfsepneHd$ > for details.

* Satellite Events (June 17 and June 21) *

- DiDiT 2024 (https://urldefense.com/v3/__https://distributeddigitaltwins.github.io/2024/__;!!IBzWLUs!T2vgBc0CRQl-85cyDPxVeSBTZHumrpYuk99WrJVehV-Kb2nB0bNqLNvIAghLVqFfIbl-r0mbLNVEB7hZudVun93-KJ7nfuTpmi8G$ )
  1st International Workshop on Distributed Digital Twins

- ICE 2024 (https://urldefense.com/v3/__https://www.discotec.org/2024/ice__;!!IBzWLUs!T2vgBc0CRQl-85cyDPxVeSBTZHumrpYuk99WrJVehV-Kb2nB0bNqLNvIAghLVqFfIbl-r0mbLNVEB7hZudVun93-KJ7nflFcieMc$ )

  17th Interaction and Concurrency Experience

- PLNL 2024 (https://urldefense.com/v3/__https://conf.researchr.org/home/plnl-2024__;!!IBzWLUs!T2vgBc0CRQl-85cyDPxVeSBTZHumrpYuk99WrJVehV-Kb2nB0bNqLNvIAghLVqFfIbl-r0mbLNVEB7hZudVun93-KJ7nfmNmPu48$ )

  4th VERSEN Workshop on Programming Languages in The Netherlands

To receive live, up-to-date information, follow us on X @DisCoTecConf (
https://urldefense.com/v3/__https://twitter.com/DisCoTecConf__;!!IBzWLUs!T2vgBc0CRQl-85cyDPxVeSBTZHumrpYuk99WrJVehV-Kb2nB0bNqLNvIAghLVqFfIbl-r0mbLNVEB7hZudVun93-KJ7nfsZaRYFI$ ).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240411/0d2641f8/attachment-0001.htm>