- Nobukazu YOSHIOKA "A Pattern Oriented Mobile Agent Framework for Mobile Computing" Abstract: In this talk, we propose a new architecture for mobile computing, which uses a mobile agent technology and adapts to changes flexibly. The framework splits the specification of an application into network environments, coordination logic and patterns. Patterns are applied to the coordination logic in order to derive appropriate behaviors automatically.

- Yasuyuki TAHARA "Sample Education Material for above Program -Model checking: Spin, SMV, LTSA-" "Concepts and Formal Model Based on the Ambient Calculus" Abstract: Active contents are entities encapsulating contents data, metadata, and programs expected to enable the next generation multimedia contents delivery. We explain the concepts and their formal model based on the ambient calculus.