.- Invited Papers.
.- Finite Approximations of the Common Meadow of Rational Numbers.
.- Some Uses of Modal Semirings.
.- Contributed Papers.
.- Bialgebraic Representation of Coordination Frameworks.
.- Topological Inquiry in Abstract Model Theory.
.- The Institution of Many-Logics Modal Logic.
.- Reconciling Quantum Theory and Process Equivalence via Physically
Admissible Schedulers.