Home // Research // FSTC // Computer Sci... // News and Events // World-championship in Automated Reasoning: computer scientist awarded

World-championship in Automated Reasoning: computer scientist awarded

On the occasion of the annual World Championship for Automatic Theorem Proving (“CADE ATP System Competition”, in short CASC) which took place on 28-29 August 2019 in Brazil, Alexander Steen, computer scientist at the University of Luxembourg, won a prize for “Leo-III”, a computer software that proves mathematical conjectures autonomously.

Read the full news item