URL:  https://wwwen.uni.lu/university/news/latest_news/world_championship_in_automated_reasoning_computer_scientist_awarded Date:  Friday, 14 August 2020, 07:26