1: Sep/Oct 2022

2: Nov/Dec 2022 2: [MoL-FGW]

Philosophy 4: [MoL-FGW]
Advanced topics in
1: [MSc-PH] Data-driven History
4: Feb/Mar 2023 Philosophy of
Philosophy of of Ideas
5: Apr/May 2023 Science Mandatory Courses of Tracks: Language
(Betti) (Betti)
1: [MoL-FGW] (De Haro) L&P: Logic & Philosophy
not in 2022/23 2: [MoL-FGW]
Introduction to L&L: Logic & Language
Philosophy of
the Philosophy L&C: Logic & Computation Computational
all of Language
Techno Science
L&M: Logic & Mathematics
(Russo) 2: [MoL-FGW] Cognition Linguistics / AI
1+2: Logic, (Brouwer) 2: [MoL-FGW] 2: [MScB&CS]
Language and Ontology: Historical Foundations of 1:[MoL-FNWI]
Philosophy of
Computation Perspectives Neural and Basic Probability:
Cognition

Master of Logic
(Dekker) (Skirke) Cognitive Modelling Theory
(Brouwer)
[3EC] (Zuidema) (Fontaine)
[3EC]

Philosophical
L&P 1: [MoL-FGW]
2022/23 1: [MSc B&CS] 2:[MoL-FNWI]
4: [MoL-FGW] 1: [MoL-FGW] version: 15 June 2022; design: Christian Schaffner Advanced Neural Basic Probability:
Logic Philosophy of 2: [MoL-FNWI] Logic and
Rationality,
Suggestions and comments are welcome!
Cognition and and Cognitive Programming
all Mathematics Philosophical Logic Philosophy Modelling (Fontaine)
Reasoning
1: [MoL-FNWI] (Incurvati) (Hornischer) (Betti) (Zuidema) [3EC]
(Krzyzanowska)
Mathematical
Proof Methods
2: [MScAI]
for Logic 2: [MoL-FGW] 2: [MSc B&CS]
(Fariee Rad) 4: [MoL-FGW] L&P L&L 4: [MoL-FNWI] 6 (in June): [MScAI] Natural Language
4: [MoL-FNWI] 1: [MoL-FGW] Causal Inference: Cognition and Interpretability and Processing 1
Semantics and Semantics and
Topics in Formal Meaning, Reference Philosophical Theory Language Explainability in AI (Shutova)
Philosophy Cognition
Epistemology and Modality and Modern Practice Development (Zuidema)
(Aloni, Dekker) (Szymanik)
(Ozgun) (Dekker) (Schulz, McHugh) (Schaeffer)

4: [MScB&CS] 5: [MScAI]
1: [MoL-FNWI]
How Music Works: Natural Language
4: [MoL-FNWI] 2: [MoL-FNWI] L&L Computational
Processing 2
2: [MoL-FNWI] Dialogue Modelling Music Cognition
Topology, Logic and Dynamic Epistemic 5: [MoL-FGW] (Sima’an)
Logic and Structures for (Fernandez) (Honing)
Learning Logic Conversation
(Baltag) (Baltag) Semantics
(Roelofsen) (Aloni) 5: [MoL-FNWI]
Advanced Topics in
2: [MScAI]
Computational
Deep Learning 1 Semantics
(Zhen) (Shutova)
1: [RM-Ling] 4: [RM-Ling]
L&M, L&C Syntax-Semantics Syntax-Semantics Game Theory 1: [MoL-FNWI]
L&M 2: [MoL-FNWI] 5: [MoL-FNWI]
1+2: [BScWisk] Theoretical Interface 2 Computational
Topics in
Interface 1 & Game Theory Social Choice 1: [MScAI] 4+5: [MastMath]
Introduction to (Aboh) (Aboh)
Modal Logic Linguistics Social Choice (Endriss) (Endriss) Machine Learning 1 Machine Learning
Modal Logic
(Venema) (Bekkers) Theory
(Bezhanishvili)
(van Erven) [8EC]

4+5: [MoL-FNWI] L&M L&C 4: [MScAI]

5: [MoL-FNWI] 5: [MoL-FNWI] 1: [MoL-FNWI] 2: [Mol-FNWI]
Seminar 5: [MoL-FNWI] Knowledge
5: [MoL-FNWI] Logic, Games and Algorithmic Game Computational
Mathematical Logic Automated Computational Representation and
Model Theory Automata Theory Learning Theory, Logic
(ten Cate) Planning Complexity Reasoning
4: [MoL-FNWI] 1+2: [MastMath] (Venema) (Schäfer) and KR (ten Cate)
[3EC] (Behnke) (Afshari) (de Haan) (de Haan)
Mathematical Category Theory
Structures in Logic (van den Berg)
(Bezhanishvili) [8EC] L&M 4+5: [MastMath] 5: [MoL-FNWI] L&C 5: [MScCS-VU]
2: [MScCS-VU] 4: [MScCS-VU]
4: [MoL-FNWI] Topos Theory Functional 1: [MScCS-VU]
Logical Verification Term Rewriting 2: [MoL-FNWI] Distributed
Proof Theory (Brandts) Programming Protocol Validation
(Blanchette) Systems Information Theory Algorithms
(Afshari) [8EC] (Gattinger) (Ponse) (Resch) (Fokkink)
L&M (Endrullis)
1: [MoL-FNWI]
Rudiments of
4+5: [MMath-UvA] 4+5: [MMath-UvA] Quantum
Mathematical Axiomatic Set Theory 5: [MoL-FNWI] [MoL-FNWI] 4: [MoL-FNWI]
Quantum Quantum
(Löwe, Passmann) Logical Foundations
Logic Type Theory Recursion Theory Information Theory Computing
(van den Berg) (TBA) of Quantum
(Ozols) (de Wolf) Theoretical
Mechanics (Smets) [8EC] [8EC]
Computer Science