Scientific Workshops

We help organize workshops that bring scientists together and spur scientific progress.

FRIDA 2025

Setphan Merz (University of Lorraine, CNRS, Inria, Nancy, France) and Giuliano Losa (Stellar Development Foundation) organized the 12th Workshop on Formal Reasoning in Distributed Algorithms. The workshop was co-located with DISC 2025 and took place in Berlin, Germay, on October 27th, 2025.

FRIDA 2024

Swen Jacobs (CISPA Helmholtz Center for Information Security) and Giuliano Losa (Stellar Development Foundation) organized the 11th Workshop on Formal Reasoning in Distributed Algorithms. The workshop was co-located with CAV 2024 and took place in Montreal, Canada, on July 23rd, 2024.

HTDS 2023

The The Workshop on Heterogeneous Trust in Distributed Systems took place in October 2023 in Princeton, New Jersey, and was organized by Christian Cachin (University of Bern) and Giuliano Losa (Stellar Development Foundation). Video recordings of the talks are available on Youtube.