POPL 2019 (series) / OPCT 2019 (series) /
OPCT 2019 Program
This is the OPCT 2019 program - see the full program for POPL 2019 and all affiliated events.
Filter Program
Dates
Mon 14 Jan 2019
Tue 15 Jan 2019
Rooms
Sala VII
Tracks
OPCT
Badges
Nothing to filter
Your Program
Nothing to filter
Mon 14 JanDisplayed time zone: Belfast change
Mon 14 Jan
Displayed time zone: Belfast change
09:00 - 10:30 | |||
09:00 15mDay opening | Opening OPCT | ||
09:15 25mTalk | 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 25mTalk | A Foundation for Runtime Enforcement OPCT Adrian Francalanza University of Malta | ||
10:05 25mTalk | Processes as Names? OPCT Hans Hüttel Department of Computer Science, Aalborg University File Attached | ||
11:15 - 12:30 | |||
11:15 25mTalk | Causal Reasoning for Safety OPCT Georgiana Caltais University of Konstanz File Attached | ||
11:40 25mTalk | A Calculus of Branching Processes OPCT Jean Krivine CNRS | ||
12:05 25mTalk | 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 25mTalk | Taming Concurrency for Verification using Multiparty Session Types OPCT Kirstin Peters TU Berlin | ||
14:15 25mTalk | From Testing Preorders to Flaky Tests OPCT Giovanni Bernardi Université Paris Diderot File Attached | ||
14:40 25mTalk | Multiparty Reactive Sessions OPCT Cinzia Di Giusto Laboratoire I3S File Attached | ||
15:05 25mTalk | 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 25mTalk | Linearizability in the Context of Weak Memory Models OPCT Kirsten Winter The University of Queensland File Attached | ||
16:25 25mTalk | IPA: Invariant-preserving Applications for Weakly Consistent Replicated Databases OPCT Carla Ferreira Universidade Nova Lisboa | ||
16:50 25mTalk | Compositional Reasoning for Termination of Fine-grained Concurrent Programs OPCT Emanuele D’Osualdo Imperial College London, UK Pre-print File Attached | ||
Tue 15 JanDisplayed time zone: Belfast change
Tue 15 Jan
Displayed time zone: Belfast change
09:00 - 10:30 | Equational Characterisations, TransactionsOPCT at Sala VII Chair(s): Mohammad Mousavi University of Leicester, UK | ||
09:15 25mTalk | Revised Semantics for Sequential Composition in the Presence of Successful Termination (Tentative) OPCT Bas Luttik Eindhoven University of Technology File Attached | ||
09:40 25mTalk | ULTraS at Work: Compositionality and Equational Characterization of Behavioral Metaequivalences OPCT Marco Bernardo University of Urbino File Attached | ||
10:05 25mTalk | A Uniform Framework of Transactional Consistency Models for Protocol Verification and Program Analysis OPCT Andrea Cerone Imperial College London | ||
11:15 - 12:30 | Cyberphysical Systems, Hybrid SystemsOPCT at Sala VII Chair(s): Philippa Gardner Imperial College London | ||
11:15 25mTalk | Hybrid Systems Reachability Analysis OPCT Erika Abraham RWTH Aachen University | ||
11:40 25mTalk | Attribute Based Communication for Collective Adaptive Systems OPCT | ||
12:05 25mTalk | Designing Resilient Large Scaled CPS: Models, Languages and Tools OPCT Michele Loreti University of Camerino | ||
13:50 - 15:30 | Algebra, Coalgebra, Model CheckingOPCT at Sala VII Chair(s): Barbara König University of Duisburg-Essen | ||
13:50 25mTalk | Bayes meets Dijkstra: Verifying Bayes Networks by Program Verification OPCT Joost-Pieter Katoen RWTH Aachen University File Attached | ||
14:15 25mTalk | Model Checking True Concurrency Properties OPCT Paolo Baldan University of Padova File Attached | ||
14:40 25mTalk | A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics OPCT Helle Hvid Hansen Delft University of Technology File Attached | ||
15:05 25mTalk | Weak Bisimulation Metrics in Models with Nondeterminism and Continuous States Space: A Logical Characterization OPCT Simone Tini University of Insubria | ||
16:00 - 17:20 | |||
16:00 25mTalk | Coalgebra Learning via Duality OPCT Jurriaan Rot Radboud University Nijmegen | ||
16:25 25mTalk | A Metric Semantics for Coordination Languages OPCT Valentina Castiglioni Inria Saclay - Ile de France File Attached | ||
16:50 25mTalk | Hybrid System Iteration OPCT Renato Neves University of Minho & INESC TEC File Attached | ||
17:15 5mDay closing | Closing OPCT | ||