BEAT 2013 - 2nd International Workshop on Behavioural Types. Behavioural type theory

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 include, but are 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