Structural Operational Semantics 2010
An Affiliated Workshop of CONCUR 2010

August 30, 2010, Paris, France



Invited speakers

MohammadReza Mousavi (Eindhoven, NL)
Catuscia Palamidessi (INRIA Saclay and École Polytechnique, FR) - Joint invited speaker with EXPRESS 2010

Program Committee

Luca Aceto (Reykjavik, IS, co-chair)
Robert Amadio (Paris Diderot, FR)
Wan Fokkink (Amsterdam, NL)
Matthew Hennessy (Dublin, IE)
Bartek Klin (Warsaw, PL and Cambridge, UK)
Cosimo Laneve (Bologna, IT)
Andrew Pitts (Cambridge, UK)
Michel Reniers (Eindhoven, NL)
Grigore Rosu (Urbana-Champaign IL, USA)
Pawel Sobocinski (Southampton, UK, co-chair)
Sam Staton (PPS, Paris Diderot, FR)

Contact email: luca AT ru DOT is

Workshop organisers:

Luca Aceto
Reykjavik University
School of Computer Science
Menntavegur 1
101 Reykjavik

Pawel Sobocinski
University of Southampton
Electronics and Computer Science
Southampton SO17 1BJ


Aim: 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.

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 series of SOS workshops is to establish synergies between the concurrency and programming language communities working on the theory and practice of SOS.

Specific topics of interest include (but are not limited to):

  • programming languages, process algebras and higher-order formalisms
  • foundations of SOS
  • conservative extensions and translations of SOS specifications
  • congruence results and their meta-theory
  • modal logics, program logics and SOS
  • ordered, modular, and other variants of SOS
  • SOS of probabilistic, timed, stochastic and hybrid systems
  • SOS and rewriting systems, reactive systems and other forms of operational specification
  • comparisons between denotational, axiomatic and structural operational semantics
  • software tools that automate, or are based on, SOS.
Reports on applications of SOS to other fields, including:
  • modelling and analysis of biological systems
  • security of computer systems
  • programming, modelling and analysis of embedded systems
  • specification of middle-ware and coordination languages
  • programming language semantics and implementation
  • static analysis
  • software and hardware verification,
are also most welcome.

History: The first SOS Workshop took place in London as one of the satellite workshops of CONCUR 2004. Subsequently, SOS 2005 occurred in Lisbon as a satellite workshop of ICALP 2005, SOS 2006 in Bonn as a satellite workshop of CONCUR 2006, SOS 2007 in Wroclaw as a satellite workshop of LICS and ICALP 2007, and SOS 2008 in Reykjavik as a satellite workshop of ICALP 2008. SOS 2009 was held as a satellite workshop of CONCUR 2009 in Bologna.

A special issue of the Journal of Logic and Algebraic Programming on Structural Operational Semantics appeared in 2004; a special issue of Theoretical Computer Science dedicated to SOS 2005 appeared in 2007, and a special issue of Information & Computation on Structural Operational Semantics inspired by SOS 2006-2007 appeared in 2009.

Paper submission: We solicit unpublished papers reporting on original research on the general theme of SOS. Prospective authors should submit a paper via Easychair by Wednesday, 2nd June 2010. (If you do not have an Easychair account, you can create it by following the link). Papers should take the form of a pdf file in EPTCS 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.

Proceedings: Preliminary proceedings will be available at the meeting. The final proceedings of the workshop will appear as a volume in the EPTCS series. 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.

Important Dates:

  • Submission of abstract: Friday 28th May 2010
  • Submission: Wednesday 2nd June 2010
  • Notification: Monday, 5th July 2010
  • Final version: Friday 16th July 2010
  • Workshop: Monday 30th August 2010

Please send comments and bug reports to Luca Aceto.