OPCT 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
co-located with POPL 2019
POPL 2019 (series) / OPCT 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 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
Mauricio Cano
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

Sun 13 Jan

Displayed time zone: Belfast change

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

BEAT

Session 1

BEAT

Session 2

BEAT

Session 3

BEAT

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