Print
Category: Uncategorised

The 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory

August 31, 2019, Amsterdam, The Netherlands

A satellite event of CONCUR 2019

CWI, ADA room L017

IFIP

   

Description

TRENDS 2019 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 August 31, 2019 and will consist of three invited talks and a number of highlight presentations. It will be associated with the yearly WG 1.8 business meeting.

 

Invited Speakers

 

Highlight Talks

 

 

Programme

 

10:00-10:25: --- Arrival and coffee ---

10:25-10:30: Opening

10:30-12:30: Session 1: Invited talks

10:30-11:30 Laura Bocchi, Time-sensitive protocol design and implementation.

11:30-12:30: Joost-Pieter Katoen, Towards the Automated Synthesis of Probabilistic Programs.

12:30-14:00: --- Lunch and WG 1.8 Business Meeting ---

14:00-15:00: Session 2: Invited talk

14:00-15:00 Barbara König, Fixpoint Games.

15:00-15:30: --- coffee break ---

15:30-17:30: Session 3: Highlight talks

        ---- Chair: Bas Luttik

15:30-15:50: Rob van Glabbeek, Reward Testing Equivalences for Processes.

15:50-16:10: Hubert Garavel, Converting Safe Petri-Nets to NUPNs.

16:10-16:30: Jaco van de Pol and Laure Petrucci, Taming NDFS for Parametric Timed Automata.

---- Chair: Kirstin Peters

16:30-16:50 Jos Baeten, Cesare Carissimo and Bas Luttik, Pushdown Automata and Context-Free Grammars in Bisimulation Semantics.

16:50-17:10: Mark Bouwman, Bas Luttik and Tim Willemse, Action-based justness for automated verification of liveness.

17:10-17:30: Mauricio Cano, Ilaria Castellani, Cinzia Di Giusto and Jorge A. Pérez, Multiparty Reactive Sessions.

 

Participation

Participation, both to the workshop and to the IFIP WG 1.8 meeting, is open to everybody. For registration, please consult the CONCUR 2019 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

The seventh instalment of TRENDS (TRENDS 2018) was held on September 8, 2018 as a satellite event of CONCUR 2018, in Beijing, China