| Research Workshop Series on Coinduction, Interaction and Composition |
Both from a theoretical and a technological point of view, global computing raises a number of challenging and difficult research questions whose relevance for the future of Software Engineering cannot be underestimated. On the theory side, examples include the quest for interaction models, coordination calculi, foundations for co-operation and mobility, resource usage and security, semantics and methods for service specification, orchestration and deployment, among many others.
On the other hand, long term research in coalgebra theory and coindution provided an useful set of both conceptual and methodological tools to study the the semantics of reactive, interactive and mutable systems.
In such a context, this series of Joint Research Workshops intends to bring together research groups on both coalgebraic methods and their application to the development of models and calculi for interaction, composition and coordination of software components and services.
Workshops