From: Mart Lubbers <mart@martlubbers.net>
Date: Fri, 21 Aug 2015 19:30:17 +0000 (+0200)
Subject: prelim planning
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=285c75fb6e3459edb2894992dbceaf30c0338c17;p=master.git

prelim planning
---

diff --git a/planning.txt b/planning.txt
new file mode 100644
index 0000000..6ce598a
--- /dev/null
+++ b/planning.txt
@@ -0,0 +1,13 @@
+Semester 1
+NWI-I00032	6	Advanced Programming
+NWI-I00110	6	Testing Techniques
+NWI-I00155	6	Design of Embedded Systems
+
+Semester 2
+NWI-IMC046	6	Model Checking
+NWI-IMC045	6	Research Seminar Software Science
+NWI-IMC004	6	Compiler Construction
+
+Semester 3
+
+Semester 4
diff --git a/vakken.txt b/vakken.txt
index 81768bb..a27ee57 100644
--- a/vakken.txt
+++ b/vakken.txt
@@ -1 +1,42 @@
 Vakkenlijst
+
+Track basis (18 ec)
+NWI-I00032	1	6	Advanced Programming
+NWI-I00110	1	6	Testing Techniques
+NWI-IMC046	2	6	Model Checking
+
+Track electives (24 ec)
+Software Technology
+NWI-IMC004	2	6	Compiler Construction
+NWI-I00155	1	6	Design of Embedded Systems
+NWI-IMC052	1	6	Software Development in Start-ups
+NWI-IMC051	1	5	Software Security
+
+Computer-Aided Analysis:
+NWI-IMC035	2	6	Software Analysis
+NWI-IMC009	?	6	Automated Reasoning [NOT OFFERED IN 2015-2016]
+NWI-I00139	2	6	Proof Assistants
+
+Theory of Computation
+NWI-IMC010	?	6	Type Theory and Coq
+NWI-IMC011	2	6	Semantics and Domain Theory
+NWI-IMC036	1?	6	Coalgebra
+NWI-WM072B	2	Complexity Theory OR NEXT LINE
+NWI-WM120B	?	8	Computability theory
+
+Track specific research seminar
+NWI-IMC045	2	6	Research Seminar Software Science
+
+Research internship (15 ec)
+NWI-IMC047	3	15	Research Internship
+
+Track-external choice (12 ec)
+
+Computer science and society (3 ec)
+WI-IMI003	3	Philosophy and Ethics for Computing and Information Science
+
+Free electives (12 ec)
+
+Master thesis project (30 ec)
+NWI-IMC029	4	30	Master's thesis in Computing Science
+