066 931 Master programme Logic and Computation

Show academic year
Show all courses of the academic year of which the selected semester is part of.

2022W-2023S (2011U)

Timetable

1. Semester

Title	Hours	ECTS
VU Algorithmics	4.0	6.0
186.814 VU 2022W Algorithmics	4.0	6.0
VO Discrete Mathematics	4.0	4.0
104.271 VO 2022W Discrete Mathematics	4.0	4.0
UE Discrete Mathematics	2.5	5.0
104.272 UE 2022W Discrete Mathematics	2.5	5.0
VU Logic and Computability	4.0	6.0
185.A45 VU 2022W Logic and Computability	4.0	6.0
VU Formal Methods in Computer Science	4.0	6.0
185.291 VU 2023S Formal Methods in Computer Science	4.0	6.0
185.291 VU 2022W Formal Methods in Computer Science	4.0	6.0

Timetable

2. Semester

Title	Precon.	Hours	ECTS
VU Knowledge-based Systems		4.0	6.0
184.730 VU 2023S Knowledge-based Systems		4.0	6.0

Without semester recommendation

Title	Hours	ECTS
VU Advanced Algorithms	4.0	6.0
VU Algorithms in Graph Theory	2.0	3.0
VU Algorithmic Geometry	3.0	4.5
192.133 VU 2022W Algorithmic Geometry	3.0	4.5
VO Analysis of Algorithms	3.0	5.0
UE Analysis of Algorithms	2.0	4.0
VU Approximation Algorithms	2.0	3.0
186.102 VU 2022W Approximation Algorithms canceled	2.0	3.0
VU Complexity Theory	2.0	3.0
181.142 VU 2022W Complexity theory	2.0	3.0
VU Discrete Reasoning Methods	2.0	3.0
VU Distributed Algorithms	4.0	6.0
182.702 VU 2023S Distributed Algorithms	4.0	6.0
VU Fixed-Parameter Algorithms and Complexity	3.0	4.5
192.135 VU 2022W Fixed-Parameter Algorithms and Complexity	3.0	4.5
VU Graph Drawing Algorithms	2.0	3.0
192.053 VU 2023S Graph Drawing Algorithms canceled	2.0	3.0
VU Heuristic Optimization Techniques	3.0	4.5
192.137 VU 2022W Heuristic Optimization Techniques	3.0	4.5
VU Mathematical Programming	2.0	3.0
186.835 VU 2023S Mathematical Programming	2.0	3.0
VU Modeling and Solving Constrained Optimization Problems	2.0	3.0
VU Networks: Design and Analysis	2.0	3.0
VU Optimization in Transport and Logistics	2.0	3.0
VU Parallel Algorithms	2.0	3.0
184.727 VU 2022W Parallel Algorithms	2.0	3.0
VU Problems in Distributed Computing	3.0	4.5
182.703 VU 2022W Problems in Distributed Computing	3.0	4.5
PR Project in Computer Science 1	4.0	6.0
186.820 PR 2023S Project in Computer Science 1	4.0	6.0
186.820 PR 2022W Project in Computer Science 1	4.0	6.0
184.688 PR 2023S Project in Computer Science 1	4.0	6.0
184.688 PR 2022W Project in Computer Science 1	4.0	6.0
184.692 PR 2023S Project in Computer Science 1	4.0	6.0
184.692 PR 2022W Project in Computer Science 1	4.0	6.0
185.A28 PR 2023S Project in Computer Science 1	4.0	6.0
185.A28 PR 2022W Project in Computer Science 1	4.0	6.0
185.A36 PR 2023S Project in Computer Science 1	4.0	6.0
185.A36 PR 2022W Project in Computer Science 1	4.0	6.0
184.718 PR 2023S Project in Computer Science 1	4.0	6.0
184.718 PR 2022W Project in Computer Science 1	4.0	6.0
192.075 PR 2023S Project in Computer Science 1	4.0	6.0
192.075 PR 2022W Project in Computer Science 1	4.0	6.0
194.074 PR 2023S Project in Computer Science 1	4.0	6.0
194.074 PR 2022W Project in Computer Science 1	4.0	6.0
194.053 PR 2023S Project in Computer Science 1	4.0	6.0
194.053 PR 2022W Project in Computer Science 1	4.0	6.0
194.079 PR 2023S Project in Computer Science	4.0	6.0
194.079 PR 2022W Project in Computer Science	4.0	6.0
191.120 PR 2023S Project in Computer Science 1	4.0	6.0
191.120 PR 2022W Project in Computer Science 1	4.0	6.0
194.058 PR 2023S Project in Computer Science 1	4.0	6.0
194.058 PR 2022W Project in Computer Science 1	4.0	6.0
194.061 PR 2023S Project in Computer Science 1	4.0	6.0
194.061 PR 2022W Project in Computer Science 1	4.0	6.0
191.111 PR 2023S Project in Computer Science 1	4.0	6.0
191.111 PR 2022W Project in Computer Science 1	4.0	6.0
192.105 PR 2023S Project in CS1: Team-Based Research in Algorithmics canceled	4.0	6.0
192.105 PR 2022W Project in CS1: Team-Based Research in Algorithmics	4.0	6.0
194.119 PR 2023S Project in Computer Science 1 - Machine Learning Algorithms and Applications	4.0	6.0
194.119 PR 2022W Project in Computer Science 1 - Machine Learning Algorithms and Applications	4.0	6.0
193.117 PR 2022W Project in Computer Science 1	4.0	6.0
PR Project in Computer Science 2	4.0	6.0
186.821 PR 2023S Project in Computer Science 2	4.0	6.0
186.821 PR 2022W Project in Computer Science 2	4.0	6.0
184.689 PR 2023S Project in Computer Science 2	4.0	6.0
184.689 PR 2022W Project in Computer Science 2	4.0	6.0
184.693 PR 2023S Project in Computer Science 2	4.0	6.0
184.693 PR 2022W Project in Computer Science 2	4.0	6.0
185.A29 PR 2023S Project in Computer Science 2	4.0	6.0
185.A29 PR 2022W Project in Computer Science 2	4.0	6.0
185.A37 PR 2023S Project in Computer Science 2	4.0	6.0
185.A37 PR 2022W Project in Computer Science 2	4.0	6.0
184.719 PR 2023S Project in Computer Science 2	4.0	6.0
184.719 PR 2022W Project in Computer Science 2	4.0	6.0
186.851 PR 2023S Project in Computer Science 2	4.0	6.0
192.076 PR 2023S Project in Computer Science 2	4.0	6.0
192.076 PR 2022W Project in Computer Science 2	4.0	6.0
194.075 PR 2023S Project in Computer Science 2	4.0	6.0
194.075 PR 2022W Project in Computer Science 2	4.0	6.0
194.054 PR 2023S Project in Computer Science 2	4.0	6.0
194.054 PR 2022W Project in Computer Science 2	4.0	6.0
194.080 PR 2023S Project in Computer Science 2	4.0	6.0
194.080 PR 2022W Project in Computer Science 2	4.0	6.0
191.121 PR 2023S Project in Computer Science 2	4.0	6.0
191.121 PR 2022W Project in Computer Science 2	4.0	6.0
194.059 PR 2023S Project in Computer Science 2	4.0	6.0
194.059 PR 2022W Project in Computer Science 2	4.0	6.0
194.062 PR 2023S Project in Computer Science 2	4.0	6.0
194.062 PR 2022W Project in Computer Science 2	4.0	6.0
193.118 PR 2023S Project in Computer Science 2	4.0	6.0
VU Real-Time Scheduling	2.0	3.0
182.086 VU 2023S Real-Time Scheduling	2.0	3.0
SE Seminar in Algorithms	2.0	3.0
184.754 SE 2022W Seminar on Algorithms	2.0	3.0
186.182 SE 2023S Seminar on Algorithms	2.0	3.0
186.182 SE 2022W Seminar on Algorithms	2.0	3.0
186.862 SE 2022W Seminar in Algorithms Graphs and Geometry	2.0	3.0
SE Seminar in Complexity Theory	2.0	3.0
184.687 SE 2023S Seminar in Complexity Theory	2.0	3.0
VU Structural Decompositions and Algorithms	2.0	3.0
186.856 VU 2023S Structural Decompositions and Algorithms	2.0	3.0
VU Algorithmic Meta-Theorems Algorithmische Meta-Theoreme	2.0	3.0
192.122 VU 2022W Algorithmic Meta-Theorems	2.0	3.0
VU Frontiers of Algorithms and Complexity	2.0	3.0
192.136 VU 2022W Frontiers of Algorithms and Complexity	2.0	3.0
VU Advanced Methods for Regression and Classification	3.0	4.5
105.707 VU 2022W Advanced Methods for Regression and Classification	3.0	4.5
VU Theory of Knowledge Representation	2.0	3.0
184.186 VU 2022W Theory of Knowledge Representation	2.0	3.0
SE Seminar in Artificial Intelligence	2.0	3.0
181.034 SE 2023S Seminar of Artificial Intelligence	2.0	3.0
184.068 SE 2023S Artificial Intelligence Seminar	2.0	3.0
184.068 SE 2022W Artificial Intelligence Seminar	2.0	3.0
192.119 SE 2023S Seminar in Artificial Intelligence Algorithmic and Computational Decision Theory	2.0	3.0
194.118 SE 2023S Seminar in Artificial Intelligence - Theoretical Aspects of Machine Learning	2.0	3.0
194.118 SE 2022W Seminar in Artificial Intelligence - Theoretical Aspects of Machine Learning	2.0	3.0
SE Seminar in Databases	2.0	3.0
181.201 SE 2023S Seminar Database Systems	2.0	3.0
181.201 SE 2022W Seminar Database Systems	2.0	3.0
SE Seminar in Knowledge Representation and Reasoning	2.0	3.0
184.712 SE 2023S Seminar in Knowledge Representation and Reasoning	2.0	3.0
184.712 SE 2022W Seminar in Knowledge Representation and Reasoning	2.0	3.0
VO Processing of Declarative Knowledge	2.0	3.0
184.205 VO 2022W Processing of Declarative Knowledge	2.0	3.0
VU Self-Organizing Systems	3.0	4.5
188.413 VU 2022W Self-Organizing Systems	3.0	4.5
VU Abstract Argumentation	3.0	4.5
184.682 VU 2022W Abstract Argumentation	3.0	4.5
VU Nonmonotonic Reasoning	2.0	3.0
VU Semantic Technologies	2.0	3.0
VO Deductive Databases	2.0	3.0
VO Knowledge Management	2.0	3.0
UE Knowledge Management	2.0	3.0
VU SAT Solving and Extensions	2.0	3.0
184.090 VU 2023S SAT Solving	2.0	3.0
VU Complexity Analysis	2.0	3.0
184.215 VU 2023S Complexity Analysis	2.0	3.0
VU Database Theory	2.0	3.0
181.140 VU 2022W Database Theory	2.0	3.0
VU Information Design	3.0	4.5
VU Advanced Logic Programming	2.0	3.0
VU Problem Solving and Search in Artificial Intelligence	2.0	3.0
181.190 VU 2023S Problem Solving and Search in Artificial Intelligence	2.0	3.0
VO Planning in Artificial Intelligence	2.0	3.0
VU Preferences in Artificial Intelligence	2.0	3.0
184.768 VU 2023S Preferences in Artificial Intelligence	2.0	3.0
VU Machine Learning	3.0	4.5
184.702 VU 2023S Machine Learning	3.0	4.5
184.702 VU 2022W Machine Learning	3.0	4.5
VU Similarity Modeling 1	2.0	3.0
188.501 VU 2022W Similarity Modeling 1 - Computational Seeing and Hearing	2.0	3.0
VU Similarity Modeling 2	2.0	3.0
188.498 VU 2022W Similarity Modeling 2 - Computational Seeing and Hearing	2.0	3.0
VU Media and Brain 1	2.0	3.0
188.502 VU 2023S Media and Brain 1: Artificial Consciousness	2.0	3.0
VU Media and Brain 2	2.0	3.0
188.499 VU 2023S Media and Brain 2 Artificial Consciousness	2.0	3.0
VU Probablistic Reasoning	2.0	3.0
VU Description Logics and Ontologies	2.0	3.0
PR Project in Computer Science 1	4.0	6.0
186.820 PR 2023S Project in Computer Science 1	4.0	6.0
186.820 PR 2022W Project in Computer Science 1	4.0	6.0
184.688 PR 2023S Project in Computer Science 1	4.0	6.0
184.688 PR 2022W Project in Computer Science 1	4.0	6.0
184.692 PR 2023S Project in Computer Science 1	4.0	6.0
184.692 PR 2022W Project in Computer Science 1	4.0	6.0
185.A28 PR 2023S Project in Computer Science 1	4.0	6.0
185.A28 PR 2022W Project in Computer Science 1	4.0	6.0
185.A36 PR 2023S Project in Computer Science 1	4.0	6.0
185.A36 PR 2022W Project in Computer Science 1	4.0	6.0
184.718 PR 2023S Project in Computer Science 1	4.0	6.0
184.718 PR 2022W Project in Computer Science 1	4.0	6.0
192.075 PR 2023S Project in Computer Science 1	4.0	6.0
192.075 PR 2022W Project in Computer Science 1	4.0	6.0
194.074 PR 2023S Project in Computer Science 1	4.0	6.0
194.074 PR 2022W Project in Computer Science 1	4.0	6.0
194.053 PR 2023S Project in Computer Science 1	4.0	6.0
194.053 PR 2022W Project in Computer Science 1	4.0	6.0
194.079 PR 2023S Project in Computer Science	4.0	6.0
194.079 PR 2022W Project in Computer Science	4.0	6.0
191.120 PR 2023S Project in Computer Science 1	4.0	6.0
191.120 PR 2022W Project in Computer Science 1	4.0	6.0
194.058 PR 2023S Project in Computer Science 1	4.0	6.0
194.058 PR 2022W Project in Computer Science 1	4.0	6.0
194.061 PR 2023S Project in Computer Science 1	4.0	6.0
194.061 PR 2022W Project in Computer Science 1	4.0	6.0
191.111 PR 2023S Project in Computer Science 1	4.0	6.0
191.111 PR 2022W Project in Computer Science 1	4.0	6.0
192.105 PR 2023S Project in CS1: Team-Based Research in Algorithmics canceled	4.0	6.0
192.105 PR 2022W Project in CS1: Team-Based Research in Algorithmics	4.0	6.0
194.119 PR 2023S Project in Computer Science 1 - Machine Learning Algorithms and Applications	4.0	6.0
194.119 PR 2022W Project in Computer Science 1 - Machine Learning Algorithms and Applications	4.0	6.0
193.117 PR 2022W Project in Computer Science 1	4.0	6.0
PR Project in Computer Science 2	4.0	6.0
186.821 PR 2023S Project in Computer Science 2	4.0	6.0
186.821 PR 2022W Project in Computer Science 2	4.0	6.0
184.689 PR 2023S Project in Computer Science 2	4.0	6.0
184.689 PR 2022W Project in Computer Science 2	4.0	6.0
184.693 PR 2023S Project in Computer Science 2	4.0	6.0
184.693 PR 2022W Project in Computer Science 2	4.0	6.0
185.A29 PR 2023S Project in Computer Science 2	4.0	6.0
185.A29 PR 2022W Project in Computer Science 2	4.0	6.0
185.A37 PR 2023S Project in Computer Science 2	4.0	6.0
185.A37 PR 2022W Project in Computer Science 2	4.0	6.0
184.719 PR 2023S Project in Computer Science 2	4.0	6.0
184.719 PR 2022W Project in Computer Science 2	4.0	6.0
186.851 PR 2023S Project in Computer Science 2	4.0	6.0
192.076 PR 2023S Project in Computer Science 2	4.0	6.0
192.076 PR 2022W Project in Computer Science 2	4.0	6.0
194.075 PR 2023S Project in Computer Science 2	4.0	6.0
194.075 PR 2022W Project in Computer Science 2	4.0	6.0
194.054 PR 2023S Project in Computer Science 2	4.0	6.0
194.054 PR 2022W Project in Computer Science 2	4.0	6.0
194.080 PR 2023S Project in Computer Science 2	4.0	6.0
194.080 PR 2022W Project in Computer Science 2	4.0	6.0
191.121 PR 2023S Project in Computer Science 2	4.0	6.0
191.121 PR 2022W Project in Computer Science 2	4.0	6.0
194.059 PR 2023S Project in Computer Science 2	4.0	6.0
194.059 PR 2022W Project in Computer Science 2	4.0	6.0
194.062 PR 2023S Project in Computer Science 2	4.0	6.0
194.062 PR 2022W Project in Computer Science 2	4.0	6.0
193.118 PR 2023S Project in Computer Science 2	4.0	6.0
VU Knowledge Graphs	2.0	3.0
192.116 VU 2023S Knowledge Graphs	2.0	3.0
VU Mobile Robotik	3.0	4.5
183.660 VU 2023S Mobile Robotics	3.0	4.5
VU Theoretical Foundations and Research Topics in Machine Learning	2.0	3.0
194.100 VU 2023S Theoretical Foundations and Research Topics in Machine Learning	2.0	3.0
194.100 VU 2022W Theoretical Foundations and Research Topics in Machine Learning	2.0	3.0
VU Practical Applications of Answer Set Programming	2.0	3.0
VU Algorithmic Social Choice	4.0	6.0
192.118 VU 2023S Algorithmic Social Choice	4.0	6.0
VU Advanced Mathematical Logic	2.0	3.0
VU Advanced Topics in Formal Language Theory	2.0	3.0
VU Automated Deduction	4.0	6.0
184.774 VU 2023S Automated Deduction	4.0	6.0
VO Complex Analysis	4.0	5.0
UE Complex Analysis	1.0	2.0
VU Computability Theory	2.0	3.0
VU Cryptocurrencies	4.0	6.0
192.065 VU 2022W Cryptocurrencies	4.0	6.0
VU Advanced Cryptography	4.0	6.0
192.115 VU 2023S Advanced Cryptography	4.0	6.0
VU Formal Language Theory	2.0	3.0
185.A42 VU 2022W Formal Language Theory	2.0	3.0
VO Functional Analysis 1	4.0	5.0
UE Functional Analysis 1	1.0	2.0
101.341 UE 2023S Functional Analysis 1 UE	1.0	2.0
VU Fuzzy Logic	2.0	3.0
VU Higher-order Logic	2.0	3.0
VO History of Logic	2.0	3.0
VO Lambda Calculus	2.0	3.0
108.030 VO 2022W Lambda Calculus	2.0	3.0
VU Membrane Computing	2.0	3.0
185.A70 VU 2022W Membrane Computing	2.0	3.0
VU Molecular Computing	2.0	3.0
185.326 VU 2023S Molecular Computing	2.0	3.0
VU Non-classical Logics	2.0	3.0
192.085 VU 2023S Non-classical Logics	2.0	3.0
PR Project in Computer Science 1	4.0	6.0
186.820 PR 2023S Project in Computer Science 1	4.0	6.0
186.820 PR 2022W Project in Computer Science 1	4.0	6.0
184.688 PR 2023S Project in Computer Science 1	4.0	6.0
184.688 PR 2022W Project in Computer Science 1	4.0	6.0
184.692 PR 2023S Project in Computer Science 1	4.0	6.0
184.692 PR 2022W Project in Computer Science 1	4.0	6.0
185.A28 PR 2023S Project in Computer Science 1	4.0	6.0
185.A28 PR 2022W Project in Computer Science 1	4.0	6.0
185.A36 PR 2023S Project in Computer Science 1	4.0	6.0
185.A36 PR 2022W Project in Computer Science 1	4.0	6.0
184.718 PR 2023S Project in Computer Science 1	4.0	6.0
184.718 PR 2022W Project in Computer Science 1	4.0	6.0
192.075 PR 2023S Project in Computer Science 1	4.0	6.0
192.075 PR 2022W Project in Computer Science 1	4.0	6.0
194.074 PR 2023S Project in Computer Science 1	4.0	6.0
194.074 PR 2022W Project in Computer Science 1	4.0	6.0
194.053 PR 2023S Project in Computer Science 1	4.0	6.0
194.053 PR 2022W Project in Computer Science 1	4.0	6.0
194.079 PR 2023S Project in Computer Science	4.0	6.0
194.079 PR 2022W Project in Computer Science	4.0	6.0
191.120 PR 2023S Project in Computer Science 1	4.0	6.0
191.120 PR 2022W Project in Computer Science 1	4.0	6.0
194.058 PR 2023S Project in Computer Science 1	4.0	6.0
194.058 PR 2022W Project in Computer Science 1	4.0	6.0
194.061 PR 2023S Project in Computer Science 1	4.0	6.0
194.061 PR 2022W Project in Computer Science 1	4.0	6.0
191.111 PR 2023S Project in Computer Science 1	4.0	6.0
191.111 PR 2022W Project in Computer Science 1	4.0	6.0
192.105 PR 2023S Project in CS1: Team-Based Research in Algorithmics canceled	4.0	6.0
192.105 PR 2022W Project in CS1: Team-Based Research in Algorithmics	4.0	6.0
194.119 PR 2023S Project in Computer Science 1 - Machine Learning Algorithms and Applications	4.0	6.0
194.119 PR 2022W Project in Computer Science 1 - Machine Learning Algorithms and Applications	4.0	6.0
193.117 PR 2022W Project in Computer Science 1	4.0	6.0
PR Project in Computer Science 2	4.0	6.0
186.821 PR 2023S Project in Computer Science 2	4.0	6.0
186.821 PR 2022W Project in Computer Science 2	4.0	6.0
184.689 PR 2023S Project in Computer Science 2	4.0	6.0
184.689 PR 2022W Project in Computer Science 2	4.0	6.0
184.693 PR 2023S Project in Computer Science 2	4.0	6.0
184.693 PR 2022W Project in Computer Science 2	4.0	6.0
185.A29 PR 2023S Project in Computer Science 2	4.0	6.0
185.A29 PR 2022W Project in Computer Science 2	4.0	6.0
185.A37 PR 2023S Project in Computer Science 2	4.0	6.0
185.A37 PR 2022W Project in Computer Science 2	4.0	6.0
184.719 PR 2023S Project in Computer Science 2	4.0	6.0
184.719 PR 2022W Project in Computer Science 2	4.0	6.0
186.851 PR 2023S Project in Computer Science 2	4.0	6.0
192.076 PR 2023S Project in Computer Science 2	4.0	6.0
192.076 PR 2022W Project in Computer Science 2	4.0	6.0
194.075 PR 2023S Project in Computer Science 2	4.0	6.0
194.075 PR 2022W Project in Computer Science 2	4.0	6.0
194.054 PR 2023S Project in Computer Science 2	4.0	6.0
194.054 PR 2022W Project in Computer Science 2	4.0	6.0
194.080 PR 2023S Project in Computer Science 2	4.0	6.0
194.080 PR 2022W Project in Computer Science 2	4.0	6.0
191.121 PR 2023S Project in Computer Science 2	4.0	6.0
191.121 PR 2022W Project in Computer Science 2	4.0	6.0
194.059 PR 2023S Project in Computer Science 2	4.0	6.0
194.059 PR 2022W Project in Computer Science 2	4.0	6.0
194.062 PR 2023S Project in Computer Science 2	4.0	6.0
194.062 PR 2022W Project in Computer Science 2	4.0	6.0
193.118 PR 2023S Project in Computer Science 2	4.0	6.0
VU Proof Systems in Modal Logic	2.0	3.0
184.711 VU 2023S Proof Systems in Modal Logic	2.0	3.0
VO Proof Theory 1	2.0	3.0
118.131 VO 2022W Proof Theory 1	2.0	3.0
VO Proof Theory 2	2.0	3.0
118.211 VO 2023S Proof Theory 2	2.0	3.0
VU Quantum Computing	2.0	3.0
192.070 VU 2022W Quantum Computing	2.0	3.0
VO Refutation Systems	2.0	3.0
192.094 VO 2022W Refutation Systems	2.0	3.0
SE Seminar in Logic	2.0	3.0
181.206 SE 2023S Logic seminar	2.0	3.0
184.264 SE 2023S Seminar in Logic	2.0	3.0
184.264 SE 2022W Seminar in Logic	2.0	3.0
185.316 SE 2023S Seminar in Logic	2.0	3.0
192.132 SE 2022W Seminar in Logic	2.0	3.0
SE Seminar in Theoretical Computer Science	2.0	3.0
184.067 SE 2023S Seminar in Theoretical Computer Science	2.0	3.0
184.067 SE 2022W Seminar in Theoretical Computer Science	2.0	3.0
184.753 SE 2022W Seminar in Theoretical Computer Science	2.0	3.0
192.064 SE 2022W Seminar in Theoretical Computer Science	2.0	3.0
VU Smart Contracts	4.0	6.0
192.078 VU 2023S Smart Contracts	4.0	6.0
VU Temporal Logic	2.0	3.0
VU Term Rewriting	2.0	3.0
185.224 VU 2023S Term Rewriting Systems	2.0	3.0
VU Unification Theory	2.0	3.0
VU Deontic Logic for Normative Reasoning	2.0	3.0
192.130 VU 2023S Deontic Logic for Normative Reasoning	2.0	3.0
UE Formal Methods in Computer Science	2.0	3.0
185.A93 UE 2022W Formal Methods in Computer Science	2.0	3.0
SE Advanced Model Engineering	2.0	3.0
188.953 SE 2023S Advanced Model Engineering	2.0	3.0
VU Advanced Model Engineering	2.0	3.0
188.952 VU 2023S Advanced Model Engineering	2.0	3.0
VU Advanced Multiprocessor Programming	3.0	4.5
184.726 VU 2023S Advanced Multiprocessor Programming	3.0	4.5
VU Advanced Object-oriented Programming	2.0	3.0
185.211 VU 2023S Advanced Object-Oriented Programming	2.0	3.0
VU Analyse und Verifikation	2.0	3.0
185.276 VU 2023S Analysis and Verification	2.0	3.0
VU Automated Reasoning and Program Verification	3.0	4.5
VU Computer-Aided Verification	2.0	3.0
181.145 VU 2023S Computer Aided Verification	2.0	3.0
181.145 VU 2022W Computer Aided Verification	2.0	3.0
UE Computer-Aided Verification	2.0	3.0
181.144 UE 2023S Computer-Aided Verification	2.0	3.0
181.144 UE 2022W Computer-Aided Verification	2.0	3.0
VO Codegeneratoren	2.0	3.0
185.416 VO 2022W Code Generators	2.0	3.0
VU Deductive Verification of Software	4.0	6.0
VU Dynamic Compilation	2.0	3.0
185.A50 VU 2023S Dynamic Compilation	2.0	3.0
VU Effiziente Programme	2.0	3.0
185.190 VU 2022W Efficient Programs	2.0	3.0
VU Formal Methods for Security and Privacy	4.0	6.0
192.059 VU 2023S Formal Methods for Security and Privacy	4.0	6.0
VU Fortgeschrittene funktionale Programmierung	2.0	3.0
185.A05 VU 2023S Advanced Functional Programming	2.0	3.0
VU High Performance Computing	3.0	4.5
184.725 VU 2022W High Performance Computing	3.0	4.5
VU Model Engineering	4.0	6.0
188.923 VU 2022W Model Engineering	4.0	6.0
VU Optimierende Übersetzer	2.0	3.0
185.A04 VU 2022W Optimizing Compilers	2.0	3.0
VU Program Analysis	2.0	3.0
184.703 VU 2022W Program Analysis	2.0	3.0
VU Programmiersprachen	2.0	3.0
185.208 VU 2023S Programming Languages	2.0	3.0
PR Project in Computer Science 1	4.0	6.0
186.820 PR 2023S Project in Computer Science 1	4.0	6.0
186.820 PR 2022W Project in Computer Science 1	4.0	6.0
184.688 PR 2023S Project in Computer Science 1	4.0	6.0
184.688 PR 2022W Project in Computer Science 1	4.0	6.0
184.692 PR 2023S Project in Computer Science 1	4.0	6.0
184.692 PR 2022W Project in Computer Science 1	4.0	6.0
185.A28 PR 2023S Project in Computer Science 1	4.0	6.0
185.A28 PR 2022W Project in Computer Science 1	4.0	6.0
185.A36 PR 2023S Project in Computer Science 1	4.0	6.0
185.A36 PR 2022W Project in Computer Science 1	4.0	6.0
184.718 PR 2023S Project in Computer Science 1	4.0	6.0
184.718 PR 2022W Project in Computer Science 1	4.0	6.0
192.075 PR 2023S Project in Computer Science 1	4.0	6.0
192.075 PR 2022W Project in Computer Science 1	4.0	6.0
194.074 PR 2023S Project in Computer Science 1	4.0	6.0
194.074 PR 2022W Project in Computer Science 1	4.0	6.0
194.053 PR 2023S Project in Computer Science 1	4.0	6.0
194.053 PR 2022W Project in Computer Science 1	4.0	6.0
194.079 PR 2023S Project in Computer Science	4.0	6.0
194.079 PR 2022W Project in Computer Science	4.0	6.0
191.120 PR 2023S Project in Computer Science 1	4.0	6.0
191.120 PR 2022W Project in Computer Science 1	4.0	6.0
194.058 PR 2023S Project in Computer Science 1	4.0	6.0
194.058 PR 2022W Project in Computer Science 1	4.0	6.0
194.061 PR 2023S Project in Computer Science 1	4.0	6.0
194.061 PR 2022W Project in Computer Science 1	4.0	6.0
191.111 PR 2023S Project in Computer Science 1	4.0	6.0
191.111 PR 2022W Project in Computer Science 1	4.0	6.0
192.105 PR 2023S Project in CS1: Team-Based Research in Algorithmics canceled	4.0	6.0
192.105 PR 2022W Project in CS1: Team-Based Research in Algorithmics	4.0	6.0
194.119 PR 2023S Project in Computer Science 1 - Machine Learning Algorithms and Applications	4.0	6.0
194.119 PR 2022W Project in Computer Science 1 - Machine Learning Algorithms and Applications	4.0	6.0
193.117 PR 2022W Project in Computer Science 1	4.0	6.0
PR Project in Computer Science 2	4.0	6.0
186.821 PR 2023S Project in Computer Science 2	4.0	6.0
186.821 PR 2022W Project in Computer Science 2	4.0	6.0
184.689 PR 2023S Project in Computer Science 2	4.0	6.0
184.689 PR 2022W Project in Computer Science 2	4.0	6.0
184.693 PR 2023S Project in Computer Science 2	4.0	6.0
184.693 PR 2022W Project in Computer Science 2	4.0	6.0
185.A29 PR 2023S Project in Computer Science 2	4.0	6.0
185.A29 PR 2022W Project in Computer Science 2	4.0	6.0
185.A37 PR 2023S Project in Computer Science 2	4.0	6.0
185.A37 PR 2022W Project in Computer Science 2	4.0	6.0
184.719 PR 2023S Project in Computer Science 2	4.0	6.0
184.719 PR 2022W Project in Computer Science 2	4.0	6.0
186.851 PR 2023S Project in Computer Science 2	4.0	6.0
192.076 PR 2023S Project in Computer Science 2	4.0	6.0
192.076 PR 2022W Project in Computer Science 2	4.0	6.0
194.075 PR 2023S Project in Computer Science 2	4.0	6.0
194.075 PR 2022W Project in Computer Science 2	4.0	6.0
194.054 PR 2023S Project in Computer Science 2	4.0	6.0
194.054 PR 2022W Project in Computer Science 2	4.0	6.0
194.080 PR 2023S Project in Computer Science 2	4.0	6.0
194.080 PR 2022W Project in Computer Science 2	4.0	6.0
191.121 PR 2023S Project in Computer Science 2	4.0	6.0
191.121 PR 2022W Project in Computer Science 2	4.0	6.0
194.059 PR 2023S Project in Computer Science 2	4.0	6.0
194.059 PR 2022W Project in Computer Science 2	4.0	6.0
194.062 PR 2023S Project in Computer Science 2	4.0	6.0
194.062 PR 2022W Project in Computer Science 2	4.0	6.0
193.118 PR 2023S Project in Computer Science 2	4.0	6.0
VU Requirements Engineering and Specification	2.0	3.0
188.409 VU 2022W Requirements Engineering and Specification	2.0	3.0
VU Runtime Verification	4.0	6.0
SE Seminar aus Programmiersprachen	2.0	3.0
185.307 SE 2023S Programming languages seminar	2.0	3.0
SE Seminar in Formal Methods	2.0	3.0
181.221 SE 2023S Seminar Formal Methods	2.0	3.0
181.221 SE 2022W Seminar Formal Methods	2.0	3.0
VU Semantik von Programmiersprachen	3.0	4.5
184.749 VU 2023S Semantics of Programming Languages	3.0	4.5
VU Software Model Checking	4.0	6.0
VU Software Testing	2.0	3.0
188.280 VU 2023S Software Testing	2.0	3.0
183.290 VU 2022W Software Testing	2.0	3.0
VU Stackbasierte Sprachen	2.0	3.0
185.310 VU 2022W Stack-based languages	2.0	3.0
VO Typsysteme	2.0	3.0
185.206 VO 2022W Type Systems	2.0	3.0
VU Übersetzer für Parallele Systeme	2.0	3.0
185.A64 VU 2022W Compilers for Parallel Systems	2.0	3.0
SE Coaching als Führungsinstrument 2	2.0	3.0
188.472 SE 2023S Leadership Competency Coaching 2	2.0	3.0
SE Critical Algorithm Studies	2.0	3.0
SE Didaktik in der Informatik	2.0	3.0
184.228 SE 2023S Didactics in computer science education	2.0	3.0
184.228 SE 2022W Didactics in computer science education	2.0	3.0
194.042 SE 2023S Informatics didactics	2.0	3.0
194.042 SE 2022W Informatics didactics	2.0	3.0
VO EDV-Vertragsrecht	1.0	1.5
280.239 VO 2022W Law of IT-Contracts	1.0	1.5
VO Einführung in die Wissenschaftstheorie I	2.0	3.0
VO Einführung in Technik und Gesellschaft	2.0	3.0
SE Folgenabschätzung von Informationstechnologien	2.0	3.0
VU Forschungsmethoden	2.0	3.0
185.A34 VU 2022W Research Methods	2.0	3.0
194.057 VU 2023S Research Methods	2.0	3.0
VO Frauen in Naturwissenschaft und Technik	2.0	3.0
VU Kommunikation und Moderation	2.0	3.0
SE Kommunikationstechnik	1.0	1.5
184.004 SE 2023S Communication techniques	1.0	1.5
184.004 SE 2022W Communication techniques	1.0	1.5
VU Kooperatives Arbeiten	2.0	3.0
VU Präsentation und Moderation	2.0	3.0
185.A62 VU 2022W Presentation and Moderation	2.0	3.0
SE Privatissimum aus Fachdidaktik Informatik	4.0	4.0
192.100 SE 2023S Privatissimum on Didactics of Informatics	4.0	4.0
VU Softskills für TechnikerInnen	2.0	3.0
181.208 VU 2023S Softskills for technicians	2.0	3.0
181.208 VU 2022W Softskills for technicians	2.0	3.0
VU Techniksoziologie und Technikpsychologie	2.0	3.0
187.329 VU 2023S Sociology of Technology canceled	2.0	3.0
VO Theorie und Praxis der Gruppenarbeit	2.0	3.0
SE Wissenschaftliche Methodik	2.0	3.0
SE Seminar für Diplomand_innen	1.0	1.5
180.773 SE 2023S Seminar for Master Students in Logic and Computation	1.0	1.5
180.773 SE 2022W Seminar for Master Students in Logic and Computation	1.0	1.5

Legend

: Courses belong to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
: Courses belong to the introductory interview ("Studieneingangsgespräch")
: Courses require the completion of the introductory and orientation phase
: Courses require the completion of the introductory interview STEG