ISoLA 2018: Limassol, Cyprus

Rigorous Engineering of Collective Adaptive Systems

Verification and Validation of Distributed Systems

Cyber-Physical Systems Engineering

maintained by Schloss Dagstuhl LZI, founded at University of Trier