FSEN 2019: Tehran, Iran

Agent Based Systems

Theorem Proving

Learning

Verification

Distributed Algorithms

Program Analysis

a service of Schloss Dagstuhl - Leibniz Center for Informatics