Fakulta informačních technologií Vysokého učení technického v Brně v letošním roce prochází významnou změnou v organizaci výuky zejména navazujícího magisterského studijního programu. Dosud bylo studium magisterského programu Informační technologie možné ve čtyřech různých odborných zaměřeních, přičemž studium formálních jazyků a teoretické informatiky bylo, kromě jednoho povinného předmětu, jen velmi okrajové. Počínaje akademickým rokem 2009/2010 bude magisterské studium nabízeno ve třech stávajících a šesti nových odborných zaměřeních, jedním z nich jsou Matematické metody v informačních technologiích, kam formální jazyky a teoretická informatika bezpochyby patří. Cílem tohoto projektu je vytvoření výukových pomůcek, které budou studenty tohoto nového zaměření a zejména studenty doktorského studijního programu seznamovat s moderními trendy v teoretické informatice a souvisejících matematických tématech. Tyto pomůcky však poslouží také v několika předmětech zmíněného nového zaměření magisterského studia. Veškeré výstupy tohoto projektu budou vytvářeny v anglickém jazyce, což českým studentům umožní seznámit se s používanou světovou terminologií a zahraničním studentům přicházejícím studovat na Fakultu informačních technologií poskytne výukové materiály, kterým budou rozumět.