TRENDS 2013

IFIP WG 1.8 Workshop on

Trends in Concurrency Theory

Saturday, August 31, 2013
Buenos Aires, Argentina
A satellite event of CONCUR 2013

Description

TRENDS 2013 is an event organised by IFIP WG 1.8. It aims at bringing together researchers interested in concurrency theory and its applications to discuss recent trends, exchange ideas and discuss open problems. The event will take place in the morning of August 31, 2013 and will consist of four invited talks, followed by the yearly WG 1.8 business meeting.

Invited Speakers

David de Frutos Escrig (Universidad Complutense de Madrid, Spain)
Holger Hermanns (Universität des Saarlandes, Germany)
Mohammad Reza Mousavi (Halmstad University, Sweden)
Uwe Nestmann (Technische Universität Berlin, Germany)

Programme

9:00-9:45 Holger Hermanns
El futuro de la enseñanza de la programación concurrente
What students can learn from us. And Oracle. And Google.
9:45-10:30 Mohammad Reza Mousavi
Concurrency Theory Applied to Testing Software Systems: From Theory to Practice and Back
Owing to the seminal work of De Nicola and Hennessy, there is a rich literature in concurrency theory regarding testing pre-orders. These notions have been extended in various directions and some of these extensions have been implemented in model-based testing tools. In this talk, we give an overview of some of these notions and report on our experience in applying them to testing software systems. We then point out some problems that were observed during our practical experiments and the recent theoretical work that we have carried out to study and remedy these issues.
10:30-11:00 Coffee Break
11:00-11:45 David de Frutos Escrig
SEMANTICS OF CONCURRENT PROCESSES: Unification and New Directions
(joint work with Carlos Gregorio, Miguel Palomino, Ignacio Fábregas and David Romero)
During the last years, we have developed a multiparadigm unified framework to present all the semantics in the Van Glabbeek's linear time-branching time spectrum and others, in such a way that we can easily appreciate the similarities and differences between them, and also develop generic proofs that are valid for all the semantics satisfying certain hypothesis. Based on the very natural concept of constrained simulation, we show how we can classify the semantics in layers and how to obtain in a generic way the equational, observational and logical characterizations of the semantics in each layer. We have shown the flexibility of our approach by also studying some new semantics, where certain actions have a contravariant character, seeing how to change the characterizations of the semantics when covariant and contravariant actions have to be considered together.
11:45-12:30 Uwe Nestmann
T.B.A.
T.B.A.
12:30-13:00: IFIP WG 1.8 Business Meeting

Participation

Participation, both to the workshop and to the IFIP WG 1.8 meeting, is open to everybody.

Organizers

Jos Baeten (CWI and Eindhoven University of Technology, The Netherlands)
Bas Luttik (Eindhoven University of Technology, The Netherlands)

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, exchanging 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.

History

The first installment of TRENDS (TRENDS 2012) was held on September 8, 2012 as a satellite event of CONCUR 2012, in Newcastle upon Tyne, UK.

Page maintained by Bas Luttik Last modified: Mon Jul 15 15:32:02 CEST 2013