<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
1st International Workshop on Behavioural Types <br>
<br>
<a href="http://beat13.cs.aau.dk/">http://beat13.cs.aau.dk</a><br>
<br>
January 22, 2013, Rome, Italy <br>
<br>
Collocated with <br>
<br>
POPL 2013, 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages<br>
<br>
Second Call for papers <br>
<br>
Scope<br>
<br>
Behavioural type systems in general, and in particular those based on typestate, are attracting a lot of attention as these are able to ensure more than the usual safety guarantees of static program analyses. <br>
In the last ten years the idea of "types-as-processes" has been explored in several directions, providing dedicated type algebras for particular properties, ranging from protocol compatibility to race-freedom or activeness, as well as general type systems for
a wide range of properties. The approaches include those of session types, generic type systems and behavioural ontracts as well as other type-theoretic notions, e.g. intersection types, that can be used to specify the behaviour of systems. <br>
These approaches have given rise to several important results. This workshop aims to present contributions on the theory and applications of behavioural types and to foster discussion on the pros and cons of different approaches and on new directions and challenges
in the area. <br>
<br>
Topics include, but are not limited to<br>
<span class="Apple-tab-span" style="white-space: pre; "></span>• The theoretical foundations of behavioural types<br>
<span class="Apple-tab-span" style="white-space: pre; "></span>• Relationships between different approaches<br>
<span class="Apple-tab-span" style="white-space: pre; "></span>• Applications to language design and implementation<br>
<span class="Apple-tab-span" style="white-space: pre; "></span>• Applications to security<br>
<span class="Apple-tab-span" style="white-space: pre; "></span>• Applications to composition<br>
<span class="Apple-tab-span" style="white-space: pre; "></span>• Applications to code generation<br>
<span class="Apple-tab-span" style="white-space: pre; "></span>• New applications of behavioural types<br>
<br>
Organizing committee <br>
<br>
Mario Bravetti<br>
<br>
Mariangiola Dezani-Ciancaglini <br>
Hans Hüttel <br>
António Ravara <br>
<br>
Program committee <br>
<br>
Mario Bravetti <br>
Mariangiola Dezani-Ciancaglini <br>
Sophia Drossopoulou <br>
Simon Gay <br>
Hans Hüttel <br>
Naoki Kobayashi <br>
António Ravára<br>
<br>
Jakob Rehof<br>
<br>
<br>
---<br>
<br>
Submissions<br>
<br>
All accepted papers will appear in formal proceedings published by ACM Press. In addition to printed proceedings, accepted papers will be included in the ACM Digital Library. <br>
<br>
Papers must describe original work, be written and presented in <br>
English, and must not overlap with papers that have been published or <br>
that are simultaneously submitted to a journal, workshop or conference with <br>
refereed proceedings. <br>
<br>
Submissions can be up to 12 pages long and must use the ACM SIGPLAN format. <br>
The SIGPLAN template can be found at <a href="http://www.sigplan.org/authorInformation.htm">http://www.sigplan.org/authorInformation.htm</a><br>
<br>
All submissions must be contributed as PDF files via the EasyChair page. <br>
<a href="http://www.easychair.org/conferences/?conf=beat13">http://www.easychair.org/conferences/?conf=beat13</a><br>
<br>
<br>
Important dates <br>
<br>
Submission deadline: 8 October 2012 <br>
Notification: 8 November 2012 <br>
Camera-ready cope due: 12 November 2012<br>
<br>
<br>
</body>
</html>