8. FoSSaCS 2005: Edinburgh, UK (Part of ETAPS 2005)

Invited Talks

Rule Formats and Bisimulation

Probabilistic Models

Algebraic Models

Games and Automata

Language Analysis

Partial Order Models

Logics

Coalgebraic Modal Logics

Computational Models

maintained by Schloss Dagstuhl LZI at University of Trier