URL:  https://wwwen.uni.lu/research/fstm/dcs/news_and_events/world_championship_in_automated_reasoning_computer_scientist_awarded Date:  Monday, 10 August 2020, 02:26