DOCSLIB.ORG

Financial Statements 2009-10 2 Annual Review and Financial Statements 2009-10

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Financial Statements 2009-10 2 Annual Review and Financial Statements 2009-10 Annual Review and Financial Statements 2009-10 2 Annual Review and Financial Statements 2009-10 Contents Annual Review Vice-Chancellor’s introduction 3 Building our future 4 Enriching the experience 5 Research awards 2009-10 6 Research impact 7 Public benefit 8-9 Financial Statements 2009-10 Chair’s Report 10 Financial Highlights 11 Operating and Financial Review 12-20 Corporate Governance Statement 21-23 Independent Auditors’ Report to the Members of Council 24-25 Accounting Policies 26-28 Consolidated Income and Expenditure Account 29 Consolidated Statement of Total Recognised Gains and Losses 30 Balance Sheet 31 Consolidated Cash Flow Statement 32 Notes to the Financial Statements 33-51 Five-Year Summary of Financial Position 52 Information round-up Honorary Graduates 53 Statistics 54 Acknowledgements 55 Principal officers of the University Chancellor Pro-Chancellor and Chair of Council Treasurer Lord Phillips of Sudbury OBE Bill Gore BSc MSc ACA Celia Edey JP DL Pro-Chancellor Vice-Chancellor Registrar and Secretary Auriol Stevens BA Professor Colin Riordan BA PhD Dr Tony Rich BA PGCE PhD Pro-Chancellor Deputy Vice-Chancellor Librarian David Boyle MA JP DL Professor Rob Massara BA PhD CEng FIEE Robert Butler BSc MSc SMIEEE Annual Review 2009-10 3 Vice-Chancellor’s introduction We are continuing to achieve significant Record numbers of students began courses at Although this has been an excellent year we success at Essex despite the many challenges the University this year, while the National do find ourselves in a time of dramatic and now facing the UK’s higher education sector. Student Survey ranked Essex in the top 20 radical change in the landscape of higher In 2009-10 we saw excellent performances in nationally, a significant improvement from education. We will need to deal with a very student recruitment, research income and our 34th last year. In addition, the University was different dynamic in terms of home and overall financial position as our local, regional placed in the top 15 for best all-round student European Union student recruitment, and will and international impact continued to grow. experience according to the Times Higher need a tight focus on the quality of student Education (THE) survey. experience. We will need to develop our Effective management and the hard work of international activities further, and deal with colleagues on all sides of the University have Major projects completed as part of our £200 potential changes to the student visa system. helped achieve our best financial results for million-plus capital investment plan include many years. We are exceeding many of our the £5 million Teaching Centre and £1.4 I am confident that the University of Essex is key strategic targets, with total income rising million Sports Centre redevelopment at the well-placed to deal with these challenges. We to £139 million in 2009-10, an increase of 13 Colchester campus, as well as the £36 million have the necessary resolve and vision, per cent. University Square student accommodation complemented by an excellent staff, a strong and a new teaching suite at the Southend academic focus and well-functioning A record level of research income was won for Campus. management systems. As ever in our almost the third consecutive year with grants and 50-year history we will adapt to the new contracts rising 16 per cent to £21.1 million Work on the infrastructure for the Knowledge circumstances and will, I am sure, emerge from £18.2 million in the previous year. Gateway development at the Colchester from the period of uncertainty stronger and Campus has begun. World-renowned architect more successful. Our international commitment to research and Essex alumnus Daniel Libeskind has excellence was boosted when Jawaharlal been selected to design the landmark building Professor Colin Riordan Nehru University in India became the first that will house the Institute for Democracy Vice-Chancellor member of our Global Alliance, which is and Conflict Resolution at the heart of the building lasting research-orientated Knowledge Gateway. partnerships with leading universities. In Southend we are working with partners on We have managed to square the circle of the £26.9 million Elmer Square regeneration increasing student numbers whilst project which will include a shared library plus simultaneously improving student satisfaction. new teaching and learning space. 4 Annual Review 2009-10 Building our future New facilities at the Colchester and Southend The University has an ambitious £200 million- campuses are helping to improve the learning plus investment programme. Construction has Transforming Southend Campus and living experiences for Essex students. started on the University’s major Knowledge Gateway development at Colchester to At Southend, the £36 million 561-room At Colchester, the new 2010-11 academic provide a new home for social scientific University Square development provides year got under way with the opening of the research and development and business colourful, modern residences with en-suite innovative £5 million Teaching Centre, space, with the infrastructure works due to be facilities to enhance the student experience. transforming the redundant 1960s central completed in Spring 2011. It will be anchored The vibrant new accommodation boiler house into 19 modern teaching rooms, by the flagship Institute for Democracy and incorporates many green and sustainable equipped with the latest teaching technology, Conflict Resolution, to be designed by world- features. Southend Campus has also been a theatre rehearsal space and spacious social renowned architect and Essex alumnus Daniel enhanced by the development of the area. Libeskind. £700,000 Elmer Suite, providing additional professional teaching and learning space for The University’s commitment to providing Work will also begin in 2011 on the £10 students. state-of-the-art facilities is also evident in the million transformation of the historic Wivenhoe new internet cafe Zest, with adjoining IT pods House into the UK’s first fully-functioning Architects have been appointed to develop for group working, and the new £1.4 million country house hotel to be run and staffed by Elmer Square, a £26.9 million joint venture gym and fitness suite. The new sports students, supervised by industry professionals. with Southend-on-Sea Borough Council and facilities provide more than 130 fitness Designed to prepare the future leaders of the South Essex College to provide an stations and new studios for activities such as hospitality industry, the Edge Hotel School will integrated academic and community library aerobics, dance and yoga. open in 2012. and modern teaching facilities. Annual Review 2009-10 5 Enriching the experience Ensuring students graduate with a high quality A major initiative to encourage students to qualification and are equipped for future develop the skills future employers are looking challenges is a key focus at Essex. for and get the most out of their time at Essex was launched in 2009-10. The Big e The University was ranked 16th for student campaign is using workshops, lectures and satisfaction in this year’s National Student special events including the Essex Apprentice, Survey with 88 per cent of Essex students the Big e awards and Essex Business Boot saying they were satisfied with their course. Camp to inspire students, build-up their skills This is up three per cent on last year and is and recognise their achievements. five per cent above the national average. Enterprising students also competed against The Departments of Art History and other university teams in The Prince’s Trust Philosophy and the Centre for Psychoanalytic fundraising challenge, Million Makers. Team Studies all achieved 100 per cent satisfaction Essex came second nationally and raised over ratings and Essex is ranked in the top 10 for a £1,800 through a number of fundraising number of science, social science and activities. humanities subjects. Essex students have always made a valuable This year’s academic highlights included a contribution through volunteering and this year two-week residency by Nobel Laureate and marked the 40th anniversary of Nightline – a Essex’s new Professor of Poetry Derek confidential listening and advice service run by Walcott with students taking part in a series of students and pioneered at the University. workshops with the celebrated writer. Student Established in 1970 by students with the Pete Fitzgerald said: ‘It was a privilege and an support of staff, Essex Nightline has inspired honour to be taught by Professor Walcott.’ many others across the country and beyond. Branches have been set up in the United States, Canada, Switzerland and Germany, in many cases by former Essex students. 6 Annual Review 2009-10 Research awards 2009-10 This has been a record year for generating Uncovering cultural links between research income across the University with Brazil and Angola £21.1 million worth of grants and contracts Project title: The Angolan roots of capoeira secured by staff in 2009-10. A full list of Grant: £367,846 research grants can be found on the Funding body: Arts and Humanities Research Research and Enterprise Office website at: Council www.essex.ac.uk/reo. Duration: Three years The influence of Angola on the celebrated Some highlights include: Afro-Brazilian art form of capoeira is being Changing nature of consumerism investigated by Dr Matthias Röhrig Assunção from the Department of History. Dr Assunção Project title: Consumption work and societal is leading a multi-disciplinary team including divisions of labour film maker Richard Pakleppa, Angolan history Grant: £648,349 specialist Dr Mariana Candido from Princeton Funding body: European Research Council University and Mestre Cobra Mansa, founder Duration: Three years and president of the International Foundation The changing nature of work, the division of of Capoeira Angola. labour and the way consumers buy, use, re-use and even dispose of goods is being researched by Professor Miriam Glucksmann Note: Grant awards are spread across a from the Department of Sociology.
Load more

