Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

18 - 21 June 2019, 14th International Federated Conference on Distributed Computing Techniques (DisCoTec 2019), Kongens Lyngby, Denmark

Date: 18 - 21 June 2019
Location: Kongens Lyngby, Denmark
Deadline: Friday 1 February 2019

DisCoTec 2019 is one of the major events sponsored by the International Federation for Information Processing (IFIP). It gathers conferences and workshops that cover a broad spectrum of distributed computing subjects, ranging from theoretical foundations and formal description techniques to systems research issues.

Main conferences:

  • Coordination 2019 - International Conference on Coordination Models and Languages
  • DAIS 2019 - International Conference on Distributed Applications and Interoperable Systems
  • FORTE 2019 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems

DisCoTec conferences welcome contributions in theoretical models and foundations of coordination, concurrency, programming languages, practical and conceptual aspects of distributed computations as well as models and formal specification, testing and verification methods for distributed computing. Registration of the paper information and abstract (max. 250 words) must be completed before February 1, 2019 (all conferences). Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere.

DisCoTec will also feature workshops, tutorials and a tool track. An open call for workshop and tutorial proposals will follow, as well as an open call for tool demo submissions.

For more information, see https://www.discotec.org/2019 or contact .

Please note that this newsitem has been archived, and may contain outdated information or links.