Proceedings Sixth Workshop on Structural Operational Semantics
Bartek Klin (University of Cambridge, Warsaw University), Pawe{\l}, Soboci\'nski (University of Southampton)
TL;DR
The paper presents the proceedings of the Sixth Workshop on Structural Operational Semantics, focusing on recent developments, research discussions, and future directions in SOS for programming and concurrency languages.
Contribution
It compiles recent research and discussions from SOS 2009, promoting knowledge exchange among researchers, students, and practitioners in the field of operational semantics.
Findings
Dissemination of new SOS theories and methods
Fostering collaboration between concurrency and programming language communities
Encouraging research among students and young researchers
Abstract
This volume contains the proceedings of SOS 2009, the Sixth Workshop on Structural Operational Semantics held on the 31st of August 2009 in Bologna, Italy as a affiliated workshop of CONCUR 2009, the 20th International Conference on Concurrency Theory. Structural operational semantics (SOS) is a technique for defining operational semantics for programming and specification languages. The workshop is forum for researchers, students and practitioners interested in new developments and directions for future investigations in the area of SOS. 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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.