DisCoTec is one of the major events sponsored by the International Federation for Information Processing (IFIP). It gathers conferences and workshops covering a broad spectrum of distributed computing subjects, from theoretical foundations and formal description techniques, to systems research issues.
DisCoTec 2020 will take place at the University of Malta, Valletta, in June 15-19, 2020. Due to the current COVID-19 developments, the conference is still hosted by the University of Malta but it will be held online. Instead of physical meeting/presentations, the authors of accepted papers have recorded their talks to discuss them with the conference participants online.
- Coordination 2020 - International Conference on Coordination Models and Languages
- DAIS 2020 - International Conference on Distributed Applications and Interoperable Systems
- FORTE 2020 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems
- DisCoTec Tools - Tutorial Sessions
- ICE 2020 - Workshop on Interaction and Concurrency Experience
- FOCODILE 2020 - Workshop on the Foundations of Consensus and Distributed Ledgers
- Nathalie Bertrand, INRIA Rennes Bretagne-Atlantique
- Cinzia Di Giusto, Université Côte d’Azur, CNRS
- Holger Hermanns, Saarland University
- Peter Kriens, aQute & OSGi Alliance
- Karoliina Lehtinen, University of Liverpool
- Kenneth McMillan, Microsoft Research Lab Redmond
- Vassilis Zikas, University of Edinburgh
- A true concurrent model of smart contracts executions
by Massimo Bartoletti, Letterio Galletta and Maurizio Murgia
Paper, presentation and award
The proceedings of the conference are published in LNCS-IFIP volumes:
- Coordination: LNCS 12134
- DAIS: LNCS 12135
- FORTE: LNCS 12136
Go to the programme page. All times are listed for CET+1 (Central European Summer Time)
Go to the DisCoTec2020 Slack workspace
The individual conferences will organise special issues of extended and selected papers in reputable journal such as Logical Methods in Computer Science and Journal of Parallel and Distributed Computing.
- February 17, 2020 - abstract submission
- February 28, 2020 - paper submission
- April 10, 2020 - notification
- April 24, 2020 - camera ready
- Adrian Francalanza (University of Malta, Malta — General Chair)
- Davide Basile (ISTI CNR Pisa, Italy — Publicity Chair)
- Kiko Fernández-Reyes (Uppsala University, Sweden — Publicity Chair)
- Antonis Achilleos (Reykjavik University, Iceland — Workshops Chair)
- Duncan Attard (University of Malta, Malta — Workshops Chair)
- Ornela Dardha (University of Glasgow, United Kingdom — Workshops Chair)
- Lucienne Bugeja (University of Malta, Malta — Logistics)
- Simon Bluidze (Inria Lille - Nord Europe, France)
- Laura Bocchi (University of Kent, UK)
- Omar Inverso (Gran Sasso Science Institute, Italy)
- Hugo Torres Vieira (C4 - Universidade da Beira Interior, Portugal)
- Anne Remke (University of Twente)
- Valerio Schiavoni (Université de Neuchâtel, Switzerland)
- Alexey Gotsman (IMDEA Software Institute, Spain)
- Ana Sokolova (University of Salzburg, Austria)
- Rocco De Nicola (IMT Lucca, Italy)
- Pascal Felber ( University of Neuchâtel, Switzerland)
- Kurt Geihs (University of Kasel, Germany)
- Alberto Lluch Lafuente (DTU, Denmark)
- Kostas Magoutis (ICS-FORTH, Greece)
- Elie Najm (Telecom Paris Tech, France — Chair)
- Manuel Núñez (Universidad Complutense de Madrid, Spain)
- Rui Oliveira (University of Minho, Portugal)
- Jean-Bernard Stefani (INRIA Grenoble, France)
- Gianluigi Zavattaro (University of Bologna, Italy)
- Alberto Lluch Lafuente (DTU, Denmark)
- Alain Girault (INRIA Grenoble, France)
- Uwe Nestmann (TU Berlin, Germany)
- Michele Loreti (University of Camerino, Italy)
- Jim Dowling (RISE & KTH, Sweden)
- Marjan Sirjani (University of Malarden, Sweden)
- Frank de Boer (CWI, The Netherlands)
- Farhad Arbab (CWI, The Netherlands)
- Lea Kutvonen (University of Helsinki, Finland)
- John Derrick (University of Sheffield, UK)
Go to the registration page.
- Attendee instructions may be found here. Registered participants should have all received an email with the webinar invitations by now. In the eventuality that your email was lost or blocked, you can still register for the webinars from the links provided on the programme page on the day of the respective webinar.
- Presenter instructions may be found here.
- Session Chair instructions may be found here.
- Any technical difficulties may be posted on the dedicated Slack channel
Follow us on @DisCoTecConf to keep up to date.
For further information please contact the general chair at [email protected].
