Scientific Workshops

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

FRIDA 2024

Swen Jacobs (CISPA Helmholtz Center for Information Security) and Giuliano Losa (Stellar Development Foundation) are organizing the Workshop on Formal Reasoning in Distributed Algorithms, co-located with CAV 2024. The workshop is scheduled to take place in Montreal, Canada, on July 23rd, 2024.

Past workshops

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.