[TYPES/announce] TRENDS 2012: call for participation

Luttik, S.P. s.p.luttik at TUE.nl
Fri Jul 13 08:12:51 EDT 2012


------------------------------------------------------------------
IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2012)

Saturday September 8, 2012 (9:00-13:00), Newcastle upon Tyne (UK)

Affiliated with CONCUR 2012 and The Newcastle Connection

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

TRENDS 2012 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 September 8, 2012 and will consist of talks by the
following invited speakers:

  Silvia Crafa (Università di Padova, Italy)
  Ursula Goltz (TU Braunschweig, Germany)
  Kohei Honda (Queen Mary & Westfield College, United Kingdom)
  Bill Roscoe (University of Oxford, United Kingdom)

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

PARTICIPATION:

Please register for TRENDS 2012 via the registration page of The
Newcastle Connection 2012:
  http://conferences.ncl.ac.uk/concur-2012/registration.html.
Note that the deadline for early registration is August 3, 2012.

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.



More information about the Types-announce mailing list