Sync or swarm

musical improvisation and the complex dynamics of group creativity

David Borgo

1-24

My friend Joseph Goguen

Rod Burstall

25-30

Metalogic, qualia, and identity on neptune's great moon

meaning and mathematics in the works of Joseph A. Goguen and Samuel R. Delany

D. Fox Harrell

31-49

Quantum institutions

Carlos Caleiro, Cristina Sernadas

50-64

Jewels of institution-independent model theory

Răzvan Diaconescu

65-98

Semantic web languages

towards an institutional perspective

Dorel Lucanu, Yuan Fang Li, Jin Song Dong

99-123

Institutional 2-cells and grothendieck institutions

Till Mossakowski

124-149

Some varieties of equational logic

Gordon Plotkin

150-156

Complete categorical deduction for satisfaction as injectivity

Grigore Roşu

157-172

Extension morphisms for community

Nazareno Aguirre, Tom Maibaum, Paulo Alencar

173-193

Non-intrusive formal methods and strategic rewriting for a chemical application

Oana Andrei, Liliana Ibanescu, Helene Kirchner

194-215

From obj to ml to coq

Jacek Chrząszcz, Jean-Pierre Jouannaud

216-234

Weak adhesive high-level replacement categories and systems

a unifying framework for graph and petri net transformations

Hartmut Ehrig, Ulrike Prange

235-251

From obj to maude and beyond

José Meseguer

252-280

Constructive action semantics in obj

Peter D. Mosses

281-295

Horizontal composability revisited

Donald Sannella, Andrzej Tarlecki

296-316

Composition by colimit and formal software development

Douglas R. Smith

317-332

Proving behavioral refinements of col-specifications

Michel Bidoit, Rolf Hennicker

333-354

The reactive engine for modular transducers

Gérard Huet, Benoît Razet

355-374

A bialgebraic review of deterministic automata, regular expressions and languages

Bart Jacobs

375-404

Sheaves and structures of transition systems

Grant Malcolm

405-419

Uniform functors on sets

Lawrence S. Moss

420-448

An algebraic approach to regular sets

Horst Reichel

449-458

Elementary algebraic specifications of the rational complex numbers

Jan A. Bergstra, John V. Tucker

459-475

From chaos to undefinedness

Manfred Broy

476-496

Completion is an instance of abstract canonical system inference

Guillaume Burel, Claude Kirchner

497-520

Eliminating dependent pattern matching

Healfdene Goguen, Conor McBride, James McKinna

521-540

Iterative lexicographic path orders

Vincent van Oostrom, Roel de Vrijer

541-554

A functorial framework for constraint normal logic programming

Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino

555-577

A stochastic theory of black-box software testing

Karl Meinke

578-595

Some tips on writing proof scores in the ots/cafeobj method

Kazuhiro Ogata, Kokichi Futatsugi

596-615

Drug interaction ontology (dio) and the resource-sensitive logical inferences

Mitsuhiro Okada

616-642