14. RAMICS 2014: Marienstatt, Germany

Concurrent Kleene Algebras and Related Formalisms

Reasoning About Computations and Programs

Heterogeneous and Categorical Approaches

Applications of Relational and Algebraic Methods

Developments Related to Modal Logics and Lattices

maintained by Schloss Dagstuhl LZI, founded at University of Trier