19. 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

maintained by Schloss Dagstuhl LZI at University of Trier