August 26, 2006, Bonn, Germany
Photos by Mohammed Mousavi
Rocco De Nicola (Florence, IT)
Rob van Glabbeek
Peter D. Mosses
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. Moreover, it is becoming a viable alternative to
denotational semantics in the static analysis of programs,
and in proving compiler correctness.
Recently, 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 generalisation 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.
This workshop aims at being a forum for researchers, students and practitioners interested in new developments, and directions for future investigation, in the field of structural operational semantics. One of the specific goals of the workshop is to establish synergies between the concurrency and programming language communities working on the theory and practice of SOS. Moreover, it aims at widening the knowledge of SOS among postgraduate students and young researchers worldwide.
Specific topics of interest include (but are not limited to):
History: The first SOS Workshop took place on the 30th of August 2004 in London as one of the satellite workshops of CONCUR 2004, and was attended by over 30 participants. The second SOS Workshop occurred on the 10th of July 2005 as a satellite workshop of ICALP 2005, and accepted 7 out of 19 submissions.
Paper submission: We solicit unpublished papers reporting on original research on the general theme of SOS. Prospective authors should register their intention to submit a paper by uploading a title and abstract here by Friday 26 May 2006. Papers should take the form of a pdf file in ENTCS format, whose length should not exceed 15 pages (not including an optional "Appendix for referees" containing proofs that will not be included in the final paper). We will also consider 5-page papers describing tools to be demonstrated at the workshop. Submissions from PC members are allowed.
Proceedings: Preliminary proceedings will be available at the meeting. The final proceedings of the workshop will appear as a volume in the ENTCS series. Instructions for authors are here. Here is the stylefile entcsmacro.sty that authors should use in preparing the final version of their paper.
If the quality and quantity of the submissions warrant it, the co-chairs plan to arrange a special issue of an archival journal devoted to full versions of selected papers from the workshop.