ISoLA 2018: Limassol, Cyprus

Runtime Verification from the Theory to the Industry Practice

Formal Methods in Industrial Practice - Bridging the Gap

Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions

Industrial Day

a service of Schloss Dagstuhl - Leibniz Center for Informatics