The following projects are now online
Foundations of Logical Consequence Workshop I: Proof-Theoretic vs Model-Theoretic Semantics 12 - 13 January 2009, St Andrews
This site requires that Javascript is enabled in your browser, and that the Quicktime plugin is installed.