INFORMATIK 2023 Workshop SyRePro Submissions