Although this year’s DisCoTec was not held physically in Malta as originally planned, the online version of the conference was a great success, with a large number of participants registering from around the globe. Apart from a number of tutorials and invited speakers, the week consisted of three concurrent conferences (COORDINATION, FORTE, and DAIS), as well as two concurrent workshops (ICE and FOCODILE). The full programme including links to the presentations given can be found here.

Ivan Lanese (University of Bologna) has been recently elected chair of IFIP WG6.1, which involved cooperating to the organization of DisCoTec in general (the IFIP WG6.1 chair is part of DisCoTec SC) and FORTE in particular (the IFIP WG6.1 chair is also chair of FORTE SC). Aspects which are directly managed by the WG6.1 chair include the award of the DisCoTec best paper and the storing of the proceedings in the IFIP digital library. Other members of the BehAPI project were involved in the previously mentioned conferences and workshops.

COORDINATION

Laura Bocchi (University of Kent) served as a Program Committee Chair for the 22nd International Conference on Coordination Models and Languages (COORDINATION), while Emilio Tuosto (University of Leicester) was on the steering committee of the same conference, and Hernan Melgratti (University of Buenos Aires) served as a PC member. Some of the accepted papers at this conference included:

• A Choreography-Driven Approach to APIs: the OpenDXL Case Study, where Leonardo Frittelli (McAfee), Facundo Maldonado (McAfee), Hernan Melgratti, and Emilio Tuosto explored the applicability of some of the project’s conclusions and tools to a use case in a McAfee API that is available for our customers. (video)
• Choreography Automata, a paper presented by by Franco Barbanera, Ivan Lanese, and Emilio Tuosto (video)
• Quality of Service ranking by quantifying partial compliance of requirements, authored by two members of University of Buenos Aires: Agustín Eloy Martinez Suñé and Carlos Gustavo Lopez Pombo (video)
• GoPi: compiling linear and static channels in Go. The presentation by Marco Giunti (University of Bologna) introduced the GoPi compiler, a tool to transform high-level processes into executable Go programs. The tool is available at: https://github.com/marcogiunti/gopi . (video)
• SFJ: An Implementation of Semantic Featherweight Java (Tool paper) presented by Ornela Dardha (University of Glasgow) (video 1) (video 2)
• On Implementing Symbolic Controllability, presented by University of Malta members Adrian Francalanza and Jasmine Xuereb (video)

FORTE

As described earlier, Ivan Lanese served as chair for the 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, while Marco Carbone (ITU) formed part of the Programme Committee of the same conference. Furthermore, Christian Bartolo Burlo and Adrian Francalanza, both members of University of Malta, presented the paper entitled Towards a Hybrid Verification Methodology for Communication Protocols, along with Alceste Scalas (video). 

ICE Workshop

Julien Lange (University of Kent) served as co-chair of the ICE Workshop. Some of the papers presented by BehAPI members at this workshop included:

• Typestates to Automata and back: a tool, by João Mota, André Trindade, and António Ravara (NOVA) (video)
• An Abstract Framework for Choreographic Testing, presented by Emilio Tuosto, Roberto Guanciale, and Alex Coto (video)
• Towards Refinable Choreographies, by Ugo de’Liguoro (University of Torino), Hernan Melgratti, and Emilio Tuosto (slides) (video)
• Microservice Interface Based Deployment Orchestration (oral contribution) by Lorenzo Bacchiani, Mario Bravetti (University of Bologna), Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, and Gianluigi Zavattaro (University of Bologna) (slides) (video)

Tutorials

The DisCoTec Tutorial Day allowed researchers to promote a mature tool that has been under development over the last few years. Two of these tutorials were presented by Emilio Tuosto on Choreographic Development of Message-Passing Applications and by Ornela Dardha on Typechecking Java protocols with Mungo/StMungo.