The TLA+ Video Course

A Word of Warning These videos are not light entertainment. They require careful viewing and actual thinking. You may often stop a video to digest what you've just seen, and perhaps to skip back and view it again. To accompany the videos, coffee will be better than popcorn.

The lectures can be watched on the Web. However, people with slow network connections might prefer to download lower resolution versions of the videos and watch them off-line. Instructions on how to do that are given below.

The script of each video is also provided. It contains everything shown and said on the video, except for shots of the author. The hearing impaired and viewers not fluent in English will find it helpful to read the script as they watch the video. The script can also be read instead of watching the video by those who want to review the lecture and those who hate videos. However, the html file that displays the video may be needed to download material.

The Lectures

Downloading Instructions

tla-video-files.zip

tla-lectures

tlastyles.css

tlavideo.js

dist