Dina Goldin, Mirko Viroli
2005 Electronical Notes in Theoretical Computer Science  
Interaction is a pervasive aspect of today's computation. Contemporary approaches to computational models, artificial intelligence, software engineering, programming languages, and networking are all interactive. However, a satisfactory unifying foundational framework for interactive computation, analogous to what Turing machines and the lambda-calculus provide for algorithms, is still lacking. The Workshop on the Foundations of Interactive Computation (FInCo 2005), held on Saturday, 9 April
more » ... 5, in Edinburgh, Scotland, provided the first opportunity for researchers to exchange ideas on the topic of interaction, with the goal of moving towards a unified conceptual and formal framework for modeling interaction that takes into account its many different aspects and viewpoints. Our day-long program included an invited talk, a panel, and multiple papers, all of which went through a full referee process. The program was divided into four sessions as follows: Calculi for Interaction, Interaction and Logic, Interaction and Design, and Research Directions. This volume contains the revised versions of a selection of papers presented at FInCo 2005, as well as a summary of the workshop panel.
doi:10.1016/j.entcs.2005.05.013 fatcat:hi6grcl2ejedrlkfiqknwqzkve