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).
Mon 14 JanDisplayed 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): Antonio 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
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 | ||
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.
Participants
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)
- No members yet