[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PAPERS BEAT II Second International Workshop on Behavioural Types 23-24 September 2013, Madrid, Spain http://www.dcs.gla.ac.uk/beat2 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 published. 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: http://www.easychair.org/conferences/?conf=beat2 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)