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 Jan Times are displayed in time zone: Greenwich Mean Time : Belfast change
09:00 - 10:30: Session TypesOPCT at Sala VII Chair(s): Ilaria CastellaniINRIA Sophia Antipolis, France | |||
09:00 - 09:15 Day opening | Opening OPCT | ||
09:15 - 09:40 Talk | A Concurrent Functional Language with Session Types and Control Effects Based on Linear Logic OPCT Luís CairesNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa | ||
09:40 - 10:05 Talk | A Foundation for Runtime Enforcement OPCT Adrian FrancalanzaUniversity of Malta | ||
10:05 - 10:30 Talk | Processes as Names? OPCT Hans HüttelDepartment of Computer Science, Aalborg University File Attached |
11:15 - 11:40 Talk | Causal Reasoning for Safety OPCT Georgiana CaltaisUniversity of Konstanz File Attached | ||
11:40 - 12:05 Talk | A Calculus of Branching Processes OPCT Jean KrivineCNRS | ||
12:05 - 12:30 Talk | An Axiomatic Approach to Reversible Computation OPCT Irek UlidowskiUniversity of Leicester |
13:50 - 15:30: Session Types, Graph-RewritingOPCT at Sala VII Chair(s): Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS | |||
13:50 - 14:15 Talk | Taming Concurrency for Verification using Multiparty Session Types OPCT Kirstin PetersTU Berlin | ||
14:15 - 14:40 Talk | From Testing Preorders to Flaky Tests OPCT Giovanni BernardiUniversité Paris Diderot File Attached | ||
14:40 - 15:05 Talk | Multiparty Reactive Sessions OPCT Cinzia Di GiustoLaboratoire I3S File Attached | ||
15:05 - 15:30 Talk | Independence, Concurrency and Abstraction in Graph-Rewriting Processes OPCT |
16:00 - 17:15: Concurrent Programming, Memory ModelsOPCT at Sala VII Chair(s): Gustavo PetriIRIF, Université Paris Diderot | |||
16:00 - 16:25 Talk | Linearizability in the Context of Weak Memory Models OPCT Kirsten WinterThe University of Queensland File Attached | ||
16:25 - 16:50 Talk | IPA: Invariant-preserving Applications for Weakly Consistent Replicated Databases OPCT Carla FerreiraUniversidade Nova Lisboa | ||
16:50 - 17:15 Talk | Compositional Reasoning for Termination of Fine-grained Concurrent Programs OPCT Emanuele D'OsualdoImperial College London, UK Pre-print File Attached |
Tue 15 Jan Times are displayed in time zone: Greenwich Mean Time : Belfast change
09:00 - 10:30: Equational Characterisations, TransactionsOPCT at Sala VII Chair(s): Mohammad MousaviUniversity of Leicester, UK | |||
09:15 - 09:40 Talk | Revised Semantics for Sequential Composition in the Presence of Successful Termination (Tentative) OPCT Bas LuttikEindhoven University of Technology File Attached | ||
09:40 - 10:05 Talk | ULTraS at Work: Compositionality and Equational Characterization of Behavioral Metaequivalences OPCT Marco BernardoUniversity of Urbino File Attached | ||
10:05 - 10:30 Talk | A Uniform Framework of Transactional Consistency Models for Protocol Verification and Program Analysis OPCT Andrea CeroneImperial College London |
11:15 - 12:30: Cyberphysical Systems, Hybrid SystemsOPCT at Sala VII Chair(s): Philippa GardnerImperial College London | |||
11:15 - 11:40 Talk | Hybrid Systems Reachability Analysis OPCT Erika AbrahamRWTH Aachen University | ||
11:40 - 12:05 Talk | Attribute Based Communication for Collective Adaptive Systems OPCT | ||
12:05 - 12:30 Talk | Designing Resilient Large Scaled CPS: Models, Languages and Tools OPCT Michele LoretiUniversity of Camerino |
13:50 - 15:30: Algebra, Coalgebra, Model CheckingOPCT at Sala VII Chair(s): Barbara KönigUniversity of Duisburg-Essen | |||
13:50 - 14:15 Talk | Bayes meets Dijkstra: Verifying Bayes Networks by Program Verification OPCT Joost-Pieter KatoenRWTH Aachen University File Attached | ||
14:15 - 14:40 Talk | Model Checking True Concurrency Properties OPCT Paolo BaldanUniversity of Padova File Attached | ||
14:40 - 15:05 Talk | A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics OPCT Helle Hvid HansenDelft University of Technology File Attached | ||
15:05 - 15:30 Talk | Weak Bisimulation Metrics in Models with Nondeterminism and Continuous States Space: A Logical Characterization OPCT Simone TiniUniversity of Insubria |
16:00 - 17:20: Algebra, CoalgebraOPCT at Sala VII Chair(s): Alexandra SilvaUniversity College London | |||
16:00 - 16:25 Talk | Coalgebra Learning via Duality OPCT Jurriaan RotRadboud University Nijmegen | ||
16:25 - 16:50 Talk | A Metric Semantics for Coordination Languages OPCT Valentina CastiglioniInria Saclay - Ile de France File Attached | ||
16:50 - 17:15 Talk | Hybrid System Iteration OPCT Renato NevesUniversity of Minho & INESC TEC File Attached | ||
17:15 - 17:20 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.
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)