[TYPES/announce] EXPRESS/SOS 2012: call for papers

[Luttik, S.P.]

------------------------------------------------------------
Combined 19th International Workshop on Expressiveness in Concurrency
and 9th Workshop on Structural Operational Semantics (EXPRESS/SOS 2012)

EXPRESS/SOS 2012
------------------------------------------------------------
September 3, 2012, Newcastle upon Tyne (UK)
Affiliated with CONCUR 2012
http://www.win.tue.nl/expresssos2012/

Submission of abstracts:	Friday June 1, 2012
Submission of papers:	Friday June 8, 2012
------------------------------------------------------

SCOPE AND TOPICS:

The EXPRESS workshop series aims at bringing together researchers
interested in the expressiveness of various formal systems and semantic
notions, particularly in the field of concurrency. The SOS workshop series
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.

This year the EXPRESS and SOS communities organize a combined
EXPRESS/SOS 2012 workshop on the formal semantics of systems and
programming concepts, and on the expressiveness of mathematical models
of computation.

Topics of interest for this combined workshop include (but are not limited to): 
- expressiveness and comparison of models of computation (process algebras,
  event structures, Petri nets, rewrite systems), and
  programming models (distributed, component-based, object-oriented,
  and service-oriented computing);
- logics for concurrency (modal logics, probabilistic and stochastic logics,
  temporal logics and resource logics);
- analysis techniques for concurrent systems;
- theory of structural operational semantics (metatheory,
  category-theoretic approaches, congruence results);
- comparison of structural operational semantics to other forms of semantics;
- applications of structural operational semantics;
- software tools that automate, or are based on, structural operational semantics.

INVITED SPEAKER:

Colin Stirling (University of Edinburgh, UK)

SUBMISSION GUIDELINES:

We solicit two types of submissions:

* Short papers (up to 5 pages, not included in the workshop proceedings)
* Full papers (up to 15 pages).

Simultaneous submission to journals, conferences or other workshops is
only allowed for short papers; full papers must be unpublished.
All submissions should adhere to the EPTCS format (http://www.eptcs.org),
and submission is performed through the EXPRESS/SOS 2012 EasyChair
server (http://www.easychair.org/conferences/?conf=expresssos2012).

The final versions of accepted full papers will be published in EPTCS.
Furthermore, authors of a selection of the accepted papers will be
invited to submit an extended version to a special issue of a
high-quality journal.

IMPORTANT DATES:

Abstract submission: June 1, 2012
Paper submission: June 8, 2012
Notification date: July 9, 2012
Camera ready version: July 27, 2012

WORKSHOP CO-CHAIRS:

Bas Luttik (Eindhoven University of Technology, NL)
Michel Reniers (Eindhoven University of Technology, NL)

PROGRAMME COMMITTEE:

Luca Aceto (Reykjavík University, Iceland)
Johannes Borgström (Uppsala University, Sweden)
Ilaria Castellani (INRIA Sophia Antipolis, France)
Sibylle Fröschle (University of Oldenburg, Germany)
Fabio Gadducci (Università di Pisa, Italy)
Bartek Klin (University of Warsaw, Poland)
Bas Luttik (Eindhoven University of Technology, The Netherlands)
Keiko Nakata (Tallinn University of Technology, Estonia)
Michel Reniers (Eindhoven University of Technology, The Netherlands)
Jiri Srba (Aalborg University, Denmark)
Alwen Tiu (Australian National University, Australia)
Frank Valencia (LIX, CNRS & Ecole Polytechnique, France)
Walter Vogler (Augsburg University, Germany)