Follow-up Meeting

---

Alejandro Gómez-Londoño

19th May 2022

Outline

---

• Current research
• Planned projects

Planned projects

---

IForests: Interactive trees for choreographies

• A follow-up to Kalas project.
• Currently our end point projection theorem relies in a strict projectability criteria
• Using itrees, a form of observational semantics, we can relax our projectability criteria increasing the expressiveness of our language
• Proofs are simpler and do not have to consider the interleaving of processes

?