Narodowe Centrum Nauki opublikowało listę projektów, które otrzymały dofinansowanie w konkursie SONATA BIS 6. Wśród nich jest projekt prof. Krzysztofa Krupińskiego pt. Algebraiczne i topologiczne metody w teorii modeli, który na liście rankingowej został sklasyfikowany na 5 miejscu (na 49 wniosków skierowanych do finansowania).