Joining PC of FORTE26 | Diego Marmsoler

I will be joining the program committee of the 46th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2026). FORTE 2026 is part of DisCoTec 2026 and will be held in Urbino, Italy from June 8 to 12, 2026.

FORTE 2026 is one of the three conferences of DisCoTec 26, the International Federated Conference on Distributed Computing Techniques. FORTE is a forum for fundamental research on theory, models, tools, and applications for distributed systems. The conference focuses on foundational aspects of distributed software systems, presenting approaches or tools to formally model, soundly implement, and rigorously validate these demanding but ever more necessary systems and applications. As our dependency on such software systems grow, also our responsibility as researchers grows to provide both trustworthy and usable solutions.