Papers accepted to DISC 2023

Two regular papers:

Two brief announcments: