Applied Semantics:Inteational Summer School, APPSEM 2000,