[TYPES] Final CFP and announcement of speaker for FOUNDATIONS OF INTERACTIVE COMPUTATION

[Goldin, Dina]

        FInCo 2005: FOUNDATIONS OF INTERACTIVE COMPUTATION

                  Satellite Workshop of ETAPS 2005
             Saturday 9 April 2005, Edinburgh, Scotland
                 http://www.cse.uconn.edu/cse/finco05 <http://www.cse.uconn.edu/cse/finco05> 

 
ANNOUNCEMENT: 
 
Luca Cardelli has been selected as the invited speaker for the workshop, 
talking on "Abstract Machines of Molecular Biology".
 
FINAL CALL FOR PAPERS:

Interaction provides a new conceptualization of computational 
phenomena; concurrent, distributed, reactive, embedded, component-
oriented, agent-oriented and service-oriented systems all exploit 
interaction as a fundamental paradigm. However, a satisfactory 
unifying foundational framework for interactive computation, 
analogous to what Turing machines and the lambda-calculus provide 
for algorithms, is still lacking. This workshop provides the first 
opportunity for researchers to exchange ideas on this topic, with 
the ultimate goal of establishing a unified conceptual and formal 
framework for modeling interaction that takes into account its many 
different aspects and viewpoints.  

The following characteristics distinguish this new, interactive 
notion of computation:

Computational Problem: A computational problem entails performing 
   a task or providing a service, rather than algorithmically pro-
   ducing an answer to a question. 

Observable Behavior: A computing component is now modeled not as 
   a functional transformation from input to output, but rather in 
   terms of an observable behavior. 

Environments: The world or environment of the computation is part 
   of the model, dynamically supplying the computational system, 
   or agent, with the inputs, and consuming the output values from 
   the system. 

Concurrency: Computation is concurrent; the computing agent com-
   putes in parallel with its environment and with other agents 
   that may be in it. 

The claim that "interaction is more powerful than algorithms" 
challenges our fundamental assumptions about the nature of compu-
tation and the notion of computational problems, reinterpreting the 
Church-Turing thesis without attacking it directly.  This claim is 
an open invitation to researchers to develop models, tools, and
methods that can lend credence to it. Many models capturing 
different aspects of interaction have been introduced, including 
interaction automata, process algebras, and co-algebraic approaches.
It is now time for researchers involved in interactive systems to 
join their efforts to develop a common framework.  FInCo 2005 
provides an opportunity for direct interaction among researchers 
in this new area, with the following goals that will help bridge 
the theory and practice of interactive computation:

*  To understand the fundamental issues underlying the paradigm of 
    interactive computation;
*  To develop a roadmap for the design space of models of interaction;
*  To establish a common language- and domain-independent framework for 
    a theory of interactive computation;
*  To identify the principles of effective & reliable engineering of 
    interactive systems;
*  To stimulate further practical & theoretical research related to 
    interactive computation.

INVITED SPEAKER
   Luca Cardelli, Microsoft Research
   Abstract Machines of Molecular Biology

CALL FOR PAPERS
   We solicit papers addressing one or more of the above goals. Submit 
   papers by email to <mviroli at deis.unibo.it> by Dec. 20, 2004, in PDF 
   format (12-page limit, font size 11). Workshop proceedings will be 
   published by ENTCS. Selected papers will be invited to a special 
   issue of an international journal. 

CALL FOR PANELS
   We seek proposals for a lively and provocative panel that will reflect 
   the different views of the workshop participants. Panel proposals must 
   include an abstract, an outline of the panel format, and relevant 
   information about the proposed panelists. Send your proposals electro-
   nically by Dec. 20, 2004 to <dqg at cse.uconn.edu>.

IMPORTANT DATES
   Submission: Dec. 20, 2004
   Notification: Jan. 24, 2005
   Workshop: Apr. 9, 2005

ORGANIZERS
   Dina Goldin, U. Connecticut, USA <dqg at cse.uconn.edu>
   Mirko Viroli, U. Bologna/Cesena, Italy <mviroli at deis.unibo.it>

PROGRAM COMMITTEE
   Gul Agha, UIUC, USA
   Luca de Alfaro, UC Santa Cruz, USA
   Farhad Arbab, CWI & Leiden U., the Netherlands
   Antonio Brogi, U. Pisa, Italy
   Manfred Broy, TU München, Germany
   Giorgio Delzanno, U. Genova, Italy
   Jon Doyle, N. Carolina State U., USA
   Ramesh Jain, Georgia Tech, USA
   R. Prescott Loui, Washington U. in St. Louis, USA
   Peter McBurney, U. Liverpool, UK
   John-Jules Meyer, Utrecht U., the Netherlands
   Andrea Omicini, U. Bologna/Cesena, Italy
   Catuscia Palamidessi, INRIA, France
   Rohit Parikh, CUNY, USA
   Doug Schmidt, Vanderbilt U., USA
   Scott Smolka, SUNY Stony Brook, USA
   Lynn Andrea Stein, Olin College, USA
   Bernhard Thalheim, U. Kiel, Germany
   Rob van Glabbeek, Stanford U., USA
   Jan van Leeuwen, Utrecht U., the Netherlands
   Mike Wooldridge, U. Liverpool, UK

STEERING COMMITTEE
   Dina Goldin, U. Connecticut, USA
   Mirko Viroli, U. Bologna/Cesena, Italy
   Peter Wegner, Brown U., USA

WEB SITE
   http://www.cse.uconn.edu/cse/finco05