Moderné prístupy a nástroje pre výučbu predmetov na univerzitnej úrovni v oblasti teoretickej informatiky, logiky, teórie typov a sémantiky Iniciatíva č.: FBR-PDI-025 Spoločným úsilím k zelenej, konkurencieschopnej a inkluzívnej Európe