This page is a collection of miscellaneous materials connected with the 2003 Marktoberdorf
Summer School, where I was a lecturer. These are the current contents:
You can also see the slides for my originally intended Lecture 3: Model Checking, which I dropped because it
seemed to duplicate material from Orna Grumberg.
A preliminary set of lecture notes is here in various formats.
During the discussion of the Church-Turing thesis I recommended the following
paper by Sieg. I felt I only really understood Turing's analysis of computation
after reading this paper.

@INPROCEEDINGS{sieg-mpme,
author = "Wilfred Sieg",
title = "Mechanical Procedures and Mathematical Experience",
editor = "Alexander George",
booktitle = "Mathematics and Mind: Papers from the Conference
on the Philosophy of Mathematics held at Amherst
College, 5--7 April 1991",
publisher = "Oxford University Press",
year = 1994,
pages = "71--117"}

There is a page of my digital pictures from the
summer school available.