28th LOPSTR 2018: Frankfurt/Main, Germany

Analysis of Term Rewriting

Logic-Based Distributed/Concurrent Programming

Analysis of Logic Programming

Program Analysis

maintained by Schloss Dagstuhl LZI, founded at University of Trier