|
Research Workshop on Coinduction, Interaction and Composition DI-CCTC (Theory and Formal Methods)
|
||||||||||||||||||||||||||
Organisation Venue: Contact: lsb@di.uminho.pt
|
Context & Objectives 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 Research Workshop, intends to bring together Dutch and Portuguese 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. Is is expected the workshop will promote a deep understanding of these topics and their interplay, raising new research questions and fostering further collaboration.
|
||||||||||||||||||||||||||
11 October
|
|||||||||||||||||||||||||||
12 October
|
|||||||||||||||||||||||||||
13 October
|
|||||||||||||||||||||||||||
Format The workshop will consist of a number of talks by researchers and PhD students, allowing ample time for discussion. All participants are invited to give one (or more) talks. Please send a title (and, if possible, an abstract) to {lsb,jno,nfr}@di.uminho.pt (Luís, José and Nuno), asap (but no later than 5th October, when the Final Programme should be ready).A "hot-topic" session, consisting of 10 minutes presentations of new problems, topics or research questions, will also be proposed. |
|||||||||||||||||||||||||||
Registration Please send an email to both nfr@di.uminho.pt (Nuno) and lsb@di.uminho.pt (Luis) confirming your participation. No Minho participants should also indicate their travelling details to book accommodation and transport.
|
|||||||||||||||||||||||||||