Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal

The OPCT (Open Problems in Concurrency Theory) series of research seminars is sponsored by the IFIP Working Group WG1.8 on Concurrency Theory: http://www.ifip-tc1.org/wg1-08.php

OPCT aims at identifying and discussing the most important open problems in Concurrency Theory. Participation is on invitation only and there are no proceedings, but the slides of the talks will be made available on the website.

OPCT’19 is the third seminar in the series, following OPCT’14 in Bertinoro and OPCT’17 in Vienna.

http://www.sti.uniurb.it/events/opct2014/

http://opct2017.famaf.unc.edu.ar/Home.html

OPCT’19 will take place in Lisbon/Cascais on January 14-15, 2019 (same venue as POPL’19).

Social dinner: Jan 15, 19:45, at Tertulia do Monte (Avenida Saboia 515D, Monte Estoril).

Dates
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): Antonio 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

Call for Papers

The OPCT (Open Problems in Concurrency Theory) series of research seminars, sponsored by the IFIP Working Group WG1.8 on Concurrency Theory: http://www.ifip-tc1.org/wg1-08.php

OPCT aims at identifying and discussing the most important open problems in Concurrency Theory. Participation is on invitation only and there are no proceedings, but the slides of the talks will be made available on the website.

OPCT’19 will be the third edition of the workshop, following OPCT’14 in Bertinoro and OPCT’17 in Vienna: http://www.sti.uniurb.it/events/opct2014/ http://opct2017.famaf.unc.edu.ar/Home.html

OPCT’19 will take place in Cascais/Lisbon on January 14-15, 2019.

The event had the following 53 participants, who explicitly agreed to have their name on the list. _______________________________________________________________________________________

Erika Abraham (RWTH Aachen, DE)

Ana Almeida Matos (IST, PT)

Paolo Baldan (U of Padua, IT)

Giovanni Bernardi (U. Paris VII, FR)

Marco Bernardo (U. Urbino, IT)

Luis Caires (U. Nova de Lisboa, PT)

Georgiana Caltais (U. Konstanz, DE)

Marco Carbone (ITU Copenhagen, DK)

Ilaria Castellani (INRIA Sophia Antipolis, FR)

Valentina Castiglioni (INRIA Saclay, FR)

Andrea Cerone (Imperial College, UK)

Joao Costa Seco (U. Nova Lisboa, PT)

Rocco De Nicola (IMT Lucca, IT)

Emanuele D’Osualdo (Imperial College, UK)

Cinzia Di Giusto (U. Nice Sophia Antipolis, FR)

Carla Ferreira (U. Nova Lisboa, PT)

Adrian Francalanza, (University of Malta, Malta)

Akram Elkorashy (Max Planck Institute for Software Systems)

David de Frutos Escrig (U Complutense Madrid, SP)

Jim Fix (Reed College, Portland, USA)

Philippa Gardner, (Imperial College, UK)

Simon Gay (U Glasgow, UK)

Paola Giannini (U Piemonte Orientale, IT)

Hans Hüttel (U. Aalborg, DK)

Helle Hvid Hansen (TU Delft, NL)

Joost-Pieter Katoen, (RWTH Aachen, DE)

Barbara Koenig (U. Duisburg, DE)

Jean Krivine (CNRS-IRIF, FR)

Ori Lahav (Tel-Aviv University)

Malte Lochau (Darmstadt University, DE)

Michele Loreti (U. Camerino, IT)

Chong Li

Bas Luttik (TU Eindhoven, NL)

Bruno Machado (Instituto Superior Técnico, PT)

Marino Miculan (U. Udine, IT)

Mohammad Reza Mousavi, (U. Leicester, UK)

Renato Neves (U Minho, PT)

Francisca Opoku Boateng (Dakota State University, USA)

Catuscia Palamidessi (INRIA Saclay, FR)

Jorge Perez (U. Groningen, NL)

Kirstin Peters (TU Berlin, DE)

Gustavo Petri (ARM Research, UK)

Azalea Raad (Max Planck Institute for Software Systems)

António Ravara (U. Nova Lisboa, PT)

Pedro Rocha (U. Nova Lisboa, PT)

Juriaan Rot (Radboud U., NL)

Alceste Scalas (Imperial College, UK)

Alexandra Silva (UCL, UK)

Simone Tini (U. Insubria, IT)

Bernardo Toninho (U. Nova Lisboa, PT)


Irek Ulidowski (U. Leicester, UK)

Vasco Vasconcelos (University of Lisbon, PT)

Kirsten Winter (U. Queensland, AU)