- Details
- Written by Christoph Wagner
- Category: Events
The 6th IFIP WG 1.8 Workshop on Trends in Concurrency Theory
September 9, 2017, Berlin, Germany
A satellite event of CONCUR 2017
Description
TRENDS 2016 is an event organised by IFIP WG 1.8 on Concurrency Theory. It aims at bringing together researchers interested in Concurrency Theory and its applications, to exchange ideas and discuss recent trends and open problems. The event will take place on September 9, 2017 and will consist of two invited talks, a number of highlight presentations. It will be associated with the yearly WG 1.8 business meeting.
Program
* 09:00-09:45 Invited Talk: Marieke Huisman, University of Twente, The Netherlands
Title: A Verification Technique for Deterministic Parallel Programs
Abstract: A commonly used approach to develop parallel programs is to augment a sequential program with compiler directives that indicate which program blocks may potentially be executed in parallel. This talk presents a verification technique to prove correctness of compiler directives combined with functional correctness of the program. We propose syntax and semantics for a simple core language, capturing the main forms of deterministic parallel programs. This language distinguishes three kinds of basic blocks: parallel, vectorized and sequential blocks, which can be composed using three different composition operators: sequential, parallel and fusion composition. We show that it is sufficient to have contracts for the basic blocks to prove correctness of the compiler directives, and moreover that functional correctness of the sequential program implies correctness of the parallelized program. We formally prove correctness of our approach. In addition, we define a widely-used subset of OpenMP that can be encoded into our core language, thus effectively enabling the verification of OpenMP compiler directives, and we discuss automated tool support for this verification process.
* 09:45-10:10 Javier Esparza, Static Analysis of Deterministic Negotiations
* 10:10-10:35 Ana Sokolova, Convex Algebras for Probabilistic Systems
* 10:35-11:00 Antonin Kucera, Efficient Algorithms for Checking Fast Termination in VASS
* 11:00-11:45 Coffee / Tea Break
* 11:45-12:10 Paola Giannini, Delegation for Global Types (Based on ongoing work with Ilaria Castellani and Mariangiola Dezani-Ciancaglini)
* 12:10-12:35 Ugo Montanari, Decomposition Structures for Soft Constraint Evaluation Problems
* 12:35-13:00 Rob van Glabbeek, Ensuring Liveness Properties of Distributed Systems
* 13:00-14:00 Lunch
* 14:00-14:45 Invited Talk: Jan Peleska, University of Bremen, Germany
Title: Trends in Concurrency Theory - the Tester's Perspective
Abstract: In recent years, new paradigms for distributed systems have indicated the need for extending the semantic foundations of concurrency. This need arose in very different domains, such as multi-core technologies, cyber-physical systems, geographically distributed e-commerce applications, autonomous systems, or systems of systems. In this talk, we'll analyse two of these concurrency aspects, originating from research on systems of systems: (1) the problem of dynamically changing system configurations, and (2) the challenge of requirements specifications evolving over time. This analysis is done from the perspective of system testing. In this field, some challenges can be more effectively handled, since testing is focused on finite sequences of observations, and therefore restricted to the investigation of safety properties.
* 14:45-15:10 Mario Bravetti, Undecidability of Asynchronous Session Subtyping: the Hunt for Significant Decidable Variants (Based on joint work with Marco Carbone and Gianluigi Zavattaro)
* 15:10-15:35 Loic Helouet, Combining Free choice and Time in Petri Nets
* 15:35-16:00 IFIP WG 1.8 Business Meeting (Open to Public)
We welcome highlight talks of 10-15 minutes; talk proposals can be submitted through the TRENDS 2017 EasyChair submission page.
Participation
Participation, both to the workshop and to the IFIP WG 1.8 meeting, is open to everybody. For registration, please consult the CONCUR 2017 registration page.
Organizers
Ilaria Castellani (INRIA Sophia Antipolis, France)
Mohammad Mousavi (University of Leicester, UK and Halmstad University, Sweden)
IFIP WG 1.8 on Concurrency Theory
The aims of IFIP WG 1.8 on Concurrency Theory are:
* To develop theoretical foundations of concurrency, exploring frontiers of existing theoretical models like process algebra and process calculi, so as to obtain a deeper theoretical understanding of concurrent and parallel systems.
* To promote and coordinate the exchange of information on concurrency theory, by sharing ideas, discussing open problems, and identifying future directions of research in the area.
The activities of this WG encompass all aspects of concurrency theory and its applications.
More information on IFIP WG 1.8 can be found on its home page.
History
The first instalment of TRENDS (TRENDS 2012) was held on September 8, 2012 as a satellite event of CONCUR 2012, in Newcastle upon Tyne, UK.
The second instalment of TRENDS (TRENDS 2013) was held on August 31, 2013 as a satellite event of CONCUR 2013, in Buenos Aires, Argentina.
The third instalment of TRENDS (TRENDS 2014) was held on September 6, 2014 as a satellite event of CONCUR 2014, in Rome, Italy.
The fourth instalment of TRENDS (TRENDS 2015) was held on September 6, 2015 as a satellite event of CONCUR 2015, in Madrid, Spain.
The fifth instalment of TRENDS (TRENDS 2016) was held on August 27, 2016 as a satellite event of CONCUR 2016, in Quebec City, Canada.
- Details
- Written by Mohammad Mousavi
- Category: Events
The 7th IFIP WG 1.8 Workshop on Trends in Concurrency Theory
September 8, 2018, Beijing, China A satellite event of CONCUR 2018 |
![]() |
Description
TRENDS 2018 is an event organised by IFIP WG 1.8 on Concurrency Theory. It aims at bringing together researchers interested in Concurrency Theory and its applications, to exchange ideas and discuss recent trends and open problems. The event will take place on September 8, 2018 and will consist of two invited talks, a number of highlight presentations. It will be associated with the yearly WG 1.8 business meeting.
Invited Speakers
- Nobuko Yoshida, Imperial College, London, UK
Title: Behavioural Type-Based Static Verification Framework for Go - Marielle Stoelinga, University of Twente, The Netherlands
Title: Risk management for high tech systems
Highlight Talks
-
Lei Bu, Path-Oriented Reachability Analysis of Composed Linear Hybrid Systems under Shallow Synchronization Semantics.
-
Zhenbang Chen, Symbolic Verification of MPI Programs.
- Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng and Lijun Zhang Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems.
-
Cong Tian, Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-Guided Approach.
Final Program
• 09:00-09:15 Arrival and registration
• 09:15-09:30 Opening
• 09:30-10:30 Invited Talk: Nobuko Yoshida, Imperial College, London, UK
Title: Behavioural Type-Based Static Verification Framework for Go
Abstract:
Go is a production-level statically typed programming language whose design features explicit message-passing primitives and lightweight threads, enabling (and encouraging) programmers to develop concurrent systems where components interact through communication more so than by lock-based shared memory concurrency. Go can detect global deadlocks at runtime, but does not provide any compile-time protection against all too common communication mismatches and partial deadlocks.
In this work we present a static verification framework for liveness and safety in Go programs, able to detect communication errors and deadlocks by model checking. Our toolchain infers from a Go program a faithful representation of its communication patterns as behavioural types, where the types are model checked for liveness and safety.
Short talks: chairs: Javier Esparza and Uwe Nestmann
• 10:30-11:00 Lei Bu. Path-Oriented Reachability Analysis of Composed Linear Hybrid Systems under Shallow Synchronization Semantics.
• 11:00-11:30 Coffee / Tea Break
• 11:30-12:00 Zhenbang Chen. Symbolic Verification of MPI Programs.
• 12:00-12:30 Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng and Lijun Zhang. Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems.
• 12:30-13:00 Cong Tian. Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-Guided Approach.
• 13:00-14:30 Lunch
• 14:30-15:30 Invited Talk: Marielle Stoelinga, University of Twente, The Netherlands
Title: Risk management for high tech systems
Abstract:
How do we ensure that self-driving cars, nuclear power plants and Internet-of-things devices are safe and reliable? That is the topic of risk management. Fault tree analysis is a very popular technique here, deployed by many institutions like NASA, ESA, Honeywell, Ford, Airbus, the FDA, Toyota, Shell etc.
In this presentation, I will elaborate how the deployment of stochastic model checking can improve the capabilities of fault tree analysis, making them more powerful, flexible and efficient, allowing one to analyze a richer variety of questions faster, and thereby increasing their practical relevance and deployment in practical risk assessments.
I will report on our experience with the application and validation of these techniques in industrial practice. Finally, I will present some ideas on the deployment of big data analytics within fault tree analysis.
• 15:30-16:00 Coffee / Tea Break
• 16:00-16:30 IFIP WG 1.8 Business Meeting (Open to Public)
Participation
Participation, both to the workshop and to the IFIP WG 1.8 meeting, is open to everybody. For registration, please consult the CONCUR 2018 registration page.
Organizers
Ilaria Castellani (INRIA Sophia Antipolis, France)
Mohammad Mousavi (University of Leicester, UK)
IFIP WG 1.8 on Concurrency Theory
The aims of IFIP WG 1.8 on Concurrency Theory are:
* To develop theoretical foundations of concurrency, exploring frontiers of existing theoretical models like process algebra and process calculi, so as to obtain a deeper theoretical understanding of concurrent and parallel systems.
* To promote and coordinate the exchange of information on concurrency theory, by sharing ideas, discussing open problems, and identifying future directions of research in the area.
The activities of this WG encompass all aspects of concurrency theory and its applications.
More information on IFIP WG 1.8 can be found on its home page.
History
The first instalment of TRENDS (TRENDS 2012) was held on September 8, 2012 as a satellite event of CONCUR 2012, in Newcastle upon Tyne, UK.
The second instalment of TRENDS (TRENDS 2013) was held on August 31, 2013 as a satellite event of CONCUR 2013, in Buenos Aires, Argentina.
The third instalment of TRENDS (TRENDS 2014) was held on September 6, 2014 as a satellite event of CONCUR 2014, in Rome, Italy.
The fourth instalment of TRENDS (TRENDS 2015) was held on September 6, 2015 as a satellite event of CONCUR 2015, in Madrid, Spain.
The fifth instalment of TRENDS (TRENDS 2016) was held on August 27, 2016 as a satellite event of CONCUR 2016, in Quebec City, Canada.
The sixth instalment of TRENDS (TRENDS 2017) was held on September 9, 2017 as a satellite event of CONCUR 2017, in Berlin, Germany
- Details
- Written by Mohammad Mousavi
- Category: Events
The 4th IFIP WG 1.8 Workshop on Trends in Concurrency Theory
September 5, 2015, Madrid, Spain
A satellite event of CONCUR 2015
Description
TRENDS 2015 is an event organised by IFIP WG 1.8 on Concurrency Theory. It aims at bringing together researchers interested in Concurrency Theory and its applications to
exchange ideas and discuss recent trends and open problems. The event will take place in the morning of September 5, 2015 and will consist of three invited talks, followed by the yearly WG 1.8 business meeting.
Invited Speakers
- Patricia Bouyer-Decitre, CNRS, France,
- Irek Ulidowski, University of Leicester, United Kingdom,
- Bartek Klin, University of Warsaw, Poland
Tentative Program
- 9:00-09:45 Invited talk: Patricia Bouyer-Decitre: Towards Modeliing with Stochastic Time Automata
- 9:45-10:30 Invited talk: Bartek Klin: A Format Too Far...
- 10:30-11:00 Coffee Break
- 11:00-11:45 Invited talk: Irek Ulidowski: Reversible Computation and Concurrency
- 11:45-13:00 IFIP WG 1.8 Business Meeting (Open to all)
- 13:00-14:00 Lunch
Participation
Participation, both to the workshop and to the IFIP WG 1.8 meeting, is open to everybody.
Organizers
Ilaria Castellani (INRIA Sophia Antipolis, France)
Mohammad Mousavi (Halmstad University, Sweden)
IFIP WG 1.8 on Concurrency Theory
The aims of IFIP WG 1.8 on Concurrency Theory are:
* To develop theoretical foundations of concurrency, exploring frontiers of existing theoretical models like process algebra and process calculi, so as to obtain a deeper theoretical understanding of concurrent and parallel systems.
* To promote and coordinate the exchange of information on concurrency theory, by sharing ideas, discussing open problems, and identifying future directions of research in the area.
The activities of this WG encompass all aspects of concurrency theory and its applications.
More information on IFIP WG 1.8 can be found on its home page.
History
The first instalment of TRENDS (TRENDS 2012) was held on September 8, 2012 as a satellite event of CONCUR 2012, in Newcastle upon Tyne, UK.
The second instalment of TRENDS (TRENDS 2013) was held on August 31, 2013 as a satellite event of CONCUR 2013, in Buenos Aires, Argentina.
The third instalment of TRENDS (TRENDS 2014) was held on September 6, 2014 as a satellite event of CONCUR 2014, in Rome, Italy.
- Details
- Written by Mohammad Mousavi
- Category: Events
The 5th IFIP WG 1.8 Workshop on Trends in Concurrency Theory
August 27, 2016, Quebec City, Canada
A satellite event of CONCUR 2016
Description
TRENDS 2016 is an event organised by IFIP WG 1.8 on Concurrency Theory. It aims at bringing together researchers interested in Concurrency Theory and its applications to
exchange ideas and discuss recent trends and open problems. The event will take place in the morning of August 27, 2016 and will consist of three invited talks, followed by the yearly WG 1.8 business meeting.
Invited Speakers
- Franck van Breugel, York University, Canada
- Dana Fisman, Ben-Gurion University, Israel
- Philippa Gardner, Imperial College, UK
Program (Slides and Abstract)
- 9:00-09:45 Invited talk: Franck van Breugel, Towards a Quantitative Theory of Concurrent Probabilistic Systems
For the last three and a half decades behavioural equivalences such as bisimilarity,
due to Milner and Park, have been a cornerstone of concurrency theory. As this
theory matured, more detailed models of concurrent systems have been developed, some
including quantitative data such as cost, probabilities and time. For these models
with quantitative information, behavioural equivalences were proposed, such as
probabilistic bisimilarity, due to Larsen and Skou. Although these behavioural
equivalences allow us to reason about the behaviour of concurrent systems, they have
one drawback: they are not robust. That is, small changes in the quantitative data
may cause equivalent states to becomes inequivalent or vice versa. Since the
quantitative data is usually is obtained experimentally and, therefore is often just
an approximation, this lack of robustness is a serious limitation of behavioural
equivalences for concurrent systems with quantitative information. This lack of
robustness was first pointed out by Giacalone, Jou and Smolka. They suggested
generalizing behavioural equivalences, which assign to each pair of states a Boolean,
to behavioural pseudometrics, which assign to each pair of states a nonnegative real
number. Behavioural pseudometrics play an increasingly important role in concurrency
theory, as is reflected, for example, by the fact that four papers on this topic are
part of this year's program of CONCUR.
In this talk, I will focus on behavioural pseudometrics for concurrent probabilistic
systems. These systems are often modelled by Segala's probabilistic automata. During
the last decade several behavioural pseudometrics have been introduced for these
automata. Here, I will concentrate on the one put forward by Deng, Chothia, Palamidessi,
and Pang. I will use this behavioural pseudometric to illustrate two trends. Firstly,
I will show how games can be used to characterize and compute behavioural pseudometrics.
Secondly, I will show that it is often beneficial to decide the behavioural equivalence
before computing the behavioural pseudometric. - 9:45-10:30 Invited talk: Dana Fisman, Inferring Regular Languages and omega-Languages
In the last decade the problem of inferring an unknown regular language using membership and equivalence queries, solved by Angluin in 87, has found many application in verification and synthesis, e.g., in black-box checking, assume-guarantee reasoning, error localization, regular model checking, and more. These new applications challenge the state-of-the art solutions in various directions, in particular, scaling or working with more succinct representations, and dealing with omega-languages, the main model for reactive systems.
Inference algorithms typically rely on the correspondence between the automata states and the right congruence, henceforth, the residuality property. DFAs enjoy the residuality property (as stated by the Myhill-Nerode Theorem) but more succinct representations such as non-deterministic and alternating finite automata (NFAs and AFAs) in general do not. The situation in the omega-languages realm is even worse, since none of the traditional automata that can express all regular omega-languages enjoys the residuality property.
In this talk I will survey residual models for regular languages and omega-languages, the simple learning algorithms that can infer these, and many related open questions.
The talk is based on joint works with Dana Angluin, Udi Boker and Sarah Eisenstat.
- 10:30-11:00 Coffee Break
- 11:00-11:45 Invited talk: Philippa Gardner, A Concurrent Specification of POSIX
POSIX is a standard for operating systems, with a substantial part
devoted to specifying file-system operations. File-system operations
exhibit complex concurrent behaviour, comprising multiple actions
affecting different parts of the state: typically, multiple atomic
reads followed by an atomic update. However, the standard’s
description of concurrent behaviour is unsatisfactory: it is
fragmented; contains ambiguities; and is generally under-specified. We
provide a formal concurrent specification of POSIX file systems and
demonstrate scalable reasoning for clients. Our specification is based
on a concurrent specification language, which combines a refinement
calculus with recent developments in concurrent separation logics for
reasoning about abstract atomic operations.
In this talk, I will give an overview of recent work on concurrent
separation logics in general and describe our work on the concurrent
specification of POSIX in particular. This work is joint with Gian Ntzik and
Pedro da Rocha Pinto. Details of our work on concurrent verification can
be found at http://psvg.doc.ic.ac.uk/research/concurrency.html. - 11:45-13:00 IFIP WG 1.8 Business Meeting (Open to all)
- 13:00-14:00 Lunch
Participation
Participation, both to the workshop and to the IFIP WG 1.8 meeting, is open to everybody. For registration, please consult the CONCUR 2016 registration page.
Organizers
Ilaria Castellani (INRIA Sophia Antipolis, France)
Mohammad Mousavi (Halmstad University, Sweden)
IFIP WG 1.8 on Concurrency Theory
The aims of IFIP WG 1.8 on Concurrency Theory are:
* To develop theoretical foundations of concurrency, exploring frontiers of existing theoretical models like process algebra and process calculi, so as to obtain a deeper theoretical understanding of concurrent and parallel systems.
* To promote and coordinate the exchange of information on concurrency theory, by sharing ideas, discussing open problems, and identifying future directions of research in the area.
The activities of this WG encompass all aspects of concurrency theory and its applications.
More information on IFIP WG 1.8 can be found on its home page.
History
The first instalment of TRENDS (TRENDS 2012) was held on September 8, 2012 as a satellite event of CONCUR 2012, in Newcastle upon Tyne, UK.
The second instalment of TRENDS (TRENDS 2013) was held on August 31, 2013 as a satellite event of CONCUR 2013, in Buenos Aires, Argentina.
The third instalment of TRENDS (TRENDS 2014) was held on September 6, 2014 as a satellite event of CONCUR 2014, in Rome, Italy.
The fourth instalment of TRENDS (TRENDS 2015) was held on September 6, 2015 as a satellite event of CONCUR 2015, in Madrid, Spain.
- Details
- Written by Christoph Wagner
- Category: Events
Aims and objectives
This workshop aims at providing a platform for PhD students and young researchers who recently completed their doctoral studies, to exchange new results related to concurrency theory and receive feedback on their research. Focus is on informal discussions. Excellent master students working on concurrency theory are also encouraged to contribute.
Current Workshop
Young Researchers Workshop on Concurrency Theory (YR-CONCUR '10) is a satellite workshop of CONCUR '10, and will be held on Saturday September 4, 2010. It is anticipated that many CONCUR participants will attend the YR-workshop (and vice versa). Presentations are selected on the basis of an abstract of up to four pages (incl. references) describing the research. The accepted abstracts will be made available at the workshop, but no formal proceedings are planned. It is thus also allowed (and encouraged) to send results that have been published at other conferences (although preferably not at CONCUR '10 or any of its other satellite workshops).
Past Workshops
- YR-CONCUR '09 organised by Joost-Pieter Katoen as a satellite workshop of CONCUR '09 in Bologna, Italy.