Logic-Based Program Synthesis and Transformation: 34th International Symposium | DealShopping Deutschland