Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal

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.

Context

Large-scale software systems rely on message-passing protocols: their correctness largely depends on sound protocol implementations. 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.

Invited Speakers

BEAT 2019 has the pleasure to have the following invited speakers:

  • Ugo Dal Lago, University of Bologna, Italy
  • Jan Hoffmann, Carnegie Mellon University, USA
  • Rumyana Neykova, Brunel University London, UK
  • Kirstin Peters, Technical University of Berlin, Germany
  • Peter Thiemann, University of Freiburg, Germany

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.

Workshop Dinner (after the workshop 19:30)

Marisco na Praça

R. Padre Moisés da Silva 34, 2750-437 Cascais

https://goo.gl/maps/BknGhG4wXYM2

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 13 Jan

Displayed time zone: Belfast change

08:30 - 10:30
Session 1BEAT at Sala VII
Chair(s): Philip Wadler University of Edinburgh, UK
08:30
10m
Day opening
Opening
BEAT
António Ravara Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Jorge A. Pérez University of Groningen, The Netherlands
08:40
50m
Talk
Invited Talk: Gradual Session Types — an Ongoing Journey
BEAT
Peter Thiemann University of Freiburg, Germany
09:30
20m
Talk
Gradual Session Types in Imperative Style
BEAT
Kaede Kobayashi Kyoto University, Atsushi Igarashi Kyoto University, Japan
09:50
20m
Talk
Checking the Equivalence of Context-Free Session Types
BEAT
Andreia Mordido Lasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. Vasconcelos LASIGE, Faculty of Sciences, University of Lisbon
File Attached
10:10
20m
Talk
Effpi: Concurrent Programming with Dependent Behavioural Types
BEAT
Alceste Scalas Imperial College London, Elias Benussi Imperial College London, Nobuko Yoshida Imperial College London
File Attached
11:00 - 12:30
Session 2BEAT at Sala VII
Chair(s): Dominic Orchard University of Kent, UK
11:00
50m
Talk
Invited Talk: On Type-Based Complexity Analysis of Programs and Processes
BEAT
Ugo Dal Lago University of Bologna, Italy / Inria, France
11:50
20m
Talk
Global Types with Internal Delegation
BEAT
Ilaria Castellani INRIA Sophia Antipolis, France, Mariangiola Dezani Università di Torino, Paola Giannini Universita' del Piemonte Orientale, Ross Horne Computer Science and Communications Research Unit, University of Luxembourg
File Attached
12:10
20m
Talk
Two Declarative Approaches for Session-Based Concurrency
BEAT
13:30 - 15:30
Session 3BEAT at Sala VII
Chair(s): Paola Giannini Universita' del Piemonte Orientale
13:30
50m
Talk
Invited Talk: Resource-Aware Session Types
BEAT
Jan Hoffmann Carnegie Mellon University
14:20
50m
Talk
Invited Talk: A Session Type Provider: Compile-time Generation of Session Types with Interaction Refinements
BEAT
Rumyana Neykova Brunel University London
File Attached
15:10
20m
Talk
Getting Rid of Null-Dereferences – Behavioural Types to the Rescue
BEAT
Hans Hüttel Department of Computer Science, Aalborg University, António Ravara Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Adrian Francalanza University of Malta, Mario Bravetti Università di Bologna
File Attached
16:00 - 18:25
Session 4BEAT at Sala VII
Chair(s): Adrian Francalanza University of Malta, Jorge A. Pérez University of Groningen, The Netherlands
16:00
50m
Talk
Invited Talk: Session Types for Fault-Tolerant Distributed Algorithms
BEAT
Kirstin Peters TU Berlin
16:50
20m
Talk
Behavioral Types as a Semantic Foundation for the GDPR Notion of Purpose
BEAT
Evangelia Vanezi University of Cyprus, Dimitrios Kouzapas University of Cyprus, Anna Philippou University of Cyprus
17:10
20m
Talk
Relating Process Languages for Security and Communication Correctness
BEAT
Daniele Nantes-Sobrinho University of Brasília, Brazil, Jorge A. Pérez University of Groningen, The Netherlands
17:30
10m
Break
Short break
BEAT

17:40
20m
Talk
Towards Legally Compliant Governmental Case Work with Dynamic Condition Response Graphs
BEAT
Søren Debois IT University of Copenhagen, Thomas H. Hildebrandt , Hugo A. López IT University of Copenhagen, Denmark & DCR Solutions A/S
Media Attached
18:00
20m
Talk
Hardware Interactions as Behavioural Types
BEAT
Carlos Mão de Ferro LASIGE, Faculty of Sciences, University of Lisbon, Francisco Martins LaSIGE, University of Lisbon, Tiago Cogumbreiro University of Massachusetts Boston
File Attached
18:20
5m
Day closing
Closing
BEAT
António Ravara Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Jorge A. Pérez University of Groningen, The Netherlands

Call for Talk Proposals

BEAT 2019 will feature a combination of invited talks and contributed talks.

We solicit talk proposals (3 pages) on all aspects of behavioral types including, but not limited to, the following:

  • theoretical foundations
  • tool implementations
  • case studies and industrial applications of behavioral types
  • 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.

Contact Information

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

Workshop Dinner (after the workshop 19:30)

Marisco na Praça

R. Padre Moisés da Silva 34, 2750-437 Cascais

https://goo.gl/maps/BknGhG4wXYM2