1. Foreword

   • Mario Coppo
   • Elena Lodi
   • G. Michele Pinna

   EditorialNotes 27 October 2007 Pages: 287 - 288

2. Grasp and Delivery for Moving Objects on Broken Lines

   • Yuichi Asahiro
   • Eiji Miyano
   • Shinichi Shimoirisa

   OriginalPaper 17 October 2007 Pages: 289 - 305

3. Logical Equivalence for Subtyping Object and Recursive Types

   • Steffen van Bakel
   • Ugo de’Liguoro

   OriginalPaper 31 October 2007 Pages: 306 - 348

4. Improved Algorithms for Polynomial-Time Decay and Time-Decay with Additive Error

   • Tsvi Kopelowitz
   • Ely Porat

   OriginalPaper 27 October 2007 Pages: 349 - 365

5. Model Checking Abilities of Agents: A Closer Look

   • Wojciech Jamroga
   • Jürgen Dix

   OriginalPaper 30 October 2007 Pages: 366 - 410

6. A New Combinatorial Approach to Sequence Comparison

   • S. Mantaci
   • A. Restivo
   • M. Sciortino

   OriginalPaper 30 October 2007 Pages: 411 - 429