1. Globally linear connection method

   • Stefan Brüning

   Regular Papers Pages: 369 - 402

2. Mapping two complete binary trees into the star graph with quick fault recovery

   • Chiun -Chieh Hsu

   Regular Papers Pages: 403 - 419

3. Towards a logic programming methodology based on higher-order predicates

   • Andreas Hamfelt
   • Jørgen Fischer Nilsson

   Regular Papers Pages: 421 - 447

4. Static analysis of Linear Logic programming

   • Jean -Marc Andreoli
   • Remo Pareschi
   • Tiziana Castagnetti

   Regular Papers Pages: 449 - 481

5. Announcement

   Announcement Pages: 482 - 483