This technical report contains the papers presented at Refine 2006,
the International Refinement Workshop. This compendium is the
preliminary proceedings for the workshop for the convenience of the
workshop participants; the official proceedings will be published
after the workshop in Electronic Notes on Theoretical Computer
Science.