  This volume contains the proceedings of SOS 2011, the Eight Workshop on
Structural Operational Semantics, held on the 5th of September 2011 in Aachen,
Germany as an affiliated workshop of CONCUR 2011, the 22nd International
Conference on Concurrency Theory.
  Structural operational semantics (SOS) provides a framework for giving
operational semantics to programming and specification languages. A growing
number of programming languages from commercial and academic spheres have been
given usable semantic descriptions by means of structural operational
semantics. Because of its intuitive appeal and flexibility, structural
operational semantics has found considerable application in the study of the
semantics of concurrent processes. It is also a viable alternative to
denotational semantics in the static analysis of programs, and in proving
compiler correctness. Moreover, it has found application in emerging areas of
computing such as probabilistic systems and systems biology.
  Structural operational semantics has been successfully applied as a formal
tool to establish results that hold for classes of process description
languages. This has allowed for the generalization of well-known results in the
field of process algebra, and for the development of a meta-theory for process
calculi based on the realization that many of the results in this field only
depend upon general semantic properties of language constructs.
  The workshop is a forum for researchers, students and practitioners
interested in new developments and directions for future investigations. One of
the specific goals of the workshop is to provide a meeting point for the
concurrency and programming language communities. Another goal is the
dissemination of the theory and practice of SOS amongst postgraduate students
and young researchers worldwide.
