[TYPES/announce] CFP: Foundations of Interactive Computation

FINCO 2007 finco07 at cs.brown.edu
Tue Jan 9 22:03:09 EST 2007


                         call for papers

       FInCo 2007: FOUNDATIONS OF INTERACTIVE COMPUTATION

               satellite workshop of ETAPS 2007
            Saturday 31 March 2007, Braga, Portugal
             http://www.cs.brown.edu/sites/finco07
====================================================

The interaction paradigm provides a new conceptualization of compu-
tational 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.  Contemporary approaches to
Software Engineering, Artificial Intelligence, Programming Languages,
and Networking are all part of this paradigm change. However, a satis-
factory unified foundational framework for interactive computation is
still lacking, analogous to the one that Turing Machines and lambda-
calculus provide for algorithms. Following the success of FInCo 2005,
this workshop provides an opportunity for researchers to meet and ex-
change ideas, with the ultimate goal of providing a unified conceptual
and formal framework for interactive computation.

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

 Computational Problem: The notion of a computational problem includes
   performing a task or providing a service, rather than being rest-
   ricted to algorithmically producing an answer to a question.

 Observable Behavior: A computing component is modeled in terms of its
   observable behavior, where later input values may depend on earlier
   output values and vice versa.

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

 Concurrency: Computation may be concurrent, where the computing agent
   computes in parallel with its environment, and with other agents
   in it.

The claim that "interaction is more powerful than algorithms" is an open
invitation to researchers to develop the tools and methods that can lend
credence to this claim. Many models capturing different aspects of
interaction have been introduced, including interaction automata and
process algebras. It is now time for researchers involved in interactive
systems to join their efforts and collaborate to develop a common frame-
work that focuses on constructive models of computation that exploit
interaction as a first-class concept. Accordingly, FInCo 2007 has the
following goals:

* Understand the fundamental issues underlying the interaction paradigm;

* Establish a common language- and domain-independent framework for a
 theory of interactive computation;

* Identify the interactive principles of effective and reliable engi-
 neering of software systems;

* Map out the design space of models of interaction, towards accompli-
 shing above goals.

WORKSHOP PANEL

Title: Interactive Models for Software Engineering
Moderator: Peter Wegner, Brown University, USA
Description: Software & systems engineering of today is being affected
 by the growing importance of interaction. This panel considers the
 role of interaction in the theory and practice of computing, with a
 special focus on system design and development.

PAPERS

  We solicit papers addressing one or more of the above goals. Submit
  papers by email to <dqg at cs.brown.edu> by Jan. 31, 2007, with a 12-
  page limit. Workshop proceedings will be published by ENTCS. Selected
  papers will be invited for journal publication.

For a PDF copy of this announcement, and for further information, see
our web site at http://www.cs.brown.edu/sites/finco07

IMPORTANT DATES
  Submission: Jan. 31, 2007
  Notification: Feb. 28, 2007
  Workshop: Mar. 31, 2007

ORGANIZERS
  Farhad Arbab, CWI and Leiden Univ., The Netherlands <farhad at cwi.nl>
  Dina Goldin, Brown Univ., USA (chair) <dqg at cs.brown.edu>

PROGRAM COMMITTEE
  Gul Agha, UIUC, USA
  Luca de Alfaro, UC Santa Cruz, USA
  Luis Barbosa, Univ. do Minho, Portugal
  Antonio Brogi, Univ. di Pisa, Italy
  Jon Doyle, North Carolina State U., USA
  Giorgio Delzanno, Univ. di Genova, Italy
  José Luiz Fiadeiro, Univ. of Leicester, UK
  Rob van Glabbeek, Univ. of New South Wales, Australia
  Kees van Hee, Technische Univ. Eindhoven, The Netherlands
  Orna Kupferman, Hebrew Univ., Israel
  R. Prescott Loui, Washington Univ. in St. Louis, USA
  Peter McBurney, Univ. of Liverpool, UK
  John-Jules Meyer, Utrecht Univ., the Netherlands
  Ugo Montanari, Univ. di Pisa, Italy
  Rocco De Nicola, Univ. degli Studi di Firenze, Italy
  Andrea Omicini, Univ. di Bologna - Cesena, Italy
  Catuscia Palamidessi, INRIA and LIX École Polytechnique, France
  Jean-Eric Pin, Univ. Paris Denis Diderot and CNRS, France
  Vladimiro Sassone, Univ. of Sussex, UK
  Douglas C. Schmidt, Vanderbilt Univ., USA
  Carolyn Talcott, SRI Int'l, USA
  Bernhard Thalheim, Kiel Univ., Germany

STEERING COMMITTEE

  Manfred Broy, TU München, Germany
  Dina Goldin, Brown Univ., USA
  Mirko Viroli, Univ. Bologna/Cesena, Italy
  Peter Wegner, Brown Univ., USA

WEB SITE
  http://www.cs.brown.edu/sites/finco07



More information about the Types-announce mailing list