OPCT 2019
Sun 13 - Sat 19 January 2019
Cascais, Portugal
co-located with
POPL 2019
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Program
OPCT Program
Your Program
Filter by Day
Sun 13 Jan
Mon 14 Jan
Tue 15 Jan
Wed 16 Jan
Thu 17 Jan
Fri 18 Jan
Sat 19 Jan
Track/Call
Organization
OPCT 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
POPL 2019
(
series
) /
OPCT 2019 (
series
) /
Hotel Cascais Miragem
/
Room information: Sala VII
Venue
Hotel Cascais Miragem
Room name
Sala VII
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT) Belfast
.
Use conference time zone: (GMT) Belfast
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 Types
OPCT 2019
at
Sala VII
Chair(s):
Ilaria Castellani
INRIA Sophia Antipolis, France
09:00
15m
Day opening
Opening
OPCT 2019
09:15
25m
Talk
A Concurrent Functional Language with Session Types and Control Effects Based on Linear Logic
OPCT 2019
Luís Caires
NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
09:40
25m
Talk
A Foundation for Runtime Enforcement
OPCT 2019
Adrian Francalanza
University of Malta
10:05
25m
Talk
Processes as Names?
OPCT 2019
Hans Hüttel
Department of Computer Science, Aalborg University
File Attached
11:15 - 12:30
Causality, Reversibility
OPCT 2019
at
Sala VII
Chair(s):
Thomas H. Hildebrandt
11:15
25m
Talk
Causal Reasoning for Safety
OPCT 2019
Georgiana Caltais
University of Konstanz
File Attached
11:40
25m
Talk
A Calculus of Branching Processes
OPCT 2019
Jean Krivine
CNRS
12:05
25m
Talk
An Axiomatic Approach to Reversible Computation
OPCT 2019
Irek Ulidowski
University of Leicester
13:50 - 15:30
Session Types, Graph-Rewriting
OPCT 2019
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 2019
Kirstin Peters
TU Berlin
14:15
25m
Talk
From Testing Preorders to Flaky Tests
OPCT 2019
Giovanni Bernardi
Université Paris Diderot
File Attached
14:40
25m
Talk
Multiparty Reactive Sessions
OPCT 2019
Cinzia Di Giusto
Laboratoire I3S
File Attached
15:05
25m
Talk
Independence, Concurrency and Abstraction in Graph-Rewriting Processes
OPCT 2019
Malte Lochau
16:00 - 17:15
Concurrent Programming, Memory Models
OPCT 2019
at
Sala VII
Chair(s):
Gustavo Petri
IRIF, Université Paris Diderot
16:00
25m
Talk
Linearizability in the Context of Weak Memory Models
OPCT 2019
Kirsten Winter
The University of Queensland
File Attached
16:25
25m
Talk
IPA: Invariant-preserving Applications for Weakly Consistent Replicated Databases
OPCT 2019
Carla Ferreira
Universidade Nova Lisboa
16:50
25m
Talk
Compositional Reasoning for Termination of Fine-grained Concurrent Programs
OPCT 2019
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, Transactions
OPCT 2019
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 2019
Bas Luttik
Eindhoven University of Technology
File Attached
09:40
25m
Talk
ULTraS at Work: Compositionality and Equational Characterization of Behavioral Metaequivalences
OPCT 2019
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 2019
Andrea Cerone
Imperial College London
11:15 - 12:30
Cyberphysical Systems, Hybrid Systems
OPCT 2019
at
Sala VII
Chair(s):
Philippa Gardner
Imperial College London
11:15
25m
Talk
Hybrid Systems Reachability Analysis
OPCT 2019
Erika Abraham
RWTH Aachen University
11:40
25m
Talk
Attribute Based Communication for Collective Adaptive Systems
OPCT 2019
Rocco De Nicola
12:05
25m
Talk
Designing Resilient Large Scaled CPS: Models, Languages and Tools
OPCT 2019
Michele Loreti
University of Camerino
13:50 - 15:30
Algebra, Coalgebra, Model Checking
OPCT 2019
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 2019
Joost-Pieter Katoen
RWTH Aachen University
File Attached
14:15
25m
Talk
Model Checking True Concurrency Properties
OPCT 2019
Paolo Baldan
University of Padova
File Attached
14:40
25m
Talk
A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics
OPCT 2019
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 2019
Simone Tini
University of Insubria
16:00 - 17:20
Algebra, Coalgebra
OPCT 2019
at
Sala VII
Chair(s):
Alexandra Silva
University College London
16:00
25m
Talk
Coalgebra Learning via Duality
OPCT 2019
Jurriaan Rot
Radboud University Nijmegen
16:25
25m
Talk
A Metric Semantics for Coordination Languages
OPCT 2019
Valentina Castiglioni
Inria Saclay - Ile de France
File Attached
16:50
25m
Talk
Hybrid System Iteration
OPCT 2019
Renato Neves
University of Minho & INESC TEC
File Attached
17:15
5m
Day closing
Closing
OPCT 2019
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 2019
Session Types
OPCT 2019
Causality, Reversibility
OPCT 2019
Session Types, Graph-Rewriting
OPCT 2019
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 2019
Equational Characterisations, Transactions
OPCT 2019
Cyberphysical Systems, Hybrid Systems
OPCT 2019
Algebra, Coalgebra, Model Checking
OPCT 2019
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
x
Sat 23 Nov 22:16