Subject: Animation and exchanges in the Petri Nets community
List archive
- From: Bas van den Heuvel via Petrinet <address@concealed>
- To: Bas van den Heuvel <address@concealed>
- Subject: [PN-world] (PN) DisCoTec 2024 Final Call for Participation
- Date: Sun, 9 Jun 2024 13:32:27 +0200
- Authentication-results: spool.mail.gandi.net; dkim=pass header.d=informatik.uni-hamburg.de header.s=rrzs003 header.b=t23ph09r; dmarc=pass (policy=none) header.from=uni-hamburg.de; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 134.100.38.113 as permitted sender) address@concealed
[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).
- [PN-world] (PN) DisCoTec 2024 Final Call for Participation, Bas van den Heuvel via Petrinet, 06/09/2024
Archive powered by MHonArc 2.6.19+.