LuFG i2 wins the "Termination and Complexity Competition" at FLoC 2022

20/08/2022
LuFG Team Photo  

LuFG i2 wins the "Termination and Complexity Competition" at FLoC 2022

The tool AProVE of the Research Group LuFG i2 has won the gold medal of the annual "Termination and Complexity Competition", which took place within the "FLoC Olympic Games" during the Federated Logic Conference in Haifa (Israel) in August 2022. In the competition, the goal is to prove (or disprove) the termination of programs in different languages, and to infer upper and lower bounds on the runtimes of programs fully automatically.

More information can be found at: https://termination-portal.org/wiki/Termination_Competition_2022