| Registration 8:30 - 9:00 |
Registration Registration
|
||||||||||
|
Note that
the timing of talks, and the division of talks between
sessions, has not yet been announced. Invited Speaker: Abstract Machines of
Molecular Biology
Luca Cardelli, Microsoft Research Interactive Computation: Stepping Stone in the
Pathway from Classical to Developmental Computation
Antônio Carlos da Rocha Costa, Gracaliz Pereira Dimuro (Univ. Catolica de Pelotas, Brazil) A Mathematical Model of Dialog
Mark W. Johnson, Peter McBurney, Simon Parsons A Reflective Higher-order Calculus
L.G. Meredith, Matthias Radestock Time-awareness and Proactivity in Models of
Interactive Computation
Leo Motus, Merik Meriste Interactive Computation and Platform-Based
Design: an Equivalence Relation
Francesco Gianfelici (University Politecnica delle Marche, Italy) Interactions in Transport Networks
Nigel Walker, Marc Wennink (BT Research, UK) Towards a Logical Analysis of Interactive
Systems
Carolyn Talcott (SRI International), Ian Mason (Univ. of New England) Coordination in Normative Multiagent Systems
Guido Boella, Joris Hulstijn, Leendert van der Torre Adaptation and Evolution in Dynamic
Persistent Environments
David Keil, Dina Goldin (University of Connecticut, USA) Interactive Models for Design of
Software-Intensive Systems
Dina Goldin, David Keil (University of Connecticut, USA) |
||||||||||
| Evening 19:30 |
|
||||||||||