(1)
PREFACE. Proceedings of the ICASH 2017, No. 1.