English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
SOS 2007 - Call for Papers
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-02-14 (12:41)
From: Rob van Glabbeek and Matthew Hennessy <sos2007@c...>
Subject: SOS 2007 - Call for Papers
         Structural Operational Semantics 2007

         An Affiliated Workshop of LICS 2007  and  ICALP 2007

         July 9, 2007, Wroclaw, Poland


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

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

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

  * programming languages
  * process algebras
  * higher-order formalisms
  * rule formats for operational specifications
  * meaning of operational specifications
  * comparisons between denotational, axiomatic and SOS
  * compositionality of modal logics with respect to
    operational specifications
  * congruence with respect to behavioural equivalences
  * conservative extensions
  * derivation of proof rules from operational specifications
  * software tools that automate, or are based on, SOS.

Papers reporting on applications of SOS to software engineering and
other areas of computer science are welcome.

History: The first SOS Workshop took place on the 30th of August 2004
in London as one of the satellite workshops of CONCUR 2004.
Subsequently, SOS 2005 occurred on the 10th of July 2005 in
Lisbon as a satellite workshop of ICALP 2005, and SOS 2006 on the
26th of August 2006 in Bonn as a satellite workshop of CONCUR 2006.
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 is in press, and a
special issue of Information & Computation on Structural Operational
Semantics inspired by SOS 2006 is in preparation. 


   Pawel Sobocinski (Cambridge, UK)


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 via
the workshop web page by:

  *** Friday 6 April 2007. ***

Papers should take the form of a pdf file in ENTCS format
[http://www.entcs.org/], 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
ENTCS series.  We may decide to arrange a special issue of an archival
journal devoted to full versions of selected papers from the workshop.


  * Submission of abstract: Friday 6 April 2007

  * Submission: Sunday 15 April 2007

  * Notification: Wednesday 9 May 2007

  * Final version: Friday 25 May 2007

  * Workshop: Monday 9 July 2007

  * Final ENTCS version: Friday 10 August 2007.


Luca Aceto (Aalborg, DK; Reykjavik, IS)
Rocco De Nicola (Florence, IT)
Rob van Glabbeek (NICTA, AU, co-chair)
Reiko Heckel (Leicester, UK)
Matthew Hennessy (Sussex, UK, co-chair)
Bartek Klin (Warsaw, PL)
Ugo Montanari (Pisa, IT)
MohammadReza Mousavi (Eindhoven, NL; Reykjavik, IS)
Prakash Panangaden (Montreal, CA)
Grigore Rosu (Urbana-Champaign, IL, USA)
Simone Tini (Insubria, I)
Shoji Yuen (Nagoya, JP)




    Rob van Glabbeek
    National ICT Australia
    Locked Bag 6016
    University of New South Wales
    Sydney, NSW 1466

    Matthew Hennessy
    Department of Informatics
    University of Sussex
    Falmer, Brighton, BN1 9QN
    United Kingdom