19th FoSSaCS 2016: Eindhoven, The Netherlands (Part of ETAPS 2016)

Types

Recursion and Fixed-Points

Verification and Program Analysis

Automata, Logic, Games

Probabilistic and Timed Systems

Proof Theory and Lambda Calculus

Algorithms for Infinite Systems

Monads

a service of Schloss Dagstuhl - Leibniz Center for Informatics