URL:  https://wwwen.uni.lu/research/fstm/dcs/news_and_events/world_championship_in_automated_reasoning_computer_scientist_awarded Date:  Tuesday, 25 February 2020, 05:42