Geoffrey Burn – författare

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It contains papers from almost every member of the Section, from our long-term academic visitors, and from those who have recently left us. The papers fall into four broad areas: • semantics • concurrency • logic • specification with some papers spanning a number of disciplines. The subject material varies from work on mathematical foundations to practical applications of this theory, expressing the Section''s commitment to both the foundations of computer science, and the application of theory to real computing problems. In preparing the workshop and these proceedings, care was taken to ensure that there were papers overviewing a field, as well as ones whose primary aim was to present new scientifIc results. This had a dual purpose: to bring our Section members up to speed in some of the areas being worked on by the Section; and to provide the reader of the proceedings not only with a good introduction to many of the specifIc areas being investigated by the Section, but also with details of some of our latest results. All the papers presented at the workshop were revised following comments made by the workshop participants, and all were subsequently reviewed by at least two people before producing the fInal versions contained in this volume.

Why do many First People in Australia find themselves continually under siege? Why do many interventions fail to produce what was hoped for? Why is it that, when there have been many positive developments, at some deep level, nothing seems to have changed? Will the "e;Uluru Statement from the Heart"e; ensure the future security of the First Peoples in Australia?By developing strands from Christian theology, Liberating the Will of Australia answers these questions in a way that gets to the heart of the problem. It is shown that the way that the First Peoples were treated by the first European in-comers became an indelible part of what Australia currently is. This explains why harm is often done even when good is intended, and why some problems are too complex to solve. But that does not mean that we need to be stuck in the past: through deep repentance by the "e;Subsequent Peoples,"e; much more than an apology, we can take hold of the work of God to bring new things out of what is broken. Ultimately, this is profoundly hopeful. Although focusing on Australia, the theological tools developed can be applied in other colonial and post-colonial contexts.