Prosjektet har som mål å løse problemer og paradokser som oppstår i en rekke formelle vitenskaper, og å sikre et solid fundament for disse.
C-FORS: En ny bruk av konstruksjon i formalvitenskapene - mottar finansiering fra det Europeiske forskningsrådet (ERC) under Den europeiske unions Horisont 2020-program, kontrakt nummer 101054836 (ERC Advanced Grant 2022).