4. MPC 1998:
: On the Aesthetics of Diagrams (Summary of Talk).
: An Application of Program Derivation Techniques to 18th-Century Mathematics.
Mark B. Josephs
: Formal Derivation of a Loadable Asynchronous Counter.
David A. Naumann
: Beyond Fun: Order and Membership in Polytypic Imperative Programming.
: Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis.