Workshop on RIFL in Karlsruhe

On August 1-3, three researchers from MAIS are taking part in a workshop on developing a consolidated library of examples for RIFL, the RS³ Information-Flow Specification Language, at Karlsruhe Institute of Technology.