[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Structural Operational Semantics 2008 - CFP




[Our apologies for multiple copies of this letter]

=========================================================

          CALL FOR PAPERS

          Structural Operational Semantics 2008

          An Affiliated Workshop of ICALP 2008

          July 6, 2008, Reykjavik, Iceland

          http://homepages.inf.ed.ac.uk/bklin/SOS2008/

=========================================================

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 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 series of SOS workshops is
to establish synergies between the concurrency and programming
language communities working on the theory and practice of SOS.
For the 2008 workshop we would also like to encourage novel
applications of SOS techniques to research areas such as systems
biology and hybrid or stochastic systems.

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
   * compositionality of modal logics with respect to
     operational specifications
   * congruence with respect to behavioural equivalences
   * conservative extensions and translations of SOS specifications
   * derivation of proof rules from operational specifications
   * ordered, modular, and other variants of SOS
   * comparisons of SOS with rewriting systems, reactive systems
     and other forms of operational specification
   * comparisons between denotational, axiomatic and SOS
   * methods for operational specificiation of probabilistic, timed,
     stochastic, hybrid and biological systems
   * 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 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, and SOS 2007 in Wroclaw
as a satellite workshop of LICS and ICALP 2007.

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 is in preparation.


INVITED SPEAKER:

    Vincent Danos (Edinburgh, UK)


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

   *** Friday 28th March 2008. ***

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 also decide 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 March 2008
   * Submission: Sunday 6th April 2008
   * Notification: Wednesday 7th May 2008
   * Final version: Friday 23rd May 2008
   * Workshop: Monday 6th July 2008
   * Final ENTCS version due: Friday 8th August 2008.


PROGRAMME COMMITTEE:

Wan Fokkink (Amsterdam, NL)
Matthew Hennessy (Dublin, IE, co-chair)
Bartek Klin (Warsaw, PL, co-chair)
Catuscia Palamidessi (LIX, Ecole Polytechnique, FR)
Iain Phillips (Imperial College, London, UK)
Michel Reniers (Eindhoven, NL)
Grigore Rosu (Urbana-Champaign, IL, USA)
Alex Simpson (Edinburgh, UK)
Pawel Sobocinski (Southampton, UK)
Simone Tini (Insubria, IT)
Shoji Yuen (Nagoya, JP)


CONTACT:

     sos-2008@inf.ed.ac.uk


WORKSHOP ORGANISERS:

     Matthew Hennessy
     Department of Computer Science
     Trinity College
     Dublin 2
     Ireland

     Bartek Klin
     Warsaw University and University of Edinburgh,
     School of Informatics
     The King's Buildings
     Mayfield Road, Edinburgh EH9 3JZ
     United Kingdom