[TYPES/announce] TRENDS 2013: call for participation

[Luttik, S.P.]

------------------------------------------------------------------
IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2013)
------------------------------------------------------------------
Saturday August 31, 2013 (9:00-13:00), Buenos Aires (AR)

Affiliated with CONCUR 2013

http://www.win.tue.nl/trends13/
------------------------------------------------------------------

TRENDS 2013 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 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 talks by the
following 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)

For a detailed programme with titles and abstracts of talks we refer
to http://www.win.tue.nl/trends13.

PARTICIPATION:

Please register for TRENDS 2012 via the registration page of CONCUR
2013.

ORGANISERS:

  Jos Baeten (CWI, NL)
  Bas Luttik (Eindhoven University of Technology, NL)

IFIP WG 1.8:

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.