[TYPES/announce] TRENDS 2014: Call for participation
Ilaria Castellani
Ilaria.Castellani at inria.fr
Mon Jul 14 20:10:31 EDT 2014
-------------------------------------------------------------------------------------------------------
IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2014)
-------------------------------------------------------------------------------------------------------
Saturday September 6, 2014 (9:00-14:15), Rome, Italy
Affiliated with CONCUR 2014
http://ceres.hh.se/mediawiki/index.php/TRENDS_2014
--------------------------------------------------------------------------------------------------------
TRENDS 2014 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 about open problems and recent trends.
PROGRAMME:
The event will take place on September 6, 2014 and will consist of
four invited talks by the following speakers:
Michele Bugliesi (University of Venice, IT)
Stephanie Delaune (CNRS and ENS Cachan, FR)
Simon Gay (University of Glasgow)
Alexandra Silva (Radboud University Nijmegen, NL)
The workshop will be followed by the annual business meeting of WG 1.8.
For a detailed programme with titles and abstracts of talks we refer to:
http://ceres.hh.se/mediawiki/index.php/TRENDS_2014.
PARTICIPATION:
Please register for TRENDS 2014 via the registration page of CONCUR
2014:
http://concur2014.org/
ORGANISERS:
Ilaria Castellani (INRIA Sophia Antipolis, FR)
Mohammad Mousavi (Halmstad University, SE)
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, by discussing ideas and open problems,
and identifying future directions of research in the area.
The activities of WG 1.8 encompass all aspects of concurrency theory
and its applications.
----------------------------------------------------------------------------------------------------------------------------
Ilaria Castellani
INDES research team
INRIA (Institut National de Recherche en Informatique et Automatique)
2004, route des Lucioles
BP 93, 06902 SOPHIA ANTIPOLIS Cedex
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140715/b30e7281/attachment-0001.html>
More information about the Types-announce
mailing list