URL:  https://wwwfr.uni.lu/universite/actualites/a_la_une/world_championship_in_automated_reasoning_computer_scientist_awarded Date:  mercredi 19 février 2020 19:49:54