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
09:00 - 10:30: OPCT 2019 - Session Types at Sala VII Chair(s): Ilaria CastellaniINRIA Sophia Antipolis, France | ||||||||||||||||||||||||||||||||||||||||||
09:00 - 09:15 Day opening | ||||||||||||||||||||||||||||||||||||||||||
09:15 - 09:40 Talk | Luís CairesNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa | |||||||||||||||||||||||||||||||||||||||||
09:40 - 10:05 Talk | Adrian FrancalanzaUniversity of Malta | |||||||||||||||||||||||||||||||||||||||||
10:05 - 10:30 Talk | Hans HüttelDepartment of Computer Science, Aalborg University File Attached |
11:15 - 11:40 Talk | Georgiana CaltaisUniversity of Konstanz File Attached | |||||||||||||||||||||||||||||||||||||||||
11:40 - 12:05 Talk | Jean KrivineCNRS | |||||||||||||||||||||||||||||||||||||||||
12:05 - 12:30 Talk | Irek UlidowskiUniversity of Leicester |
13:50 - 15:30: OPCT 2019 - Session Types, Graph-Rewriting 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 | Kirstin PetersTU Berlin | |||||||||||||||||||||||||||||||||||||||||
14:15 - 14:40 Talk | Giovanni BernardiUniversité Paris Diderot File Attached | |||||||||||||||||||||||||||||||||||||||||
14:40 - 15:05 Talk | Cinzia Di GiustoLaboratoire I3S File Attached | |||||||||||||||||||||||||||||||||||||||||
15:05 - 15:30 Talk |
16:00 - 17:15: OPCT 2019 - Concurrent Programming, Memory Models at Sala VII Chair(s): Gustavo PetriIRIF, Université Paris Diderot | ||||||||||||||||||||||||||||||||||||||||||
16:00 - 16:25 Talk | Kirsten WinterThe University of Queensland File Attached | |||||||||||||||||||||||||||||||||||||||||
16:25 - 16:50 Talk | Carla FerreiraUniversidade Nova Lisboa | |||||||||||||||||||||||||||||||||||||||||
16:50 - 17:15 Talk | Emanuele D'OsualdoImperial College London, UK Pre-print File Attached |
Tue 15 Jan
09:00 - 10:30: OPCT 2019 - Equational Characterisations, Transactions at Sala VII Chair(s): Mohammad MousaviUniversity of Leicester, UK | ||||||||||||||||||||||||||||||||||||||||||
09:15 - 09:40 Talk | Bas LuttikEindhoven University of Technology File Attached | |||||||||||||||||||||||||||||||||||||||||
09:40 - 10:05 Talk | Marco BernardoUniversity of Urbino File Attached | |||||||||||||||||||||||||||||||||||||||||
10:05 - 10:30 Talk | Andrea CeroneImperial College London |
11:15 - 12:30: OPCT 2019 - Cyberphysical Systems, Hybrid Systems at Sala VII Chair(s): Philippa GardnerImperial College London | ||||||||||||||||||||||||||||||||||||||||||
11:15 - 11:40 Talk | Erika AbrahamRWTH Aachen University | |||||||||||||||||||||||||||||||||||||||||
11:40 - 12:05 Talk | ||||||||||||||||||||||||||||||||||||||||||
12:05 - 12:30 Talk | Michele LoretiUniversity of Camerino |
13:50 - 15:30: OPCT 2019 - Algebra, Coalgebra, Model Checking at Sala VII Chair(s): Barbara KönigUniversity of Duisburg-Essen | ||||||||||||||||||||||||||||||||||||||||||
13:50 - 14:15 Talk | Joost-Pieter KatoenRWTH Aachen University File Attached | |||||||||||||||||||||||||||||||||||||||||
14:15 - 14:40 Talk | Paolo BaldanUniversity of Padova File Attached | |||||||||||||||||||||||||||||||||||||||||
14:40 - 15:05 Talk | Helle Hvid HansenDelft University of Technology File Attached | |||||||||||||||||||||||||||||||||||||||||
15:05 - 15:30 Talk | Simone TiniUniversity of Insubria |
16:00 - 17:20: OPCT 2019 - Algebra, Coalgebra at Sala VII Chair(s): Alexandra SilvaUniversity College London | ||||||||||||||||||||||||||||||||||||||||||
16:00 - 16:25 Talk | Jurriaan RotRadboud University Nijmegen | |||||||||||||||||||||||||||||||||||||||||
16:25 - 16:50 Talk | Valentina CastiglioniInria Saclay - Ile de France File Attached | |||||||||||||||||||||||||||||||||||||||||
16:50 - 17:15 Talk | Renato NevesUniversity of Minho & INESC TEC File Attached | |||||||||||||||||||||||||||||||||||||||||
17:15 - 17:20 Day closing |
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)