20. FoSSaCS 2017: Uppsala, Sweden (Part of ETAPS 2017)

Coherence Spaces and Higher-Order Computation

Algebra and Coalgebra

Games and Automata

Automata, Logic and Formal Languages

Proof Theory

Probability

Concurrency

Lambda Calculus and Constructive Proof

Semantics and Category Theory

maintained by Schloss Dagstuhl LZI at University of Trier