BEAT 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
co-located with POPL 2019
POPL 2019 (series) / BEAT 2019 (series) / Hotel Cascais Miragem /

Room information: Sala VII

VenueHotel Cascais Miragem
Room nameSala VII
Floor0
Room InformationNo extra information available
Program

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 2019 at Sala VII
Chair(s): Philip Wadler University of Edinburgh, UK
08:30
10m
Day opening
Opening
BEAT 2019
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 2019
Peter Thiemann University of Freiburg, Germany
09:30
20m
Talk
Gradual Session Types in Imperative Style
BEAT 2019
Kaede Kobayashi Kyoto University, Atsushi Igarashi Kyoto University, Japan
09:50
20m
Talk
Checking the Equivalence of Context-Free Session Types
BEAT 2019
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 2019
Alceste Scalas Imperial College London, Elias Benussi Imperial College London, Nobuko Yoshida Imperial College London
File Attached
11:00 - 12:30
Session 2BEAT 2019 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 2019
Ugo Dal Lago University of Bologna, Italy / Inria, France
11:50
20m
Talk
Global Types with Internal Delegation
BEAT 2019
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 2019
Mauricio Cano
13:30 - 15:30
Session 3BEAT 2019 at Sala VII
Chair(s): Paola Giannini Universita' del Piemonte Orientale
13:30
50m
Talk
Invited Talk: Resource-Aware Session Types
BEAT 2019
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 2019
Rumyana Neykova Brunel University London
File Attached
15:10
20m
Talk
Getting Rid of Null-Dereferences – Behavioural Types to the Rescue
BEAT 2019
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 2019 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 2019
Kirstin Peters TU Berlin
16:50
20m
Talk
Behavioral Types as a Semantic Foundation for the GDPR Notion of Purpose
BEAT 2019
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 2019
Daniele Nantes-Sobrinho University of Brasília, Brazil, Jorge A. Pérez University of Groningen, The Netherlands
17:30
10m
Break
Short break
BEAT 2019

17:40
20m
Talk
Towards Legally Compliant Governmental Case Work with Dynamic Condition Response Graphs
BEAT 2019
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 2019
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 2019
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

Sun 13 Jan

Displayed time zone: Belfast change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Sala VII

BEAT 2019

Session 1

BEAT 2019

Session 2

BEAT 2019

Session 3

BEAT 2019

Session 4

Sun 13 Jan

Displayed time zone: Belfast change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Sala VII
BEAT
Opening
08:30 - 08:40
BEAT
Invited Talk: Gradual Session Types — an Ongoing Journey
08:40 - 09:30
BEAT
Gradual Session Types in Imperative Style
09:30 - 09:50
BEAT
Checking the Equivalence of Context-Free Session Types
09:50 - 10:10
BEAT
Effpi: Concurrent Programming with Dependent Behavioural Types
10:10 - 10:30
BEAT
Invited Talk: On Type-Based Complexity Analysis of Programs and Processes
11:00 - 11:50
BEAT
Global Types with Internal Delegation
11:50 - 12:10
BEAT
Two Declarative Approaches for Session-Based Concurrency
12:10 - 12:30
BEAT
Invited Talk: Resource-Aware Session Types
13:30 - 14:20
BEAT
Invited Talk: A Session Type Provider: Compile-time Generation of Sessi ...
14:20 - 15:10
BEAT
Getting Rid of Null-Dereferences – Behavioural Types to the Rescue
15:10 - 15:30
BEAT
Invited Talk: Session Types for Fault-Tolerant Distributed Algorithms
16:00 - 16:50
BEAT
Behavioral Types as a Semantic Foundation for the GDPR Notion of Purpose
16:50 - 17:10
BEAT
Relating Process Languages for Security and Communication Correctness
17:10 - 17:30
BEAT
Short break
17:30 - 17:40
BEAT
Towards Legally Compliant Governmental Case Work with Dynamic Condition ...
17:40 - 18:00
BEAT
Hardware Interactions as Behavioural Types
18:00 - 18:20
BEAT
Closing
18:20 - 18:25