URL:  https://wwwfr.uni.lu/universite/actualites/a_la_une/world_championship_in_automated_reasoning_computer_scientist_awarded Date:  jeudi 19 septembre 2019 01:49:14