## Seminar series on probabilistic semantics |
## Carroll Morgan |

Lunchtimes, **1pm to 2pm in the week 16-20 August 2004**.

Seminar room 201B, CSE (mostly).

PDF files of the slides can be found as below:

- Summary and context.
- Probabilistic sequential program logic.
- Probabilistic loops.
- Examples.
- The underlying relational model.
- Almost-certain termination.
- Quantitative mu-calculus and two-player games.

There are seven sets of slides, but only five slots..!

Portions of the Summary will be bundled into Lecture1; and we will decide as we go what selection of topics to take from the remainder.