| 2000 | Integrating Programming, Properties, and Validation. | Mark P. Jones |
| 2000 | Polytypic Values Possess Polykinded Types. | Ralf Hinze |
| 2000 | Reasoning about Non-terminating Loops Using Deadline Commands. | Ian J. Hayes |
| 2000 | Metacomputation-Based Compiler Architecture. | William L. Harrison, Samuel N. Kamin |
| 2000 | Separation and Reduction. | Ernie Cohen |
| 2000 | Theorems about Composition. | Michel Charpentier, K. Mani Chandy |
| 2000 | Proving Pointer Programs in Hoare Logic. | Richard Bornat |
| 2000 | Liberating Data Refinement. | Eerke A. Boiten, John Derrick |
| 2000 | The Universal Resolving Algorithm: Inverse Computation in a Functional Language. | Sergei M. Abramov, Robert Glck |
| 1998 | Calculating a Round-Robin Scheduler. | Matteo Vaccari, Roland Carl Backhouse |
| 1998 | Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis. | Makoto Tatsuta |
| 1998 | Convergence of Program Transformers in the Metric Space of Trees. | Morten Heine Srensen |
| 1998 | Beyond Fun: Order and Membership in Polytypic Imperative Programming. | David A. Naumann |
| 1998 | Slack Elasticity in Concurrent Computing. | Rajit Manohar, Alain J. Martin |
| 1998 | A Semantic Approach to Secure Information Flow. | K. Rustan M. Leino, Rajeev Joshi |
| 1998 | A Proof Rule for Control Loops. | Burghard von Karger |
| 1998 | Formal Derivation of a Loadable Asynchronous Counter. | Mark B. Josephs |
| 1998 | Generalising Monads (Abstract). | John Hughes |
| 1998 | On the Aesthetics of Diagrams (Summary of Talk). | David Harel |
| 1998 | Polytypic Downwards Accumulations. | Jeremy Gibbons |
| 1998 | A Set-Theoretic Model for Real-Time Specification and Reasoning. | Colin J. Fidge, Ian J. Hayes, Andrew P. Martin, Axel Wabenhorst |
| 1998 | An Elementary Derivation of the Alternating Bit Protocol. | W. H. J. Feijen, A. J. M. van Gasteren, Birgit Schieder |
| 1998 | Computation Calculus - Bridging a Formalization Gap. | Rutger M. Dijkstra |
| 1998 | A Unifying Framework for Correct Program Construction. | Henning Dierks, Michael Schenke |
| 1998 | Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach. | Thomas Brunn, Bernhard Mller, Martin Russling |