Logic, Abstract State Machines and Databases J.UCS Special Issue

On the occasion of Egon B¨orger’s visit to New Zealand in October / November 2007 I organised a small workshop in Palmerston North with the intention to bring together researchers in areas of interest of Egon B¨orger and my own research group. Therefore, the title of the workshop was chosen to be “Logic, Abstract State Machines, and Databases”. Though not all invitees were able to attend the workshop, we had two days full of presentations and intensive discussions, and some of the local participants were not even able to present their work. Following the workshop all participants and others who were interested but could not attend were invited to submit articles to a special issue of the Journal of Universal Computer Science.