VU/UvA track Foundations of Computing and Concurrency (FCC) - 120 ECTS - MSc Computer Science 2013/2014   -   version August 28, 2013

All courses are 6 EC and the Master Project is 36 EC.

The study guide of the VU contains descriptions of all courses and links to those given at UvA. Find here a separate overview of all UvA-courses.

period Restricted choice courses 18 EC
At least one of the following Software Engineering courses:6 EC
1 Service Oriented Design (VU)
1 Software Asset Management (VU)
2 Software Architecture (VU)
4 Software Configuration Management (VU)
4 Software Testing (VU)
At least one of the following programming-related courses:6 EC
1 Internet Programming (VU)
2 Programming Concurrent Systems (UvA)
2 Parallel Programming Practical (VU)
At least one of the following mathematics courses:6 EC
1 Coding and Cryptography (VU)
5 Experimental Design and Data Analysis (VU)

Structure of the FCC-track:

Master core 48 EC
3 History of Digital Cultures (UvA)
6 Seminar & Literature (VU)
Master Project (UvA/VU)
FCC core 36 EC
  Year 1  
1 Concurrency & Multithreading (VU) OR Concurrency Theory (UvA)
2 Distributed Algorithms (VU)
4 Advanced Logic (VU)
4 Logical Verification (VU) Not in 2013/14
5 Protocol Validation (VU)
  Year 2  
1 Recursion Theory (UvA)
2 Lambda Calculus (UvA) OR Term Rewriting Systems (VU) Each year resp. Not in 2013/2014 (only in even years)
Free choice (recommended) 18 EC
All core course of the other tracks
4+5 Science in Perspective (UvA)
    “ Concurrency and Computing”
1 Evolutionary Computing (VU)
2 Programming Concurrent Systems (UvA)
4 Cooperative Games (UvA)
5 Computational Complexity (UvA)
5 Systems Security (VU)
5 Concurrent System Design by Abstraction (UvA)
5 Kolmogorov Complexity (UvA)
Quantum Computing (UvA) Not in 2013/14 (old link)
    “Logic”
1+2 Introduction to Modal Logic (UvA)
2 Capita Selecta: Modal Logic, Algebra, Coalgebra (UvA)
2 Proof Theory (UvA)
4+5 Model Theory (UvA)
5 Automated Reasoning in AI (VU)
    “Mathematics”
1 Coding and Cryptography (VU)
1+2 Performance Analysis of Communication Networks (VU)
4 Combinatorics with Computer Science Applications (UvA) Alternates with Quantum Computing
4 Information Theory (UvA)
?? Probability & Statistics (VU)
Introduction to Modern Cryptography (UvA) (old website) Not in 2013/14

FYI: VU's Study guide and UvA's Course Catalogue.

Recommended courses for the tracks Internet and Web Technology (IWT), Computer Systems and Security (CSS), High-Performance Computing (HPC), and Software Engineering (SE):
- Concurrency & Multithreading: IWT, CSS, HPC, SE
- Concurrency Theory: IWT, CSS, HPC, SE
- Distributed Algorithms: CSS, HPC, SE
- Protocol Validation: IWT