Skip to content
|
Access key help
Search
Advanced search
A–Z
Contact us
Department of Computer Science and Technology
Computer Laboratory
Teaching
Courses 2019–20
Topics in Concurrency
Course materials
Advanced Graphics and Image Processing
Advanced Topics in Computer Architecture
Advanced Topics in Mobile Systems and Mobile Data Machine Learning
Algebraic Path Problems
Automated Reasoning
Category Theory
Cybercrime
Data Science: principles and practice
Digital Signal Processing
Hardware Security
Interactive Formal Verification
Introduction to Natural Language Syntax and Parsing
Introduction to networking and systems measurements
Large-scale data processing and optimisation
Machine Learning for Language Processing
Multicore Semantics and Programming
Network Architectures
Overview of Natural Language Processing
Probabilistic Machine Learning
Research Skills Programme
Technology, law and society
Advanced Operating Systems
Advanced Topics in Computer Systems
Advanced topics in machine learning and natural language processing
Affective Computing
Computer Security: Principles and Foundations
Computer Vision
High performance networking
Machine learning for programming
Mobile Robot Systems
Topics in Concurrency
Topics in Logic and Complexity
Course pages 2019–20
Topics in Concurrency
Syllabus
Course materials
Assessment
Lecture notes
The
notes
for the entire course (updated 12/3/2020)
Slides
Lecture 1
Lecture 2
Lecture 3
Lecture 4
Lecture 5
Lecture 6
Lecture 7
Lecture 8
Lecture 9
Lectures 10 to 16
(updated 12/3/2020)
Last year’s course materials
are still available.
© 2019 Department of Computer Science and Technology, University of Cambridge
Information provided by
Prof Glynn Winskel