At the Fall
School in Logic and Complexity 2008 I gave a lecture on
"Proof Notations". Following the tradition of the fall
school, the lecture was given using the black board. Nevertheless, it
is nice to collect slides of all talks, so this is the closest
analogue I can offer.
(Thanks to Markus Latte for taking the photos.)