- English Formal Writing +2CNSEW3 | Third Faculty of Medicine
- Formalization seminarNMAG585 | Faculty of Mathematics and Physics
- Introduction to Formal LinguisticsNPFL006 | Faculty of Mathematics and Physics
- Seminar on Formal LinguisticsNPFL004 | Faculty of Mathematics and Physics
- Batalin-Vilkovisky formalismNMAG661 | Faculty of Mathematics and Physics
- Formal Foundations of Software EngineeringNTIN043 | Faculty of Mathematics and Physics
- Linguistic Theories and Grammar FormalismsNPFL083 | Faculty of Mathematics and Physics
- Linguistic Theory and Grammar FormalismsNPFX083 | Faculty of Mathematics and Physics
- Formal Dependency Syntax 2NTIN080 | Faculty of Mathematics and Physics
- Formal Dependency Syntax 1NTIN079 | Faculty of Mathematics and Physics
- Formal Mathematics and Proof Assistants +1NMMB566 | Faculty of Mathematics and Physics
- Formal LogicAFS100764 | Faculty of Arts
- Formal PresentationAXTEE0010 | Faculty of Arts
- Formal and Content Analysis of French LanguageOPNF4F031A | Faculty of Education
- Methods and formal essentials of scientific researchMG422C48 | Faculty of Science
- Introduction to Formal SemanticsABO500110 | Faculty of Arts
- Formal Morphology - Practice +2ACC100036 | Faculty of Arts
- Foundations of Formal Linguistics +4AFR30052 | Faculty of Arts
- Formal Languages and AutomataALG110017 | Faculty of Arts
- Formal Linguistics SeminarATKL00306 | Faculty of Arts
- Computer and Formal LinguisticsNSZI025 | Faculty of Mathematics and Physics