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
Rooms
Tracks
Badges
Your Program
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 |