On June 19^th, Saverio Giallorenzo presented the paper “Applied Choreographies” at FORTE 2018.

In the paper, Giallorenzo, Montesi, and Gabbrielli proposed a solution to mediate the discrepancies between theoretical works on choreographic programming and their implementations (like Chor and AIOCJ), where many undocumented, unproven adaptations, weaken the reliability of results at the formal level.

FORTE is part of the DisCoTec series of federated conferences along with COORDINATION, DAIS and the ICE workshop. This year it was held at the School of Computer Science (Facultad de Informática) of the University Complutense of Madrid.