[TYPES] FInCo 2005 (April 9): CALL FOR PARTICIPATION

[Goldin, Dina]

                           Call for Participation
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> 
=====================================================================

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 paper 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/> 

See you at FInCO 2005!

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