65. Birthday: Joseph A. Goguen, 2006

Meaning

• David Borgo:
  Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativity. 1-24
  
• Rod M. Burstall:
  My Friend Joseph Goguen. 25-30
  
• D. Fox Harrell:
  Metalogic, Qualia, and Identity on Neptune's Great Moon: Meaning and Mathematics in the Works of Joseph A. Goguen and Samuel R. Delany. 31-49
  

Meta-Logic

• Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas:
  Quantum Institutions. 50-64
  
• Razvan Diaconescu:
  Jewels of Institution-Independent Model Theory. 65-98
  
• Dorel Lucanu, Yuan-Fang Li, Jin Song Dong:
  Semantic Web Languages - Towards an Institutional Perspective. 99-123
  
• Till Mossakowski:
  Institutional 2-cells and Grothendieck Institutions. 124-149
  
• Gordon D. Plotkin:
  Some Varieties of Equational Logic. 150-156
  
• Grigore Rosu:
  Complete Categorical Deduction for Satisfaction as Injectivity. 157-172
  

Specification and Composition

• Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar:
  Extension Morphisms for CommUnity. 173-193
  
• Oana Andrei, Liliana Ibanescu, Hélène Kirchner:
  Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application. 194-215
  
• Jacek Chrzaszcz, Jean-Pierre Jouannaud:
  From OBJ to ML to Coq. 216-234
  
• Hartmut Ehrig, Ulrike Prange:
  Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations. 235-251
  
• José Meseguer:
  From OBJ to Maude and Beyond. 252-280
  
• Peter D. Mosses:
  Constructive Action Semantics in OBJ. 281-295
  
• Donald Sannella, Andrzej Tarlecki:
  Horizontal Composability Revisited. 296-316
  
• Douglas R. Smith:
  Composition by Colimit and Formal Software Development. 317-332
  

Behavior and Formal Languages

• Michel Bidoit, Rolf Hennicker:
  Proving Behavioral Refinements of COL-specifications. 333-354
  
• Gérard P. Huet, Benoît Razet:
  The Reactive Engine for Modular Transducers. 355-374
  
• Bart Jacobs:
  A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages. 375-404
  
• Grant Malcolm:
  Sheaves and Structures of Transition Systems. 405-419
  
• Lawrence S. Moss:
  Uniform Functors on Sets. 420-448
  
• Horst Reichel:
  An Algebraic Approach to Regular Sets. 449-458
  

Models, Deduction, and Computation

• Jan A. Bergstra, John V. Tucker:
  Elementary Algebraic Specifications of the Rational Complex Numbers. 459-475
  
• Manfred Broy:
  From Chaos to Undefinedness. 476-496
  
• Guillaume Burel, Claude Kirchner:
  Completion Is an Instance of Abstract Canonical System Inference. 497-520
  
• Healfdene Goguen, Conor McBride, James McKinna:
  Eliminating Dependent Pattern Matching. 521-540
  
• Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer:
  Iterative Lexicographic Path Orders. 541-554
  
• Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino:
  A Functorial Framework for Constraint Normal Logic Programming. 555-577
  
• Karl Meinke:
  A Stochastic Theory of Black-Box Software Testing. 578-595
  
• Kazuhiro Ogata, Kokichi Futatsugi:
  Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method. 596-615
  
• Mitsuhiro Okada, Yutaro Sugimoto, Sumi Yoshikawa, Akihiko Konagaya:
  Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences. 616-642