[TYPES/announce] Final CFP: EXPRESS/SOS 2013 workshop

[Johannes Borgström]

This is the final call for papers for the combined 
20th International Workshop on Expressiveness in Concurrency
and 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013)


------------------------------------------------------------
August 26, 2013, Buenos Aires (AR)
Affiliated with CONCUR 2013
http://www.win.tue.nl/expresssos2013/

Submission of abstracts:		Friday May 31, 2013
Submission of papers:	        Friday June 7, 2013
------------------------------------------------------

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.

In 2012, the EXPRESS and SOS communities decided to join forces and
organise a combined EXPRESS/SOS workshop. The combined workshop was a
success, so this year there will again be a combined workshop on the
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.

SUBMISSION GUIDELINES:

We solicit two types of submissions:

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

Simultaneous submission to journals, conferences or other workshops is
only allowed for short papers; full papers must be unpublished.  
There is one exception to this policy: authors may submit a full paper
that is still under review for TGC 2013, provided that they inform the
chairs prior to submission and immediately withdraw their submission
if it is accepted for TGC 2013.

All submissions should adhere to the EPTCS format (http://www.eptcs.org),
and submission is performed through the EXPRESS/SOS 2013 EasyChair
server (http://www.easychair.org/conferences/?conf=expresssos2013).

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.

INVITED SPEAKER:

Martín Abadi (University of California at Santa Cruz and 
            Microsoft Research Silicon Valley, USA)

IMPORTANT DATES:

Abstract submission: May 31, 2013
Paper submission: June 7, 2013
Notification date: July 8, 2013
Camera ready version: July 21, 2013

WORKSHOP CO-CHAIRS:

Johannes Borgström (Uppsala University, Sweden)
Bas Luttik (Eindhoven University of Technology, The Netherlands)

PROGRAMME COMMITTEE:

Luca Aceto (Reykjavík University, Iceland)
Filippo Bonchi (ENS de Lyon, France)
Johannes Borgström (Uppsala University, Sweden)
Ilaria Castellani (INRIA Sophia Antipolis, France)
Silvia Crafa (University of Padova, Italy)
Yuxi Fu (Shanghai Jiaotong University, China)
Thomas Hildebrandt (IT University of Copenhagen, Denmark)
Sławomir Lasota (Warsaw University, Poland)
Bas Luttik (Eindhoven University of Technology, The Netherlands)
Kirstin Peters (Technical University of Berlin, Germany)
Michel Reniers (Eindhoven University of Technology, The Netherlands)
Louis-Marie Traonouez (IRISA/INRIA Rennes, France)
Irek Ulidowski (University of Leister, United Kingdom)