Posters @ ETAPS 2025

Posters are one of the traditional ways of presenting results at ETAPS.

Poster Book

The ETAPS 2025 Poster Book is available for download:

Download Poster Book

Posters are traditionally presented during the week, providing an opportunity to talk about the results with the authors.

In 2025, the poster session at ETAPS was organized for all authors of contributions to the main conferences and SVComp and Test-Comp competitions The posters were collected in the ETAPS Poster Book, which can be downloaded here.