Proceedings

The proceedings of the workshop are now available; to obtain a printed copy, contact Gerard Venema (venema@calvin.edu).

The complete proceedings can be downloaded as a sequence of pdf documents by clicking on the links below.