FInCo 2005

The interaction paradigm provides a new conceptualization of computational phenomena, placing the emphasis on interaction rather than on algorithms: concurrent, distributed, reactive, embedded, component-oriented, agent-oriented and service-oriented systems all exploit interaction as a fundamental paradigm. However, a satisfactory unified foundational framework for interactive computation is still lacking, analogous to the one that Turing machines and lambda-calculus provide for algorithms. FInCo is an opportunity for researchers to meet and exchange ideas towards such a framework.