Sala VII -

VenueHotel Cascais Miragem

Room nameSala VII

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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 Jean Krivine CNRS
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 Malte Lochau

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

09:00 - 10:30	Equational Characterisations, TransactionsOPCT at Sala VII Chair(s): Mohammad Mousavi University of Leicester, UK

09:15 25m Talk		Revised Semantics for Sequential Composition in the Presence of Successful Termination (Tentative) OPCT Bas Luttik Eindhoven University of Technology File Attached
09:40 25m Talk		ULTraS at Work: Compositionality and Equational Characterization of Behavioral Metaequivalences OPCT Marco Bernardo University of Urbino File Attached
10:05 25m Talk		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 25m Talk		Hybrid Systems Reachability Analysis OPCT Erika Abraham RWTH Aachen University
11:40 25m Talk		Attribute Based Communication for Collective Adaptive Systems OPCT Rocco De Nicola
12:05 25m Talk		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 25m Talk		Bayes meets Dijkstra: Verifying Bayes Networks by Program Verification OPCT Joost-Pieter Katoen RWTH Aachen University File Attached
14:15 25m Talk		Model Checking True Concurrency Properties OPCT Paolo Baldan University of Padova File Attached
14:40 25m Talk		A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics OPCT Helle Hvid Hansen Delft University of Technology File Attached
15:05 25m Talk		Weak Bisimulation Metrics in Models with Nondeterminism and Continuous States Space: A Logical Characterization OPCT Simone Tini University of Insubria

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Sala VII	OPCT Session Types																											OPCT Causality, Reversibility																															OPCT Session Types, Graph-Rewriting																										OPCT Concurrent Programming, Memory Models

Tue 15 Jan
Displayed time zone: Belfast change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Sala VII	OPCT Equational Characterisations, Transactions																											OPCT Cyberphysical Systems, Hybrid Systems																															OPCT Algebra, Coalgebra, Model Checking																										OPCT Algebra, Coalgebra

Mon 14 Jan
Displayed time zone: Belfast change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Sala VII	OPCT Opening 09:00 - 09:15			OPCT A Concurrent Functional Language with Session Types and Control Effects ... 09:15 - 09:40					OPCT A Foundation for Runtime Enforcement 09:40 - 10:05					OPCT Processes as Names? 10:05 - 10:30														OPCT Causal Reasoning for Safety 11:15 - 11:40					OPCT A Calculus of Branching Processes 11:40 - 12:05					OPCT An Axiomatic Approach to Reversible Computation 12:05 - 12:30																					OPCT Taming Concurrency for Verification using Multiparty Session Types 13:50 - 14:15					OPCT From Testing Preorders to Flaky Tests 14:15 - 14:40					OPCT Multiparty Reactive Sessions 14:40 - 15:05					OPCT Independence, Concurrency and Abstraction in Graph-Rewriting Processes 15:05 - 15:30											OPCT Linearizability in the Context of Weak Memory Models 16:00 - 16:25					OPCT IPA: Invariant-preserving Applications for Weakly Consistent Replicated ... 16:25 - 16:50					OPCT Compositional Reasoning for Termination of Fine-grained Concurrent Programs 16:50 - 17:15

Tue 15 Jan
Displayed time zone: Belfast change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Sala VII				OPCT Revised Semantics for Sequential Composition in the Presence of Success ... 09:15 - 09:40					OPCT ULTraS at Work: Compositionality and Equational Characterization of Beh ... 09:40 - 10:05					OPCT A Uniform Framework of Transactional Consistency Models for Protocol Ve ... 10:05 - 10:30														OPCT Hybrid Systems Reachability Analysis 11:15 - 11:40					OPCT Attribute Based Communication for Collective Adaptive Systems 11:40 - 12:05					OPCT Designing Resilient Large Scaled CPS: Models, Languages and Tools 12:05 - 12:30																					OPCT Bayes meets Dijkstra: Verifying Bayes Networks by Program Verification 13:50 - 14:15					OPCT Model Checking True Concurrency Properties 14:15 - 14:40					OPCT A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Express ... 14:40 - 15:05					OPCT Weak Bisimulation Metrics in Models with Nondeterminism and Continuous ... 15:05 - 15:30											OPCT Coalgebra Learning via Duality 16:00 - 16:25					OPCT A Metric Semantics for Coordination Languages 16:25 - 16:50					OPCT Hybrid System Iteration 16:50 - 17:15					OPCT Closing 17:15 - 17:20

Room information: Sala VII

Mon 14 Jan
Displayed time zone: Belfast change

Tue 15 Jan
Displayed time zone: Belfast change

Mon 14 Jan
Displayed time zone: Belfast change

OPCT

OPCT

OPCT

OPCT

Tue 15 Jan
Displayed time zone: Belfast change

OPCT

OPCT

OPCT

OPCT

Mon 14 Jan
Displayed time zone: Belfast change

Tue 15 Jan
Displayed time zone: Belfast change

Tracks

Room information: Sala VII

Program Display Configuration

Mon 14 JanDisplayed time zone: Belfast change

Tue 15 JanDisplayed time zone: Belfast change

Mon 14 JanDisplayed time zone: Belfast change

OPCT

OPCT

OPCT

OPCT

Tue 15 JanDisplayed time zone: Belfast change

OPCT

OPCT

OPCT

OPCT

Mon 14 JanDisplayed time zone: Belfast change

Tue 15 JanDisplayed time zone: Belfast change

Mon 14 Jan
Displayed time zone: Belfast change

Tue 15 Jan
Displayed time zone: Belfast change

Mon 14 Jan
Displayed time zone: Belfast change

Tue 15 Jan
Displayed time zone: Belfast change

Mon 14 Jan
Displayed time zone: Belfast change

Tue 15 Jan
Displayed time zone: Belfast change