The 13th IFIP WG 1.8 Workshop on Trends in Concurrency Theory
September 9, 2024, Calgary, Canada
A satellite event of CONFEST 2024
Description
TRENDS 2024 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, 2024 and will share the programm with EXPRESS/SOS.
Invited Speakers
-
Clément Aubert, Augusta University,Georgia, USA
Joint speaker with EXPRESS/SOS
Title: Reverse My Computation? But Why?
A typical computer user knows the difference between what can be undone on a computer, and what cannot. They may be familiar with the “undo” feature of text editors but understand the impossibility of recovering an unsaved document after an emergency shutdown. Creating programs guaranteeing that any action can be undone requires to design and implement reversible programming languages. While such languages come with interesting built-in security features (because any past action can be investigated), they also raise challenges when it comes to concurrency. Indeed, undoing an action that involved synchronization between multiple actors requires all actors to agree to undo said action.
Process algebras offer an interesting frame to study reversible computation, and reciprocally. Enriching process algebras such as CCS with memory, identifiers or keys, allowed to represent reversible computation, and in turn helped gained a finer understanding of causality, bisimulations, and other “true concurrency” notions. This talk offers to briefly motivates the interests of reversible computation, and to discuss the new lights it shed on process algebras. -
Elli Anastasiadi, Uppsala University, Sweden
Title: A view into hyperlogics
Hyperproperties are properties of sets of traces. Compared to simple trace properties, their satisfaction can depend on the traces in a set interacting with each other or, for example, the average of some quantity along individual traces. Temporal hyperlogics emerged to capture such properties by allowing the use of quantifiers. These logics allowed for viewing the verified set of traces independently of what system might be producing it, and this unlocked the possibility of using hyperlogics for expressing, for example, consensus-type properties. The verification for these two approaches, one where it is the set of traces produced by a single system and one where it is not, are also orthogonal. In this talk, we will set the foundations of this topic, understand the key attributes that make hyperlogics so fascinating, and look into some current trends.
-
Simone Tini, University of Insubria, Italy
Title: Robustness Analysis in Biological Systems
We present the theory of the tool Bio-STARK, which allows for the simulation and analysis of biological systems. In particular, we show how the tool allows us to verify robustness properties in systems biology, by capturing the effects of (unpredictable) perturbations on species in biochemical networks, as well as on the oscillatory behaviour of gene regulatory networks.
Programme
8:50-9:00. Opening
9:00-10:00. Elli Anastasiadi. “A view into hyperlogics”
10:00-10:30. Coffee Break
10:30-11:00. EXPRESS/SOS session
11:00-12:00. Simone Tini. “Robustness Analysis in Biological Systems”
12:00-14:00. Lunch break
14:00-15:00. Clément Aubert. “Reverse My Computation? But Why?” (EXPRESS/SOS and TRENDS joint lecture)
15:00-15:30. EXPRESS/SOS session
15:30-16:00. Coffee Break
16:00-17:30. EXPRESS/SOS session
17:30. Closing
Participation
Participation, both to the workshop and to the IFIP WG 1.8 meeting, is open to everybody. For registration, please consult the CONFEST 2024 home page.
Organizers
Pedro R. D’Argenio (Universidad Nacional de Córdoba, Argentina)
Ana Sokolova (University of Salzburg, Austria)
Rob van Glabbeek (University of Edinburgh, Scotland, 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.
The seventh instalment of TRENDS (TRENDS 2018) was held on September 8, 2018 as a satellite event of CONCUR 2018, in Beijing, China.
The eighth instalment of TRENDS (TRENDS 2019) was held on August 31, 2019 as a satellite event of CONCUR 2019, in Amsterdam, The Netherlands.
The ninth instalment of TRENDS (TRENDS 2020) was held on September 5, 2020 as a satellite event of CONCUR 2020, in Vienna, Austria Online.
The tenth instalment of TRENDS (TRENDS 2021) was held on August 28, 2021 as a satellite event of CONCUR 2021, in Paris, France Online.
The eleventh instalment of TRENDS (TRENDS 2022) was held on September 12, 2022 as a satellite event of CONCUR 2022, in Warsaw, Poland.
The twelveth instalment of TRENDS (TRENDS 2023) was held on September 23, 2023 as a satellite event of CONCUR 2023, in Antwerp, Belgium.