*Large format edition*Wisden 2020 provides unparalleled coverage of an extraordinary year of cricket. The 157th edition of Wisden celebrates the World Cup triumph of England's men on a memorable day at Lord's.

This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021.