[TYPES/announce] BEAT II: Final Call For Papers

Simon Gay Simon.Gay at glasgow.ac.uk
Mon Jun 3 12:24:45 EDT 2013

                            CALL FOR PAPERS

                                BEAT II

           Second International Workshop on Behavioural Types
                  23-24 September 2013, Madrid, Spain

Organized by COST Action IC1201: Behavioural Types for Reliable
Large-Scale Software Systems (BETTY).

Affiliated to SEFM 2013: 11th International Conference on Software
Engineering and Formal Methods.

** Scope **

Behavioural type systems go beyond data type systems in order to
specify, characterize and reason about dynamic aspects of program
execution. Behavioural types encompass: session types; contracts (for
example in service-oriented systems); typestate; types for analysis of
termination, deadlock-freedom, liveness, race-freedom and related
properties; intersection types applied to behavioural properties; and
other topics. Behavioural types can form a basis for both static
analysis and dynamic monitoring. Recent years have seen a rapid
increase in research on behavioural types, driven partly by the need
to formalize and codify communication structures as computing moves
from the data-processing era to the communication era, and partly by
the realization that type-theoretic techniques can provide insight
into the fine structure of computation.

The aim of this workshop is to bring together researchers in all
aspects of behavioural type theory and its applications, in order to
share results, consolidate the community, and discover opportunities
for new collaborations and future directions.

** Topics of Interest **

All aspects of behavioural types, including, but not limited to:

- theoretical foundations of behavioural types
- behavioural types in practical programming languages
- software development and analysis tools for behavioural types
- case studies and software engineering applications of behavioural types
- relationships between different forms of behavioural types
- behavioural types in concurrent and distributed systems
- behavioural types in many-core systems
- behavioural types in service-oriented computing
- security in behavioural type systems
- new directions for behavioural types

** Invited Speakers **

To be decided.

** Submission Instructions **

We invite submissions in two categories.

1. Original research papers of up to 8 pages in length, in PDF format,
written in English, using the EasyChair proceedings template available
at http://www.easychair.org/easychair.zip. Simultaneous submission to
other venues is not allowed.

2. Proposals for short presentations of research that has already been

If there is limited space in the workshop programme, then priority
will be given to submissions in category 1. Submissions by PC members
are allowed.

For each category of submission, authors should submit a title and a
200 word abstract by Saturday 8th June 2013. Full papers should be
submitted by Saturday 15th June 2013, as follows:

Category 1: the paper being submitted.

Category 2: the paper for which a short presentation is proposed,
including full details of the original publication. If the paper is
longer than a standard conference paper, authors should also submit an
8 page summary in the same format as for category 1 submissions.

Every submission must state either "Original Paper" or "Short
Presentation" as part of the 200 word abstract.

Abstracts and papers should be submitted using EasyChair:


Authors of original research papers will have the opportunity to
submit revised and expanded versions of their papers to a
post-workshop proceedings. Publication in the post-workshop
proceedings will be subject to a selective reviewing process. We are
hoping to join the other SEFM workshops in publishing the
post-workshop proceedings in the Springer LNCS series.

Enquiries can be sent to the PC chair.

** Important Dates **

Abstract (title & 200 words max):  8th June 2013
Paper Submission:                 15th June 2013
Notification:                     20th July 2013

** Programme Committee **

Karthikeyan Bhargavan   (INRIA Paris-Rocquencourt, France)
Gabriel Ciobanu         (Romanian Academy, ICS, Iasi, Romania)
Ricardo Colomo Palacios (Universidad Carlos III de Madrid, Spain)
Ugo de'Liguoro          (University of Torino, Italy)
Adrian Francalanza      (University of Malta, Malta)
Tihana Galinac Grbac    (University of Rijeka, Croatia)
Simon Gay  (chair)      (University of Glasgow, UK)
Vaidas Giedrimas        (Šiauliai University, Lithuania)
Thomas Hildebrandt      (IT University of Copenhagen, Demark)
Einar Broch Johnsen     (University of Oslo, Norway)
Georgia Kapitsaki       (University of Cyprus, Cyprus)
Vasileios Koutavas      (Trinity College Dublin, Ireland)
Aleksandra Mileva       (Goce Delcev University of Stip, Macedonia)
Samir Omanovic          (University of Sarajevo, Bosnia and Herzegovina)
Jovanka Pantovic        (University of Novi Sad, Serbia)
Nikolaos Sismanis       (University of Athens, Greece)
Peter Thiemann          (University of Freiburg, Germany)
Vasco Vasconcelos       (University of Lisbon, Portugal)
Bjorn Victor            (Uppsala University, Sweden)
Pawel T. Wojciechowski  (Poznan University of Technology, Poland)
Peter Wong              (SDL Fredhopper, The Netherlands)

More information about the Types-announce mailing list