Home


Pictures


Participants


Programme


About The Location


Acknowledgement

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.