Recommended publications
  • Toolkit Essex.Pdf
    Internationalising the Curriculum Internationalising the Curriculum If we want to attract the best students, provide the best experience of living and learning, and give our students the best chance of competing in a global economy, we must continue to retain our international outlook. This starts with the curriculum. It is not enough to provide opportunities that only the most engaged and motivated students take advantage of – our international heritage should impact on the experience of all Essex students.” “This toolkit is a perfect starting point for discussions about how we can continue to embed internationally-relevant opportunities into both the formal curriculum and into extra-curricular activities. There should be something here that is interesting and achievable for any academic department and individual member of staff. Professor Anthony Forster, Vice-Chancellor, 2012 – present Internationalisation is important because it introduces our students to a plurality of ways of doing things. It challenges the idea that there’s only one right way to approach a problem. It’s about making visible the specificity of the places from which we start our inquiries. I think that’s a really crucial experience when you learn, so when you go out into the world you are sensitive to and values different ways of doing things. Once that mental shift is made, one has a completely different perspective and orientation towards life and towards the multiplicity of perspectives and possibilities of the globalised world in which we live. Professor Aletta Norval, Pro-Vice-Chancellor – Education The Toolkit is great. I think it should be compulsory reading.
    [Show full text]
  • Professor Martin Henson
    Professor Martin Henson PROFILE Senior academic manager and consultant, specializing in Higher Education strategy, management, accreditation, audit, curriculum design and development, and international collaborations. In demand as a keynote speaker, consultant and capacity builder on the international scene. A professor of Computer Science, with over 100 publications, attracting over US$1 million in research funding over the last three years. Currently leading on International Strategy at the University of Essex - a top ten university in the UK and THE “Top 20 under 50” in the world. OVERVIEW Professor Henson is Dean for International Affairs and a Professor of Computer Science at the University of Essex - as such he has responsibility, working with others, to develop and implement the University's International Strategy. The strategy aims to further internationalize the university, developing beneficial, reciprocal relationships in education and research, with students, academic and professional colleagues, faculties, schools, departments, and academic institutions across the world. The emphasis is on opportunities leading to mutual benefits and new understanding. Martin is constantly engaged in discussing new international academic collaborations in research and teaching. He also has considerable experience in curriculum design in Higher Education, both within and outside the UK, and in external examining and accreditation in Higher and Further Education. He has worked as a consultant for several Ministries of Higher Education and universities, internationally, undertaking academic reviews, institutional analysis, developing accreditation standards, and leading strategic planning exercises. His academic work concerns the area of Formal Methods for software engineering, in particular the design and use of logics of specification and program development.
    [Show full text]
  • June 2005 a C T S
    Issue 2005-2 FACS June 2005 A C T S The Newsletter of the Formal Aspects of Computing Science (FACS) Specialist Group ISSN 0950-1231 FACS FACTS Issue 2005-2 June 2005 About FACS FACTS FACS FACTS [ISSN: 0950-1231] is the newsletter of the BCS Specialist Group on Formal Aspects of Computing Science (FACS). FACS FACTS is distributed in electronic form to all FACS members. As from 2005, FACS FACTS will be published four times a year: March, June, September and December. Submissions are always welcome. Please see the advert on page 23 for further details or visit the newsletter area of the FACS website [http://www.bcs-facs.org/newsletter]. Back issues of FACS FACTS are available to download from: http://www.bcs-facs.org/newsletter/facsfactsarchive.html The FACS FACTS Team Newsletter Editor Paul Boca [[email protected]] Editorial Team Jonathan Bowen, Judith Carlton, John Cooke, Kevin Lano, Mike Stannett Columnists Dines Bjørner (The Railway Domain) Judith Carlton (Puzzles) Contributors to this Issue: Dines Bjørner, Eerke Boiten, Jonathan Bowen, Judith Carlton, Roger Carsley, John Derrick, George Eleftherakis, José Fiadeiro, John Fitzgerald, Carroll Morgan, Fiona Polack, F.X. Reid, Paola Spoletini, Marcel Verhoef, Jim Woodcock 2 FACS FACTS Issue 2005-2 June 2005 Contents Editorial 4 FACS AGM, 27 April, London 5 ZB2005 Conference Report 10 REFINE2005 Conference Report 17 Train Domain Column 19 Blocking Publication: An Adventure in Destructive Refereeing 24 An Example Railway Domain 29 Book Announcements 40 PhD Abstracts 41 Conference Announcements 45 Job Adverts 48 Formal Methods Coffee Time 49 And Finally 52 FACS Committee 53 3 FACS FACTS Issue 2005-2 June 2005 Editorial Jonathan Bowen, BCS-FACS Chair Welcome to another varied FACS FACTS Newsletter, ably compiled by Paul Boca.
    [Show full text]
  • Challenges, Performances and Tendencies in Organisation Management
    Challenges, Performances and Tendencies in Organisation Management 9494_9789814656016_tp.indd 1 30/11/15 1:30 pm This page intentionally left blank Challenges, Performances and Tendencies in Organisation Management Editors Ovidiu Nicolescu The Bucharest University of Economic Studies, Romania Lester Lloyd-Reason Anglia Ruskin University, UK World Scientific Romanian Scientific Management Society 9494_9789814656016_tp.indd 2 30/11/15 1:30 pm Published by World Scientific Publishing Co. Pte. Ltd. 5 Toh Tuck Link, Singapore 596224 USA office: 27 Warren Street, Suite 401-402, Hackensack, NJ 07601 UK office: 57 Shelton Street, Covent Garden, London WC2H 9HE Library of Congress Cataloging-in-Publication Data Challenges, performances and tendencies in organisation management / edited by Ovidiu Nicolescu (The Bucharest University of Economic Studies, Romania) & Lester Lloyd-Reason (Anglia Ruskin University, UK). pages cm Includes bibliographical references and index. ISBN 978-9814656016 (alk. paper) 1. Management. 2. International business enterprises--Management. I. Nicolescu, Ovidiu. II. Lloyd-Reason, Lester. HD31.C424 2015 658--dc23 2015009071 British Library Cataloguing-in-Publication Data A catalogue record for this book is available from the British Library. Copyright © 2016 by World Scientific Publishing Co. Pte. Ltd. All rights reserved. This book, or parts thereof, may not be reproduced in any form or by any means, electronic or mechanical, including photocopying, recording or any information storage and retrieval system now known or to be invented, without written permission from the publisher. For photocopying of material in this volume, please pay a copying fee through the Copyright Clearance Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to photocopy is not required from the publisher.
    [Show full text]
  • Deals, Deals and More Deals
    NEWS ANALYSIS: p.10 FEATURE: p.26 A danger too far? A complex market Insuring passengers on civil light aircraft Health insurance for travelling students WEEKLY NEWS.TV UPDATES Every Wednesday at 12pm UK time www.itij.tv ESSENTIAL READING FOR TRAVEL & HEALTH INSURANCE PROFESSIONALS FEBRUARY 2018 • ISSUE 205 Deals, deals and more deals Canada condones cannabis With Canada expected to fully legalise the recreational use of marijuana by the end of summer 2018, Milan Korcok looks at what insurers need to bear in mind So far, Uruguay has been the only country in the world to completely free up pot use, but now the Great White North is already turning green, with thousands of acres opening up for cultivation almost weekly, Canadian cannabis stocks making overnight millionaires of day traders, and American backpackers switching their vacation itineraries from Peru to the wide-open Prairies. Marijuana has been available for limited medical use in Canada since 2001, but it was in 2015 that newly minted Prime Minister Justin Trudeau pledged not only to decriminalise marijuana, but to make it widely available to adult consumers for everyday, recreational use, Most people in the travel insurance Mary Carmen González, partner with Spanish law the line as private clinics – in Spain at least – are albeit through a regulated system – controlling its industry are aware of agreements fi rm Ramallo & Pallast, said to ITIJ: “Who wins from obliged to provide emergency care if a patient’s life production, distribution, sale and possession. between hotels, tour operators and even these agreements? The private clinics, which receive is in danger.
    [Show full text]
  • FACS FACTS Newsletter in 2006
    Issue 2007-1 December 2007 FACS A C T S The Newsletter of the Formal Aspects of Computing Science (FACS) Specialist Group ISSN 0950-1231 FACS FACTS Issue 2007-1 December 2007 About FACS FACTS FACS FACTS [ISSN: 0950-1231] is the newsletter of the BCS Specialist Group on Formal Aspects of Computing Science (FACS). FACS FACTS is distributed in electronic form to all FACS members. Submissions to FACS FACTS are always welcome. Please visit the newsletter area of the FACS website [http://www.bcs-facs.org/newsletter] for further details. Back issues of FACS FACTS are available to download from: http://www.bcs-facs.org/newsletter/facsfactsarchive.html The FACS FACTS Team Newsletter Editor Margaret West [[email protected]] Editorial Team Jonathan Bowen, Paul Boca Contributors to this Issue Paul Boca, Jonathan Bowen, Tim Denvir. Margaret West 2 FACS FACTS Issue 2007-1 December 2007 The activities of FACS (e.g., sponsoring conferences and workshops, offering student bursaries and hosting evening seminars) are funded solely from membership subscriptions. The more paid-up FACS members we have, the more we can do. ☺ If you would like to become a FACS member – or renew your lapsed membership – please complete the membership form on Page 24 of this issue of FACS FACTS. If you have any questions about FACS, please send these to Paul Boca [[email protected]] From Margaret West: I am sorry for the rather sparse News Letter. I hope to make up for this next year! The next copy should include items omitted from this issue. Newsletter Editor, Algarve, Portugal, September 2007 3 FACS FACTS Issue 2007-1 December 2007 Editorial Jonathan Bowen, Chair, BCS-FACS Please accept our apologies for the long delay since the last edition of the FACS FACTS Newsletter in 2006.
    [Show full text]
  • Towards Followme User Profiles for Macro Intelligent Environments
    Workshop Proceedings of the 8th International Conference on Intelligent Environments 179 J.A. Botía et al. (Eds.) IOS Press, 2012 © 2012 The authors and IOS Press. All rights reserved. doi:10.3233/978-1-61499-080-2-179 Towards FollowMe User Profiles for Macro Intelligent Environments Luke WHITTINGTON a, James DOOLEY a,b. Martin HENSON a and Abdullah AL-MALAISE AL-GHAMDI a,b a Department of Computer Science, University of Essex, UK. Email: [email protected] b Faculty of Computing and Information Technology, King Abdulaziz University, KSA Abstract. We envision an Ambient Intelligent Environment as an environment with technology embedded within the framework of that environment to help enhance an users experience in that environment. Existing implementations , while working effectively, are themselves an expensive and time consuming investment. Applying the same expertise to an environment on a monolithic scale is very inefficient, and thus, will require a different approach. In this paper, we present this problem, pro- pose theoretical solutions that would solve this problem, with the guise of experi- mentally verifying and comparing these approaches, as well as a formal method to model the entire scenario. Keywords. ambient intelligent environments, formal methods, mobile devices, cloud server, bi-graphs 1. Introduction Intelligent environments are a wonderful example of ubiquitous computing[1], but ask two different researchers what an Intelligent Environment is and you’ll probably get two very different answers. In our vision, Intelligent Environments tend to be common spaces (such as the home or the office) which contain a plethora of embedded computer devices that help enrich user experiences.
    [Show full text]
  • ABZ 2010 Conference
    ABZ 2010 Conference Abstract State Machines (ASM), Alloy, B and Z February 22-25, 2010 Orford, Québec, Canada http://abzconference.org Call for Papers Important dates Submission of full papers September 30, 2009 Submission of extended abstracts for short presentations October 11, 2009 Communication about acceptance / rejection of submitted November 9, 2009 papers and extended abstracts Camera-ready version of the accepted full papers and one-page November 23, 2009 abstract for the short presentations Submission of tutorial proposals November 17, 2009 Tutorials and workshops February 22, 2010 Main ABZ 2010 conference February 23-25, 2010 Abstract State Machines (ASM), Alloy, B and Z are four rigorous methods that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The ABZ conference is dedicated to the cross-fertilization of these four related state-based and machine- based formal methods. It builds on the success of first ABZ conference held in London in 2008, where the ASM, B and Z conference series merged into a single event. The papers will be published in a volume of Springer's LNCS series. Contributions are solicited on all aspects of the theory and applications of ASMs, Alloy, B, Z and related approaches in software/hardware engineering, including the development of tools and industrial applications. The program spans from theoretical and methodological foundations to practical applications, emphasizing system engineering methods and tools that are distinguished by mathematical rigor and have proved to be industrially viable. A main goal of the conference is to contribute to the integration of accurate state- and machine-based system development methods, clarifying their commonalities and differences to better understand how to combine related approaches for accomplishing the various tasks in modelling, experimental validation, and mathematical verification of reliable high-quality hardware/software systems.
    [Show full text]
  • Ie 12 PROGRAMA
    Program Guide 26 - 28 June 2012 The 8th International Conference on Intelligent Environments http://www.intenv.org Welcome We are witnessing an historic technological revolution as computing reaches the point of maturity where it is becoming immersed in our daily life to an extent, that some decades ago, was considered science fiction. Advances in the engineering of sensing and acting capabilities, distributed in wide range of specialized devices, is providing an opportunity for the fundamental advances that computer science achieved in the past few decades to make an impact in our daily lives. This technical confluence is matched by a unique historical context, where users are better informed (and more aware of the benefits that technology can provide) and production of more complex systems is becoming increasingly affordable. Sensors and actuators deployed in a living environment (in this context, it can be any physical space like a house, an office, a classroom, a car, a street or even a virtual world, etc.) facilitate the integration of automated decision making systems that enables the provision of an intelligent environment, i.e., “a digital environment that proactively, but sensibly, supports people in their daily lives”. As the full potential for this technology become clearer to companies and the population at large, the search for innovative applications and scientific methodologies has intensified, attracting an increasing number of professionals (both in academy and industry) worldwide. The International Conference on Intelligent Environments (IE'12) held at the beautiful and historic World Heritage UNESCO city of Guanajuato, Mexico is the eighth edition in a series of highly successful conferences that were organized in Colchester (United Kingdom), Athens (Greece), Ulm (Germany), Seattle (USA), Barcelona (Spain), Kuala Lumpur (Malaysia) and Nottingham (United Kingdom) in the past seven years.
    [Show full text]
  • Relating Z and First-Order Logic
    Relating Z and First-Order Logic Andrew Martin? Oxford University Software Engineering Centre Computing Laboratory, Wolfson Building Parks Road, Oxford OX1 3QD, UK. [email protected] Abstract Despite being widely regarded as a gloss on first-order logic and set theory, Z has not been found to be very supportive of proof. This paper attempts to distinguish between the different philosophies of proof in Z. It discusses some of the issues which must be addressed in creating a proof technology for Z, namely schemas, undefinedness, and what kind of logic to use. 1 Introduction The Z notation [26] is gaining widespread acceptance as a useful means of speci- fying software systems. Tool support for Z, though given impetus by the Z stan- dardization activity [20], is quite varied, especially in the area of proof. There appears to be little consensus about what proving properties of Z specifications actually means. Different people seem to understand Z and proof differently. Z has been widely regarded as a sylized form of classical first-order logic and set theory, with a simple type system (but this is not a universal view; see below). The schema language complicates this relationship considerably. As the semantics of schemas has become more complex, it has been increasingly unclear whether Z needs its own logic, or whether it can be manipulated using a familiar system. In creating proof tools, some authors do not appear to have even asked this question, but have assumed a Z semantics which corresponds exactly with the computational logic of some host system.
    [Show full text]
  • Lecture Notes in Computer Science 3455 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan Van Leeuwen
    Lecture Notes in Computer Science 3455 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos New York University, NY, USA Doug Tygar University of California, Berkeley, CA, USA Moshe Y. Vardi Rice University, Houston, TX, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany Helen Treharne Steve King Martin Henson Steve Schneider (Eds.) ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users Guildford, UK, April 13-15, 2005 Proceedings 13 Volume Editors Helen Treharne University of Surrey School of Electronics and Physical Sciences Guildford, Surrey GU2 7XH, UK E-mail: [email protected] Steve King University of York Department of Computer Science Heslington, York,YO10 5DD, UK E-mail: [email protected] Martin Henson University of Essex Department of Computer Science Wivenhow Park, Colchester, Essex, CO4 3SQ, UK E-mail: [email protected] Steve Schneider University of Surrey School of Electronics and Physical Sciences Guildford, Surrey GU2 7XH, UK E-mail: [email protected] Library of Congress Control Number: 2005923295 CR Subject Classification (1998): D.2.1, D.2.2, D.2.4, F.3.1, F.4.2, F.4.3 ISSN 0302-9743 ISBN-10 3-540-25559-1 Springer Berlin Heidelberg New York ISBN-13 978-3-540-25559-8 Springer Berlin Heidelberg New York This work is subject to copyright.
    [Show full text]
  • 106Th Spring Commencement Eastern Kentucky University
    Alma Mater Hail to thee our Alma Mater, Faithful guide of youth, Holding high amid the darkness Duty, light, and truth; Still above, the skies attend thee, Still thy stately columns stand, Still thy sons and daughters love thee Sing thy praises o'er the land. All the earth's resplendent beauty Nature gathered here, Rolling lawns and trees and grasses On thy hillsides fair; Happy days within thy shadow, 106th Spring Friends and comrades we have won. Fill our hearts with exaltation For thy work so nobly done. Commencement When beloved Alma Mater Memory recalls Other days of youth and laughter In thy gracious halls; Eastern Kentucky When thy sons and daughters scattered Turn again to thee, University Still thy lamp is brightly lighting Us afar, that we may see. Music by Jane Campbell Words by Nancy Evans Saturday, May 11, 2013 Alumni Coliseum Richmond, Kentucky 106th Spring Commencement Saturday, May 11, 2013 9:00 a.m., 1:30 p.m. and 7:30 p.m. Alumni Coliseum Eastern Kentucky University Richmond, Kentucky This program is printed on 30% post-consumer recycled paper. Please join EKU in its effort to conserve our natural resources by recycling any plastic or aluminum products by placing them in one of the designated recycling receptacles in this building. Look for the EKU Green logo to spot other sustainable initiatives at commencement. Tweet about your EKU Commencement #EKUGrad #EKU2013 The Academic Procession Marshal of the Day LTC Ralph Hudnall The Mace Bearer The President of the University The Commencement Speaker The Student Speaker The
    [Show full text]