The organisers thank the Graduiertenkolleg Logik in der Informatik for supporting this conference.
They furthermore thank the Royal Society of New Zealand for supporting Josef Berger as a Marsden Postdoctoral Research Fellow at the University of Canterbury while this workshop was organised.