Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
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

Conference Day
Sun 13 Jan

Displayed time zone: Belfast change

08:30 - 10:30
Session 1BEAT at Sala VII
Chair(s): Philip WadlerUniversity of Edinburgh, UK
08:30
10m
Day opening
Opening
BEAT
Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Jorge A. PérezUniversity of Groningen, The Netherlands
08:40
50m
Talk
Invited Talk: Gradual Session Types — an Ongoing Journey
BEAT
Peter ThiemannUniversity of Freiburg, Germany
09:30
20m
Talk
Gradual Session Types in Imperative Style
BEAT
Kaede KobayashiKyoto University, Atsushi IgarashiKyoto University, Japan
09:50
20m
Talk
Checking the Equivalence of Context-Free Session Types
BEAT
Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco VasconcelosLASIGE, Faculty of Sciences, University of Lisbon
File Attached
10:10
20m
Talk
Effpi: Concurrent Programming with Dependent Behavioural Types
BEAT
Alceste ScalasImperial College London, Elias BenussiImperial College London, Nobuko YoshidaImperial College London
File Attached
11:00 - 12:30
Session 2BEAT at Sala VII
Chair(s): Dominic OrchardUniversity of Kent, UK
11:00
50m
Talk
Invited Talk: On Type-Based Complexity Analysis of Programs and Processes
BEAT
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
11:50
20m
Talk
Global Types with Internal Delegation
BEAT
Ilaria CastellaniINRIA Sophia Antipolis, France, Mariangiola DezaniUniversità di Torino, Paola GianniniUniversita' del Piemonte Orientale, Ross HorneComputer 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 GianniniUniversita' del Piemonte Orientale
13:30
50m
Talk
Invited Talk: Resource-Aware Session Types
BEAT
Jan HoffmannCarnegie Mellon University
14:20
50m
Talk
Invited Talk: A Session Type Provider: Compile-time Generation of Session Types with Interaction Refinements
BEAT
Rumyana NeykovaBrunel University London
File Attached
15:10
20m
Talk
Getting Rid of Null-Dereferences – Behavioural Types to the Rescue
BEAT
Hans HüttelDepartment of Computer Science, Aalborg University, Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Adrian FrancalanzaUniversity of Malta, Mario BravettiUniversità di Bologna
File Attached
16:00 - 18:25
Session 4BEAT at Sala VII
Chair(s): Adrian FrancalanzaUniversity of Malta, Jorge A. PérezUniversity of Groningen, The Netherlands
16:00
50m
Talk
Invited Talk: Session Types for Fault-Tolerant Distributed Algorithms
BEAT
16:50
20m
Talk
Behavioral Types as a Semantic Foundation for the GDPR Notion of Purpose
BEAT
Evangelia VaneziUniversity of Cyprus, Dimitrios KouzapasUniversity of Cyprus, Anna PhilippouUniversity of Cyprus
17:10
20m
Talk
Relating Process Languages for Security and Communication Correctness
BEAT
Daniele Nantes-SobrinhoUniversity of Brasília, Brazil, Jorge A. PérezUniversity 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 DeboisIT University of Copenhagen, Thomas H. Hildebrandt, Hugo LópezIT University of Copenhagen, Denmark & DCR Solutions A/S
Media Attached
18:00
20m
Talk
Hardware Interactions as Behavioural Types
BEAT
Carlos Mão de FerroLASIGE, Faculty of Sciences, University of Lisbon, Francisco MartinsLaSIGE, University of Lisbon, Tiago CogumbreiroUniversity of Massachusetts Boston
File Attached
18:20
5m
Day closing
Closing
BEAT
Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Jorge A. PérezUniversity of Groningen, The Netherlands

Conference Day
Sun 13 Jan

Displayed time zone: Belfast change

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