=?windows-1252?Q?Call_for_Papers=3A_BEAT=2713_=96_1st_International_Works?= =?windows-1252?Q?hop_on_Behavioural_Types?=

=?ISO-8859-1?Q?Hans_H=FCttel?= <hanshuttel@gmail.com>
Fri, 7 Sep 2012 02:45:59 -0700 (PDT)

          From comp.compilers

Related articles
=?windows-1252?Q?Call_for_Papers=3A_BEAT=2713_=96_1st_International_Wo hanshuttel@gmail.com (=?ISO-8859-1?Q?Hans_H=FCttel?=) (2012-09-07)
| List of all articles for this month |

From: =?ISO-8859-1?Q?Hans_H=FCttel?= <hanshuttel@gmail.com>
Newsgroups: comp.compilers
Date: Fri, 7 Sep 2012 02:45:59 -0700 (PDT)
Organization: Compilers Central
Injection-Date: Fri, 07 Sep 2012 09:45:59 +0000
Keywords: conference, CFP
Posted-Date: 09 Sep 2012 15:03:09 EDT

CALL FOR PAPERS


BEAT'13 - 1st International Workshop on Behavioural Types


http://beat13.cs.aau.dk


January 22, 2013, Rome, Italy


Collocated with


POPL 2013, 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages
(http://popl.mpi-sws.org/2013/)


-----------------------------------------------------------------------------
-------


SCOPE


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.
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.
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.


Topics include, but are not limited to
* The theoretical foundations of behavioural types
* Relationships between different approaches
* Applications to language design and implementation
* Applications to security
* Applications to composition
* Applications to code generation
* New applications of behavioural types


-----------------------------------------------------------------------------
-------


SUBMISSIONS


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.


Papers must describe original work, be written and presented in
English, and must not overlap with papers that have been published or
that are simultaneously submitted to a journal, workshop or conference with
refereed proceedings.


Submissions can be up to 12 pages long and must use the ACM SIGPLAN format.
The SIGPLAN template can be found at
http://www.sigplan.org/authorInformation.htm


All submissions must be contributed as PDF files via the EasyChair page.
http://www.easychair.org/conferences/?conf=beat13


-----------------------------------------------------------------------------
-------


IMPORTANT DATES


Submission deadline: 8 October 2012
Notification: 8 November 2012
Camera-ready cope due: 12 November 2012


--


On behalf of the BEAT'13 organizers


Hans H|ttel (Program Chair)


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.