EPL: Lectures

Lecture Recordings

All lecture recordings should be accessed via Learn; you will need to log in using your EASE account. (Learn provides you with access to any lecture recordings available for this course. You will need to select the "lecture recording" link once, before you can access any direct links to a lecture recording.)

Lecture Slides

Lecture slides will be posted here as the course proceeds. The suggested readings cover related material in "Practical Foundations for Programming Languages (second edition)" (PFPL2), "Concepts in Programming Languages" (CPL), and other sources, however, we will cover some topics in a different order or differently than in these textbooks.

  • Course Introduction and Admin (pdf). Related reading: CPL 1
  • Lecture 1: Abstract Syntax (pdf). Related reading: PFPL2 1.1; CPL 4.1, 5.4.1

Guest Lectures

There will be two guest lectures. Also, students are strongly encouraged to attend the 2026 Milner Lecture on November 26th which will be by Peter O'Hearn.

  • Rob van Glabbeek (date TBC)
Concurrency theory

This lecture presents some of the basics of concurrency theory: how to model 
and reason about concurrent processes or distributed systems. I present a 
simple process algebra for describing concurrent processes, and present its 
semantics in terms of labelled transition system, using  a small step structural 
operational semantics. I also show how to present safety and liveness properties 
of systems through temporal logic, and give the semantics of the logic LTL. If 
time permits I will compare fairness and justness assumptions and show on some 
examples why, or under which circumstances, we need to make them.
  • Elizabeth Polgreen, (date TBC)

 

License
All rights reserved The University of Edinburgh