Call for contributions to edited volume

The organising committee has been in discussions with a scientific publisher to propose an edited volume on Validated Numerics for Computer-Assisted Proofs based on the workshop.

We welcome expressions of interest from participants to contribute chapters, including those on expository work. Please contact the organisers to propose a chapter.