60. Birthday: Jan Willem Klop, 2005

• Robin Milner:
  The Spectra of Words. 1-5
  
• Marc Bezem:
  On the Undecidability of Coherent Logic. 6-13
  
• Albert Visser:
  Löb's Logic Meets the µ-Calculus. 14-25
  
• Rob J. van Glabbeek:
  A Characterisation of Weak Bisimulation Congruence. 26-39
  
• Richard Statman, Henk Barendregt:
  Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms. 40-54
  
• Krzysztof R. Apt:
  Explaining Constraint Programming. 55-69
  
• Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget:
  Sharing in the Weak Lambda-Calculus. 70-87
  
• Paul Klint, Tijs van der Storm, Jurgen J. Vinju:
  Term Rewriting Meets Aspect-Oriented Programming. 88-105
  
• Fabio Gadducci, Ugo Montanari:
  Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes. 106-126
  
• Nachum Dershowitz:
  Primitive Rewriting. 127-147
  
• Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries:
  Infinitary Rewriting: From Syntax to Semantics. 148-172
  
• Hans Zantema:
  Reducing Right-Hand Sides for Termination. 173-197
  
• Yoshihito Toyama:
  Reduction Strategies for Left-Linear Term Rewriting Systems. 198-223
  
• Jean-Pierre Jouannaud:
  Higher-Order Rewriting: Framework, Confluence and Termination. 224-250
  
• Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A. Reniers:
  Timing the Untimed: Terminating Successfully While Being Conservative. 251-279
  
• Detlef Plump:
  Confluence of Graph Transformation Revisited. 280-308
  
• Yuxin Deng, Catuscia Palamidessi, Jun Pang:
  Compositional Reasoning for Probabilistic Finite-State Behaviors. 309-337
  
• Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik:
  Finite Equational Bases in Process Algebra: Results and Open Questions. 338-367
  
• Zena M. Ariola, Stefan Blom:
  Skew and omega-Skew Confluence and Abstract Böhm Semantics. 368-403
  
• Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese:
  A Mobility Calculus with Local and Dependent Types. 404-444
  
• Jan A. Bergstra, C. A. Middelburg:
  Model Theory for Process Algebra. 445-495
  
• John J. Glauert, Delia Kesner, Zurab Khasidashvili:
  Expression Reduction Systems and Extensions: An Overview. 496-553
  
• Paul-André Melliès:
  Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem. 554-638