Department of Theoretical Computer Science

Provided courses

Code	Course name	Language	WINTER SEMESTER			SUMMER SEMESTER			Enrolled in semester
	Tutor	Language	completion	credits	range	completion	credits	range	Enrolled in semester
MIE-PAL.16	Advanced Algorithms	English				Z,ZK	5	2P+1C	The course is not on the list
MI-PAL.16	Advanced Algorithms	Czech				Z,ZK	5	2P+1C	The course is not on the list
MI-PAL	Advanced Algorithms	Czech				Z,ZK	4	2P+1C	The course is not on the list
PI-ROZ	Advanced Pattern Recognition Michal Haindl^Ⓖ					ZK	4	3C	B242
PI-APA	Advanced Program Analysis Jan Vitek^Ⓖ	English	ZK	4	3C				B241, B242
NIE-APT	Advanced Program Testing Pierre Donat-Bouillud^Ⓖ	English	Z,ZK	5	2P+1C				B241
NI-APT	Advanced Program Testing Pierre Donat-Bouillud^Ⓖ	English	Z,ZK	5	2P+1C				B241
NI-ATH	AlgorithmicTheories of Games Dušan Knop, Jan Pokorný, Tomáš Valla^Ⓖ	Czech				Z,ZK	4	2P+2C	The course is not on the list
BIE-AG1	Algorithms and Graphs 1	English	Z,ZK	6	2P+2C				The course is not on the list
BIE-AG1.21	Algorithms and Graphs 1 Dušan Knop^Ⓖ, Michal Opler, Maria Saumell Mendiola, Jiřina Scholtzová, Tomáš Valla	English	Z,ZK	5	2P+2C				B241
BIK-AG1	Algorithms and Graphs 1	Czech	Z,ZK	6	14KP+4KC				The course is not on the list
BI-AG1.21	Algorithms and Graphs 1 Suzan Catay, Patrik Drbal, Michal Dvořák, Radek Hušek, Dušan Knop^Ⓖ, Daniel Král, Michal Opler, Matěj Ptáček, Josef Erik Sedláček, Martin Slávik, Ondřej Suchý, Tomáš Valla, Ondřej Šofr, Petr Šťastný	Czech	Z,ZK	5	2P+2C				B241
BIK-AG1.21	Algorithms and Graphs 1 Radek Hušek, Dušan Knop^Ⓖ	Czech	Z,ZK	5	14KP+4KC				B241
BI-AG1	Algorithms and Graphs 1	Czech	Z,ZK	6	2P+2C				The course is not on the list
BIE-AG2	Algorithms and Graphs 2	English				Z,ZK	5	2P+2C	The course is not on the list
BIE-AG2.21	Algorithms and Graphs 2 Radek Hušek, Dušan Knop, Michal Opler, Jiřina Scholtzová, Ondřej Suchý^Ⓖ	English				Z,ZK	5	2P+2C	B242
BI-AG2	Algorithms and Graphs 2	Czech				Z,ZK	5	2P+2C	The course is not on the list
BI-AG2.21	Algorithms and Graphs 2 Michal Dvořák, Radek Hušek, Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ, Tomáš Valla	Czech				Z,ZK	5	2P+2C	B242
BIE-AX2	Algorithms and Graphs 2 No Implementation Jiřina Scholtzová, Ondřej Suchý^Ⓖ	English							B242
BIE-AX1.24	Algorithms and Graphs No Implementation Dušan Knop^Ⓖ, Michal Opler, Maria Saumell Mendiola, Jiřina Scholtzová, Tomáš Valla	English	Z,ZK	5	2P+2C				B241
BIE-AX1	Algorithms and Graphs No Implementation Dušan Knop^Ⓖ, Michal Opler, Maria Saumell Mendiola, Jiřina Scholtzová, Tomáš Valla	English	Z,ZK	4	2P+2C				B241
BI-AVI.21	Algorithms visually Luděk Kučera^Ⓖ	Czech				Z,ZK	4	2P+1C	B242
PI-ARB	Arbology Jan Janoušek^Ⓖ, Bořivoj Melichar^Ⓖ		ZK	4	3C	ZK	4	3C	B241, B242
PI-ASP	Architecture of Symbolic Computers Josef Kolář^Ⓖ		ZK	4	3C	ZK	4	3C	B241, B242
BIK-ZUM	Artificial Intelligence Fundamentals	Czech				Z,ZK	4	13+4	The course is not on the list
BIE-AAG	Automata and Grammars	English	Z,ZK	6	2P+2C				The course is not on the list
BIE-AAG.21	Automata and Grammars Jan Holub^Ⓖ, Tomáš Pecka, Štěpán Plachý	English	Z,ZK	5	2P+2C				B241
BI-AAG	Automata and Grammars	Czech	Z,ZK	6	2P+2C				The course is not on the list
BIK-AAG.21	Automata and Grammars Jan Holub^Ⓖ, Štěpán Plachý	Czech	Z,ZK	5	14KP+4KC				B241
BI-AAG.21	Automata and Grammars Dominika Bohuslavová, Suzan Catay, Jan Holub^Ⓖ, Jan Janoušek, Jiří Lejsek, Tomáš Pecka, Štěpán Plachý, Jiří Skotal, Martin Svoboda, Tomáš Vesecký, Patrik Vodila, Ondřej Štorc	Czech	Z,ZK	5	2P+2C				B241
BIK-AAG	Automata and Grammars	Czech	Z,ZK	6	13KP+4KC				The course is not on the list
MIE-AVY	Automata in Text Pattern Matching	English				Z,ZK	4	2P+1C	The course is not on the list
MI-AVY	Automata in Text Pattern Matching	Czech				Z,ZK	4	2P+1C	The course is not on the list
MIE-GEN	Code Generators	English				Z,ZK	4	2P+1C	The course is not on the list
MI-GEN	Code Generators	Czech				Z,ZK	4	2P+1C	The course is not on the list
NI-GEN	Code Generators Jan Janoušek^Ⓖ, Petr Máj	Czech	Z,ZK	5	2P+1C				B241
MI-ATH	Combinatorial Theories of Games					Z,ZK	4	2P+2C	The course is not on the list
NI-KTH	Combinatorial Theories of Games Jan Matyáš Křišťan, Tomáš Valla^Ⓖ	Czech				Z,ZK	4	2P+1C	B242
BIE-CCN	Compiler Construction Christoph Kirsch^Ⓖ	English				Z,ZK	5	3P	B242
BI-CCN	Compiler Construction Christoph Kirsch^Ⓖ	English				Z,ZK	5	3P	B242
MIE-CPX	Complexity Theory	English	Z,ZK	5	3P+1C				The course is not on the list
NIE-CPX	Complexity Theory Dušan Knop^Ⓖ, Michal Opler, Ondřej Suchý^Ⓖ	English	Z,ZK	5	3P+1C				B241
NI-CPX	Complexity Theory Dušan Knop, Michal Opler, Ondřej Suchý^Ⓖ	Czech	Z,ZK	5	3P+1C				B241
MI-CPX	Complexity Theory	Czech	Z,ZK	5	3P+1C				The course is not on the list
PI-AVG	Computational genomics algorithms Jan Holub^Ⓖ					ZK	4	2P+1C	B242
NIE-KOD	Data Compression Jan Holub^Ⓖ	English				Z,ZK	5	2P+1C	B242
MIE-KOD.16	Data Compression	English				Z,ZK	5	2P+1C	The course is not on the list
NI-KOD	Data Compression Jan Holub^Ⓖ	English				Z,ZK	5	2P+1C	B242
MI-KOD.16	Data Compression	Czech				Z,ZK	5	2P+1C	The course is not on the list
PI-AKD	Data Compression Algorithms Jan Holub^Ⓖ					ZK	4	3C	B242
BI-EP1	Effective programming 1 Martin Kačer^Ⓖ	Czech	Z	4	2P+2C				The course is not on the list
BI-EP1.24	Effective programming 1 Martin Kačer^Ⓖ	Czech	KZ	4	2P+2C				B241
BI-EFA	Efficient Algorithms	Czech	Z,ZK	5	2P+2C				The course is not on the list
BIK-EFA	Efficient Algorithms	Czech	Z,ZK	5	13KP+4KC				The course is not on the list
BIE-EFA	Efficient Algorithms	English	Z,ZK	5	2P+2C				The course is not on the list
BIK-EIA	Efficient Implementation of Algorithms	Czech	Z,ZK	5	13KP+4KC				The course is not on the list
MI-PAM	Efficient Preprocessing and Parameterized Algorithms					Z,ZK	4	2P+1C	The course is not on the list
NI-PAM	Efficient Preprocessing and Parameterized Algorithms Ondřej Suchý^Ⓖ	Czech				Z,ZK	4	2P+1C	B242
BI-EP2	Efficient Programming 2 Martin Kačer^Ⓖ	Czech				KZ	4	2P+2C	B242
NI-EVY	Efficient Text Pattern Matching Jan Holub^Ⓖ	English	Z,ZK	5	2P+1C				B241
MI-EVY.16	Efficient Text Pattern Matching	Czech	Z,ZK	5	2P+1C				The course is not on the list
NIE-EVY	Efficient Text Pattern Matching Jan Holub^Ⓖ	English	Z,ZK	5	2P+1C				B241
MIE-EVY.16	Efficient Text Pattern Matching	English	Z,ZK	5	2P+1C				The course is not on the list
BI-EIA	Efficient implementation of algorithms	Czech	Z,ZK	5	2P+1C				The course is not on the list
NI-VOL	Elections Dušan Knop^Ⓖ, Šimon Schierreich	Czech				Z,ZK	5	2P+1C	B242
BIE-TED	Electronic Documentation Design	English				KZ	5	2P+2C	The course is not on the list
BIK-TED	Electronic Documentation Design	Czech				KZ	5	13KP+4KC	The course is not on the list
BI-TED	Electronic Documentation Design	Czech				KZ	5	2P+1C	The course is not on the list
AKCE	Fiktivní předmět - Akce mimo rozvrhovanou výuku Daniel Dombek^Ⓖ, Jan Holub, Jiří Hunka, Jan Janoušek, Dušan Knop, Hana Kubátová, Antonella Marchesiello, Jan Matoušek, Jan Pokorný, Jitka Rybníčková, Jiří Smítka, Jan Spěvák, Ondřej Suchý, Martin Svoboda, Jaroslav Zhouf		NIC	0	0+0	NIC	0	0+0	B241
NI-FMT	Finite model theory Tomáš Jakl^Ⓖ	Czech				Z,ZK	4	2P+1C	The course is not on the list
MIE-FLP.16	Functional and Logical Programming	English				Z,ZK	5	2P+1C	The course is not on the list
MI-FLP.16	Functional and Logical Programming	Czech				Z,ZK	5	2P+1C	The course is not on the list
MI-FLP	Functional and Logical Programming	Czech				Z,ZK	4	2P+1C	The course is not on the list
BIK-GRA	Graph Algorithms	Czech				Z,ZK	5	13KP+4KC	The course is not on the list
BI-GRA	Graph Algorithms and Complexity Theory	Czech				Z,ZK	5	2P+2C	The course is not on the list
BIE-GRA	Graph Algorithms and Complexity Theory	English				Z,ZK	5	2P+2C	The course is not on the list
PI-TGR	Graph Theory Ondřej Suchý^Ⓖ, Tomáš Valla					ZK	4	2P+1C	B241, B242
MI-GAK	Graph theory and combinatorics	Czech				Z,ZK	5	2P+2C	The course is not on the list
NI-GAK	Graph theory and combinatorics Michal Opler, Tomáš Valla^Ⓖ	Czech				Z,ZK	5	2P+2C	B242
NIE-GAK	Graph theory and combinatorics Michal Opler, Tomáš Valla^Ⓖ	English				Z,ZK	5	2P+2C	B242
BI-ICS.18	Introduction to Computer Science	English	Z	3		Z	3		The course is not on the list
BI-CSI	Introduction to Computer Science Christoph Kirsch^Ⓖ	English							B241
BIE-CSI	Introduction to Computer Science Christoph Kirsch^Ⓖ	English	Z	2	2C				B241
BI-ICS	Introduction to Computer Science	English				Z	2		The course is not on the list
NIE-DVG	Introduction to Discrete and Computational Geometry Maria Saumell Mendiola^Ⓖ	English				Z,ZK	5	2P+1C	B242
NI-DVG	Introduction to Discrete and Computational Geometry Maria Saumell Mendiola^Ⓖ	English				Z,ZK	5	2P+1C	B242
NIE-LOM	Linear Optimization and Methods Dušan Knop^Ⓖ	English	Z,ZK	5	2P+0S+1C				B241
NI-LOM	Linear Optimization and Methods Dušan Knop^Ⓖ	Czech	Z,ZK	5	2P+1C				B241
MI-LOM.16	Linear Optimization and Methods	Czech	Z,ZK	5	2P+1C				The course is not on the list
NI-MPJ	Modelling of Programming Languages	English	Z,ZK	5	2P+1C				The course is not on the list
NI-NON	Nonlinear Continuous Optimization and Numerical Methods Jaroslav Kruis^Ⓖ	Czech	Z,ZK	5	2P+1C	Z,ZK	5	2P+1C	The course is not on the list
MI-NON.16	Nonlinear Continuous Optimization and Numerical Methods	Czech	Z,ZK	5	2P+1C				The course is not on the list
NIE-NON	Nonlinear Continuous Optimization and Numerical Methods Jaroslav Kruis^Ⓖ	English	Z,ZK	5	2P+1C	Z,ZK	5	2P+1C	The course is not on the list
MIE-NON.16	Nonlinear Continuous Optimization and Numerical Methods	English	Z,ZK	5	2P+1C				The course is not on the list
BIE-OOP.21	Object-Oriented Programming Martin Drozdík, Filip Křikava^Ⓖ, Petr Máj, Filip Říha	English	Z,ZK	5	2P+2C				B241
BIK-OOP.21	Object-Oriented Programming Martin Drozdík, Filip Křikava^Ⓖ, Filip Říha	Czech	Z,ZK	5	14KP+4KC				B241
BI-OOP.21	Object-Oriented Programming Martin Drozdík, Filip Křikava^Ⓖ, Petr Máj, Filip Říha	Czech	Z,ZK	5	2P+2C				B241
BIE-OOP	Object-Oriented Programming	English	Z,ZK	4	2P+2C				The course is not on the list
BI-OOP	Object-Oriented Programming	Czech	Z,ZK	4	2P+2C				The course is not on the list
BIK-OOP	Object-Oriented Programming	Czech	Z,ZK	4	14KP+4KC				The course is not on the list
BI-ORL	Operations Research and Linear Programming Radek Hušek, Dušan Knop^Ⓖ	Czech				KZ	5	1P+2C	B242
NIE-PAM	Parameterized Algorithms Ondřej Suchý^Ⓖ	English				Z,ZK	4	2P+1C	B242
NIE-SYP	Parsing and Compilers Jan Janoušek^Ⓖ, Štěpán Plachý	English	Z,ZK	5	2P+1C				B241
MIE-SYP.16	Parsing and Compilers	English	Z,ZK	5	2P+1C				The course is not on the list
NI-SYP	Parsing and Compilers Jan Janoušek^Ⓖ, Štěpán Plachý	English	Z,ZK	5	2P+1C				B241
MI-SYP.16	Parsing and Compilers	Czech	Z,ZK	5	2P+1C				The course is not on the list
NIE-ROZ	Pattern Recognition Michal Haindl^Ⓖ, Radek Richtr	English	Z,ZK	5	2P+1C				B241
MIE-ROZ.16	Pattern Recognition	English	Z,ZK	5	2P+1C				The course is not on the list
MIE-ROZ	Pattern Recognition	English	Z,ZK	4	2P+1C				The course is not on the list
MI-ROZ	Pattern Recognition	Czech	Z,ZK	4	2P+1C				The course is not on the list
NI-ROZ	Pattern Recognition Michal Haindl^Ⓖ, Radek Richtr	Czech	Z,ZK	5	2P+1C				B241
MI-ROZ.16	Pattern Recognition	Czech	Z,ZK	5	2P+1C				The course is not on the list
BIE-PJP.21	Programming Languages and Compilers Jan Janoušek^Ⓖ, Tomáš Pecka, Štěpán Plachý	English				Z,ZK	5	2P+1C	B242
BIE-PJP	Programming Languages and Compilers	English				Z,ZK	5	2P+1C	The course is not on the list
BI-PJP.21	Programming Languages and Compilers Jan Janoušek^Ⓖ, Tomáš Pecka, Štěpán Plachý	Czech				Z,ZK	5	2P+1C	B242
BI-PJP	Programming Languages and Compilers	Czech				Z,ZK	5	2P+1C	The course is not on the list
BIE-PPA	Programming Paradigms	English	Z,ZK	5	2P+2C				The course is not on the list
BIE-PPA.21	Programming Paradigms Tomáš Jakl, Jan Janoušek^Ⓖ, Petr Máj, Tomáš Pecka	English	Z,ZK	5	2P+2R				B241
BIK-PPA.21	Programming Paradigms Filip Gregor, Jan Janoušek^Ⓖ, Tomáš Pecka	Czech	Z,ZK	5	14KP+4KC				B241
BI-PPA.21	Programming Paradigms Filip Gregor, Tomáš Jakl, Jan Janoušek^Ⓖ, Petr Máj, Tomáš Pecka, Jan Liam Verter	Czech	Z,ZK	5	2P+2R				B241
BI-PPA	Programming Paradigms	Czech	Z,ZK	5	2P+2R				The course is not on the list
BIK-PPA	Programming Paradigms	Czech	Z,ZK	5	14KP+4KC				The course is not on the list
BI-ACM	Programming Practices 1	Czech				KZ	5	4C	The course is not on the list
BI-ACM2	Programming Practices 2 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech	KZ	5	4C				B241
BI-ACM3	Programming Practices 3 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech				KZ	5	4C	B242
BI-ACM4	Programming Practices 4 Michal Dvořák, Jan Matyáš Křišťan, Jan Pokorný, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech	KZ	5	4C				B241
BIE-PA1	Programming and Algorithmics 1	English	Z,ZK	6	2P+2R+2C				The course is not on the list
BIE-PA1.21	Programming and Algorithmics 1 Tomáš Dejmek, Foivos Fioravantes, Radek Hušek, František Kovář, Štěpán Plachý, Jan Trávníček^Ⓖ, Ladislav Vagner, Josef Vogel	English	Z,ZK	7	2P+2R+2C				B241
BI-PA1	Programming and Algorithmics 1	Czech	Z,ZK	6	2P+2R+2C				The course is not on the list
BIK-PA1.21	Programming and Algorithmics 1 Radek Hušek, Barbora Kolomazníková, Jan Trávníček^Ⓖ, Ladislav Vagner, Josef Vogel, Ondřej Štorc	Czech	Z,ZK	7	14KP+8KC				B241
BI-PA1.21	Programming and Algorithmics 1 Miroslav Balík, Daniel Breiner, Vít Břichňáč, Tomáš Dejmek, Jarmila Fialová, Radek Hušek, Roman Jelínek, Jiří Kašpar, František Kovář, Jaroslav Kříž, Petr Laštovička, Jan Matoušek, Tomáš Pecka, Sebastian Prokop, Róbert Selvek, Jan Trávníček^Ⓖ, Oliver Tušla, Ladislav Vagner, Josef Vogel, Ivan Šimeček, Ondřej Štorc, Jan Šuráň, Jakub Švec	Czech	Z,ZK	7	2P+2R+2C				B241
BIK-PA1	Programming and Algorithmics 1	Czech	Z,ZK	6	20KP+6KC				The course is not on the list
BIE-PA2	Programming and Algorithmics 2	English				Z,ZK	7	2P+1R+1C	The course is not on the list
BIE-PA2.21	Programming and Algorithmics 2 Tomáš Dejmek, Radek Hušek, František Kovář, Jan Trávníček^Ⓖ, Ladislav Vagner, Josef Vogel	English				Z,ZK	7	2P+1R+2C	B242
BI-PA2	Programming and Algorithmics 2	Czech				Z,ZK	7	2P+1R+2C	The course is not on the list
BI-PA2.21	Programming and Algorithmics 2 Daniel Breiner, Vít Břichňáč, Suzan Catay, Jarmila Fialová, Filip Gregor, Peter Guľa, Radek Hušek, Barbora Kolomazníková, Tomáš Krupička, Jan Matoušek, Petr Nohejl, Petr Pauš, Tomáš Pecka, Matyáš Rak, Jan Trávníček^Ⓖ, Oliver Tušla, Ladislav Vagner, Josef Vogel, Jakub Votrubec, Ondřej Štorc, Jan Šuráň, Jakub Švec, Petr Šťastný	Czech				Z,ZK	7	2P+1R+2C	B242
BIK-PA2.21	Programming and Algorithmics 2 Radek Hušek, Barbora Kolomazníková, Jan Trávníček^Ⓖ, Ladislav Vagner, Josef Vogel, Ondřej Štorc	Czech				Z,ZK	7	14KP+6KC	B242
BIK-PA2	Programming and Algorithmics 2	Czech				Z,ZK	7	13KP+4KC	The course is not on the list
BI-PMA	Programming in Mathematica Zdeněk Buk^Ⓖ	Czech	Z,ZK	4	2P+2C	Z,ZK	4	2P+2C	The course is not on the list
MIE-RUN.16	Runtime Systems Filip Křikava^Ⓖ, Michal Vlasák	English	Z,ZK	5	2P+1C				B242
NI-RUN	Runtime Systems Filip Křikava^Ⓖ, Michal Vlasák^Ⓖ	English				Z,ZK	5	2P+1C	B242
MI-RUN.16	Runtime Systems	Czech	Z,ZK	5	2P+1C				The course is not on the list
BI-VAK.21	Selected Applications of Combinatorics Dušan Knop, Michal Opler^Ⓖ, Jan Pokorný, Šimon Schierreich, Jiřina Scholtzová, Ondřej Suchý, Tomáš Valla	Czech				Z	3	2R	B242
BIE-VAK.21	Selected Combinatorics Applications Dušan Knop, Michal Opler^Ⓖ, Jan Pokorný, Maria Saumell Mendiola, Šimon Schierreich, Ondřej Suchý, Tomáš Valla	English				Z	3	2R	B242
NI-APR	Selected Methods for Program Analysis Filip Křikava^Ⓖ	Czech	Z,ZK	5	2P+1C				The course is not on the list
PI-STR	Stringology Jan Holub^Ⓖ					ZK	4	3C	B242
NI-MOB	Student mobility	Czech							The course is not on the list
NI-SLA	Sublinear algorithms Dušan Knop^Ⓖ	Czech	Z,ZK	5	2P+1C				B241
BIE-SEG	Systems Engineering Christoph Kirsch^Ⓖ	English	Z	0	2C				B241
BI-SEG	Systems Engineering Christoph Kirsch^Ⓖ	English	ZK	0	2C				B241
MI-TES	Systems Theory	Czech	Z,ZK	5	2P+2C				The course is not on the list
BI-TEX	TeX and Typography Petr Olšák^Ⓖ	Czech				Z,ZK	4	2P+1C	B242
BI-TS1	Theoretical Seminar I Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech	Z	4	2C				The course is not on the list
BI-TS2	Theoretical Seminar II Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech				Z	4	2C	B241
BI-TS3	Theoretical Seminar III Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech	Z	4	2C				B241
BI-TS4	Theoretical Seminar IV Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech				Z	4	2C	B242
MI-TS1	Theoretical Seminar Master I		Z	4	2C				The course is not on the list
NI-TS1	Theoretical Seminar Master I Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech	Z	4	2C				The course is not on the list
MI-TS2	Theoretical Seminar Master II	Czech				Z	4	2C	The course is not on the list
NI-TS2	Theoretical Seminar Master II Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech				Z	4	2C	The course is not on the list
MI-TS3	Theoretical Seminar Master III		Z	4	2C				The course is not on the list
NI-TS3	Theoretical Seminar Master III Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech	Z	4	2C				B241
MI-TS4	Theoretical Seminar Master IV					Z	4	2C	The course is not on the list
NI-TS4	Theoretical Seminar Master IV Dušan Knop, Ondřej Suchý^Ⓖ, Tomáš Valla^Ⓖ	Czech				Z	4	2C	B242
PI-TPL	Type Systems for Programming Languages Jan Vitek^Ⓖ	English				ZK	4	3C	B241, B242