BEAT 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
co-located with POPL 2019
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

Mon 14 Jan

Displayed time zone: Belfast change

09:00 - 10:30
Session TypesOPCT at Sala VII
Chair(s): Ilaria Castellani INRIA Sophia Antipolis, France
09:00
15m
Day opening
Opening
OPCT

09:15
25m
Talk
A Concurrent Functional Language with Session Types and Control Effects Based on Linear Logic
OPCT
Luís Caires NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
09:40
25m
Talk
A Foundation for Runtime Enforcement
OPCT
Adrian Francalanza University of Malta
10:05
25m
Talk
Processes as Names?
OPCT
Hans Hüttel Department of Computer Science, Aalborg University
File Attached
11:15 - 12:30
Causality, ReversibilityOPCT at Sala VII
Chair(s): Thomas H. Hildebrandt
11:15
25m
Talk
Causal Reasoning for Safety
OPCT
Georgiana Caltais University of Konstanz
File Attached
11:40
25m
Talk
A Calculus of Branching Processes
OPCT
12:05
25m
Talk
An Axiomatic Approach to Reversible Computation
OPCT
Irek Ulidowski University of Leicester
13:50 - 15:30
Session Types, Graph-RewritingOPCT at Sala VII
Chair(s): António Ravara Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS
13:50
25m
Talk
Taming Concurrency for Verification using Multiparty Session Types
OPCT
Kirstin Peters TU Berlin
14:15
25m
Talk
From Testing Preorders to Flaky Tests
OPCT
Giovanni Bernardi Université Paris Diderot
File Attached
14:40
25m
Talk
Multiparty Reactive Sessions
OPCT
Cinzia Di Giusto Laboratoire I3S
File Attached
15:05
25m
Talk
Independence, Concurrency and Abstraction in Graph-Rewriting Processes
OPCT
16:00 - 17:15
Concurrent Programming, Memory ModelsOPCT at Sala VII
Chair(s): Gustavo Petri IRIF, Université Paris Diderot
16:00
25m
Talk
Linearizability in the Context of Weak Memory Models
OPCT
Kirsten Winter The University of Queensland
File Attached
16:25
25m
Talk
IPA: Invariant-preserving Applications for Weakly Consistent Replicated Databases
OPCT
Carla Ferreira Universidade Nova Lisboa
16:50
25m
Talk
Compositional Reasoning for Termination of Fine-grained Concurrent Programs
OPCT
Emanuele D’Osualdo Imperial College London, UK
Pre-print File Attached

Tue 15 Jan

Displayed time zone: Belfast change

11:15 - 12:30
Cyberphysical Systems, Hybrid SystemsOPCT at Sala VII
Chair(s): Philippa Gardner Imperial College London
11:15
25m
Talk
Hybrid Systems Reachability Analysis
OPCT
Erika Abraham RWTH Aachen University
11:40
25m
Talk
Attribute Based Communication for Collective Adaptive Systems
OPCT
12:05
25m
Talk
Designing Resilient Large Scaled CPS: Models, Languages and Tools
OPCT
Michele Loreti University of Camerino
16:00 - 17:20
Algebra, CoalgebraOPCT at Sala VII
Chair(s): Alexandra Silva University College London
16:00
25m
Talk
Coalgebra Learning via Duality
OPCT
Jurriaan Rot Radboud University Nijmegen
16:25
25m
Talk
A Metric Semantics for Coordination Languages
OPCT
Valentina Castiglioni Inria Saclay - Ile de France
File Attached
16:50
25m
Talk
Hybrid System Iteration
OPCT
Renato Neves University of Minho & INESC TEC
File Attached
17:15
5m
Day closing
Closing
OPCT

Mon 14 Jan

Displayed time zone: Belfast change