[TYPES/announce] BEAT @ POPL'19: Call for Contributions

[Antonio Ravara]

BEAT 2019: Fourth Workshop on Behavioral Types
January 13, 2019, co-located with POPL
Cascais/Lisbon, Portugal

https://popl19.sigplan.org/track/beat-2019-papers


First Call for Contributions (3-page talk proposals)


* Important Dates AoE (UTC-12h)

- Submission deadline: Mon 12 Nov 2018
- Notification to authors: Mon 26 Nov 2018


* Submission Link:

https://easychair.org/conferences/?conf=beat2019


* Context

Large-scale software systems rely on message-passing protocols: their 
correctness largely depends on sound protocol implementations. 
Behavioural types are abstract representations of the sequences of 
operations that computational entities (say, channels) must perform. 
Stateful entities offer services in a non-uniform way (one cannot pop 
from an empty stack); traditional type systems cannot guarantee that 
operations are only invoked when the entity is in the right state. 
Behavioral types can help in the specification of 
correct-by-construction systems, and in verifying that programs respect 
their intended protocols.

Recent years have seen a steady stream of research on behavioral types: 
their foundations and their transfer to several programming languages. 
This has led to highly-cited papers in conferences such as POPL and 
journals such as TOPLAS.

Research projects on behavioral types (in the US and Europe) have 
advanced the theory and applications of behavioral types. There is a 
sustained interest in specification languages, tools, and frameworks 
that bring behavioral types into programming practice.

Colocated with POPL, BEAT 2019 aims to enable a growing community to 
meet, present and discuss current work, and to foster (new) collaborations.


* Previous Events

The BEAT workshop took place between 2013 and 2015, aligned with the 
European COST Action BETTY (2012-2016):
- BEAT 2013, 22nd January 2013, co-located with POPL in Rome, Italy.
- BEAT 2, 23rd-24th September 2013, co-located with SEFM in Madrid, Spain.
- BEAT 2014, 1st September 2014, co-located with CONCUR in Rome, Italy.
- WS-FM / BEAT 2015, 4th-5th September 2015, co-located with CONCUR in 
Madrid, Spain.

BEAT 2019 will continue this successful workshop series, with a focus on 
tools and industrial use of behavioral types. It will feature a 
combination of invited talks and contributed talks.


* Invited Speakers:

- Ugo Dal Lago, University of Bologna, Italy
- Jan Hoffmann, Carnegie Mellon University, USA
- Kirstin Peters, Technical University of Berlin, Germany
- Peter Thiemann, University of Freiburg, Germany


* Call for Talk Proposals

We solicit talk proposals on all aspects of behavioral types including, 
but not limited to, the following:
- theoretical foundations
- tool implementations
- case studies and industrial applications
- connections with complementary verification techniques
- new research directions for the future


* Submission Guidelines.

Rather than regular paper submissions, authors should submit talk 
proposals, intended as engaging presentations of recent research 
results, possibly already published.

A submission to BEAT 2019 would typically fall within one of the 
following categories:
- reports of an ongoing work and/or preliminary results;
- overviews on recent tool implementations (or extensions of an existing 
tool) based on behavioral types;
- summaries of an already published paper (or a recent series of papers);
- overviews of (recent) PhD theses;
- descriptions of research projects and consortia;
- manifestos, calls to action, personal views on current and future 
challenges;
- overviews of interesting yet underrepresented problems.

This list is by no means exhaustive but merely indicative.

BEAT 2019 will be an informal venue, oriented to interaction, and so it 
will have no formal proceedings.

Submissions based on already published works should include explicit 
references/links as appropriate. Reviewers may read such prior published 
works, but are not obliged to so do.

Submissions will be judged by the program committee on the basis of 
significance, relevance, and potential of an engaging, compelling talk 
at the workshop.
Submission Instructions

Submissions should be up to three pages (not including references), as a 
PDF produced using the EasyChair format. Please submit your talk 
proposal via EasyChair:
https://easychair.org/conferences/?conf=beat2019

It is understood that for each accepted submission one of the co-authors 
will attend the workshop and give the talk.

Prospective authors are encouraged to contact the organizers in case of 
questions (beat2019 at easychair.org).


* Program Committee

- Stephanie Balzer Carnegie Mellon University, USA
- Laura Bocchi. University of Kent, UK
- Adrian Francalanza. University of Malta, Malta
- Paola Giannini. Universita' del Piemonte Orientale, Italy
- Sung-Shik Jongmans. Open University of the Netherlands, The Netherlands
- Hernan Melgratti. University of Buenos Aires, Argentina
- Fabrizio Montesi. University of Southern Denmark, Denmark
- Dominic Orchard. University of Kent, UK
- Luca Padovani. University of Turin, Italy
- Jorge A. Perez (Co-chair). University of Groningen, The Netherlands
- Anna Philippou. University of Cyprus, Cyprus
- Antonio Ravara (Co-chair). NOVA University of Lisbon and NOVA LINCS, 
Portugal
- Philip Wadler. University of Edinburgh, UK