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

[PVS] 2nd CFP: Structural Operational Semantics 2009



(Apologies for multiple posting)


       2nd CALL FOR PAPERS:

       Structural Operational Semantics 2009

       An Affiliated Workshop of CONCUR 2009

       August 31, 2009, Bologna, Italy

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


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.

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


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:

*** Tuesday 26th May 2009. ***

Papers should take the form of a pdf file in EPTCS format
[http://www.eptcs.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
EPTCS 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: Tuesday 26th May 2009
* Submission: Sunday 31st May 2009
* Notification: Monday 29th June 2009
* Final version: Friday 17th July 2009
* Workshop: Monday 31st August 2009
* Final EPTCS version due: Friday 25th September 2009.


PROGRAMME COMMITTEE:

Luca Aceto (Reykjavik, IS)
Frank S. de Boer (CWI, Amsterdam, NL)
Andrea Corradini (Pisa, IT)
Patrick Cousot (École Normale Supérieure, FR)
Vincent Danos (Edinburgh, UK)
Marcelo Fiore (Cambridge, UK)
Wan Fokkink (Amsterdam, NL)
Bartek Klin (Cambridge, UK, co-chair)
Michel Reniers (Eindhoven, NL)
Grigore Rosu (Urbana-Champaign, IL, USA)
Pawel Sobocinski (Southampton, UK, co-chair)


CONTACT:

  bklin@inf.ed.ac.uk


WORKSHOP ORGANISERS:

  Bartek Klin
  Warsaw University and University of Cambridge,
  Computer Laboratory, William Gates Building
  15 JJ Thomson Avenue
  Cambridge CB3 0FD
  United Kingdom

  Pawel Sobocinski 
  DSSE, Electronics and Computer Science, 
  University of Southampton SO17 1BJ
  United Kingdom