Wojciech Czerwinski: Challenges of the Reachability Problem in Infinite-State Systems (Invited Paper). MFCS 2024: 2:1-2:8