[TYPES/announce] EXPRESS/SOS 2015: Final Call for Papers

Silvia Crafa crafa at math.unipd.it
Wed Jun 3 09:14:38 EDT 2015


Combined 22th International Workshop on Expressiveness in Concurrency
and 12th Workshop on Structural Operational Semantics (EXPRESS/SOS 2015)

EXPRESS/SOS 2015
------------------------------------------------------
August 31, 2015, Madrid (Spain)
Affiliated with CONCUR 2015
http://www.math.unipd.it/~crafa/EXPRESSSOS2015/

Submission of abstracts: Wednesday June 17, 2015
Submission of papers:       Sunday June 21, 2015
------------------------------------------------------

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.

Since 2012, the EXPRESS and SOS communities have joined forces and
organised a combined EXPRESS/SOS workshop on the formal semantics
of systems and programming concepts, and on the expressiveness of
mathematical models of computation.

Topics of interest for this workshop include (but are not limited to):
- expressiveness and comparison of models of computation (process
    algebras, event structures, Petri nets, rewrite systems)
- expressiveness and comparison of programming models (distributed,
    component-based, object-oriented, service-oriented);
- logics for concurrency (modal logics, probabilistic and stochastic
    logics, temporal logics and resource logics);
- analysis techniques for concurrent systems;
- theory of structural operational semantics (meta-theory,
    category-theoretic approaches, congruence results);
- comparison of structural operational semantics to other formal
    semantics approaches
- applications and case studies 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.

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

The final versions of accepted full papers will be published in EPTCS.

INVITED SPEAKER:

Davide Sangiorgi

IMPORTANT DATES:

Abstract submission:  June 17, 2015
Paper submission:     June 21, 2015
Notification date:    July 19, 2015
Camera ready version: July 31, 2015

WORKSHOP CO-CHAIRS:

   Silvia Crafa (University of Padova, Italy)
   Daniel Gebler (VU University Amsterdam, The Netherlands)

PROGRAM COMMITTEE:

Johannes Borgstroem (Uppsala University, Sweden)
Matteo Cimini (Indiana University, Bloomington, Indiana)
Silvia Crafa (University of Padova, Italy)
Pedro R. D'Argenio (University of Cordoba, Argentina)
Daniel Gebler (VU University Amsterdam, The Netherlands)
Thomas Given-Wilson (Inria, France)
Thomas T. Hildebrandt (IT University of Copenhagen, Denmark)
Daniel Hirschkoff (ENS Lyon, France)
Stefan Milius (University of Erlangen-Nurnberg, Germany)
Mohammad R. Mousavi (Halmstad University, Sweden)
Kirstin Peters (Technical University of Berlin, Germany)
Damien Pous (ENS Lyon, France)
Irek Ulidowski (University of Leister, United Kingdom)



More information about the Types-announce mailing list