|
|
Welcome
| Workshop Goals |
| Important Dates |
| Submission |
| Publication |
| Organization Committee |
| Program Committee |
| Accepted Papers |
| Prev. FInCo Workshops |
|
Over the last decades, the paradigm of computation shifted from pure algorithms to interactive computation. Concurrent, distributed, reactive, embedded, component-based, agent-oriented, and service-oriented systems all fundamentally depend on interaction. Interaction is a cross cutting concern in many fields of computer science which deserves more attention.
Despite its importance for modern software/hardware systems, the foundations of interactive computation are not sufficiently well developed compared to the foundations of classical algorithms which are based on recursive functions, Turing machines, and lambda-calculus. Furthermore, the interaction between the system components and the environment needs to be treated as a first-class concept in the process of software design and construction. Following the success of FInCo 2007, the workshop aims at developing a unified conceptual and formal framework for understanding the principles of interaction, establishing language- and domain-independent models for it, and improving the development of software applications and systems through the explicit use of interactive principles and models. Over the years, various models have been introduced covering different aspects of interaction including automata, process algebras, and coalgebraic approaches. The foundational approaches must be better related to the interaction implemented in modern software/hardware systems. The workshop provides an international forum for researchers, practitioners and PhD students to share their experience and exchange new ideas related to all aspects of interaction as a first-class concept. The workshop particularly welcomes contributions at the junction of theory and practice which serve to disseminate basic research with an immediate impact on applications. The workshop is an open invitation to researchers working in the field of interactive systems including foundations, models, methods, tools, and applications. The topics include (but are not limited) to the following areas of interest:
|
|
 
|