Sun 13 JanDisplayed time zone: Belfast change
Sun 13 Jan
Displayed time zone: Belfast change
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 | ||