Pre-Proceedings, with greetings and contributions by Tonie Botha, Roelf van den Heever, Linda Marshall, Jan Roos, Sergei Obiedkov, Bob Jolliffe, Tinus Strauss, John A. van der Poll, Gertjan Zwartjes, Loek Cleophas, Jan ...

The value of architecture in a corporate information technology environment lies in guidance on technology choice and system design. Underlying this is the ability of the architecture team to research the relevant architectural ...

I muse about some “stringological” questions: Is it possible to encode and compress any given string in such a way that all redundancy is removed? And, if this not possible: How closely could we approximate the ideal aim? ...

Table of contents : A Burden of Wonder, by Tinus Strauss. A Computing Medley on Program Verification, by John Andre van der Poll. A Means to an End, by Gertjan Zwartjes. An Assertion-Guided Derivation, by Bruce Watson. The ...