21st FoSSaCS 2018: Thessaloniki, Greece (Part of ETAPS 2018)

Semantics

Linearity

Concurrency

Lambda-Calculi and Types

Category Theory and Quantum Control

Quantitative Models

Logics and Equational Theories

Graphs and Automata

maintained by Schloss Dagstuhl LZI at University of Trier