Thanks to the efficient and enormeous joint work of the IPC, the LOC and the TWG teams of CERME13, it has been possible to finalize the proceedings in what appears record time. You will find links to individual papers, the full proceedings, as well as the front matter with table of contents, on the CERME proceedings webpage (scroll down). Note that the year of publication is 2023, and the correct way of referencing CERME papers (on top of the page).