Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
TRENDS 2013 - IFIP WG 1.8 Workshop on Trends in Concurrency Theory
Topics/Call fo Papers
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.
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.
Other CFPs
- Latin American Workshop on Formal Methods LAFM 2013
- 10th Workshop on Structural Operational Semantics
- 20th International Workshop on Expressiveness in Concurrency
- 9th International Workshop on Developments in Computational Models
- Third International Workshop on Structured Object-oriented Formal Language (WSOFL 2013)
Last modified: 2013-04-24 23:04:55