URL:  https://wwwen.uni.lu/university/news/latest_news/world_championship_in_automated_reasoning_computer_scientist_awarded Date:  Saturday, 21 September 2019, 11:48