POPL 2019 (series) / BEAT 2019 (series) /
BEAT 2019 Program
This is the BEAT 2019 program - see the full program for POPL 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 13 JanDisplayed time zone: Belfast change
Sun 13 Jan
Displayed time zone: Belfast change
08:30 - 10:30 | |||
08:30 10mDay 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 50mTalk | Invited Talk: Gradual Session Types — an Ongoing Journey BEAT Peter Thiemann University of Freiburg, Germany | ||
09:30 20mTalk | Gradual Session Types in Imperative Style BEAT | ||
09:50 20mTalk | 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 20mTalk | 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 | |||
11:00 50mTalk | Invited Talk: On Type-Based Complexity Analysis of Programs and Processes BEAT Ugo Dal Lago University of Bologna, Italy / Inria, France | ||
11:50 20mTalk | 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 20mTalk | Two Declarative Approaches for Session-Based Concurrency BEAT |
13:30 - 15:30 | |||
13:30 50mTalk | Invited Talk: Resource-Aware Session Types BEAT Jan Hoffmann Carnegie Mellon University | ||
14:20 50mTalk | 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 20mTalk | 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 50mTalk | Invited Talk: Session Types for Fault-Tolerant Distributed Algorithms BEAT Kirstin Peters TU Berlin | ||
16:50 20mTalk | 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 20mTalk | 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 10mBreak | Short break BEAT | ||
17:40 20mTalk | 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 20mTalk | 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 5mDay 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 |