Proceedings now available
The proceedings of ECRTS 2024 are now available online (published by Dagstuhl): https://www.dagstuhl.de/dagpub/978-3-95977-324-9 In addition, the Artifact Evaluation proceedings are now available online (published in Dagstuhl Artifacts Series): https://www.dagstuhl.de/dagpub/978-3-95977-327-0