FInCo 2005

programma / txt
 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> 

 
Dear members of the FInCo 2005 program committee,
 
This is to let you know that the program for FInCO 2005 has been finalized.  
In addition to 10 accepted papers, it includes an invited talk and a panel:
 
   INVITED TALK: Luca Cardelli, Microsoft Research
   Title: Abstract Machines of Molecular Biology

   PANEL: Moderated by Peter Wegner, Brown U., USA
   Title: The Role of Agent Interaction in Models of Computing

The four research sessions are:

   Calculi for Interaction
   Interaction and Logic
   Interaction and Design 
   Research Directions 

The full program can be found at: 
http://www.cse.uconn.edu/cse/finco05/#program <http://www.cse.uconn.edu/cse/finco05/#program> 

Registration information can be found at: 
https://www.etaps05.inf.ed.ac.uk/Registration/ <https://www.etaps05.inf.ed.ac.uk/Registration/> 

We thank you again for your help in putting together such a high-quality
program, and we hope to see you at FInCO 2005!

Dina Goldin, U. Connecticut, USA
Mirko Viroli, U. Bologna/Cesena, Italy
(co-organizers)