The authors have provided some extra materials which are included below;
for abstracts and (LINK password needed) full papers, see the
online
version of the proceedings (Springer).
Dexter Kozen: Some Results in Dynamic Model Theory (invited talk)
J. von Wright: From Kleene Algebra to Refinement Algebra
Juan Eduardo Duran:
Transformational Derivation of Greedy Network
Algorithms from Descriptive Specifications (not presented)
Yanhong A. Liu, Fuxiang Yu: Solving Regular Path Queries