Skip to content. | Skip to navigation

Third International Workshop on Behavioural Types


You are here: Home

BEAT 2014, September 1st 2014, Rome, Italy


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

Affiliated to CONCUR 2014: 25th International Conference on Concurrency Theory.



Behavioural type systems go beyond data type systems in order to specify, characterise, and reason about dynamic aspects of program execution. 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 formalise and codify communication structures as computing moves from the data-processing era to the communication era, and partly by the realisation that type-theoretic techniques can provide insight into the fine structure of computation. 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.

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 the workshop are 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
  • behavioural types in cloud computing
  • security in behavioural type systems
  • new directions for behavioural types


Invited Speaker

  • Vladimiro Sassone


Important Dates

  • Abstract (title & 200 words max): 11th June 2014 18th June 2014
  • Paper Submission: 15th June 2014 22th June 2014
  • Notification: 13th July 2014
  • Final Versions: 23th July 2014


Submission Link



Programme Committee

  • Johannes Borgström (Uppsala University, Sweden)
  • Marco Carbone (IT University of Copenhagen, Denmark) -- chair
  • Ilaria Castellani (INRIA, France) 
  • Adrian Francalanza (University of Malta, Malta) -- co-chair
  • Silvia Ghilezan (University of Novi Sad, Serbia)
  • Elena Giachino (University of Bologna, Italy) 
  • Ross Horne (Romanian Academy, Romania)
  • Einar Broch Johnsen (University of Oslo, Norway) 
  • David Pearce (Victoria University of Wellington, New Zealand) 
  • Jorge Perez (FCT New University of Lisbon, Portugal) 
  • Anna Phillipou (University of Cyprus, Cyprus) 
  • Jakob Rehof (University of Dortmund, Germany) 
  • Neva Slani (University of Zagreb, Croatia) 
  • Philip Wadler (University of Edinburgh, UK) 
  • Peter Wong (SDL Fredhopper, Netherlands)



Please register at the CONCUR registration site.