DOCSLIB.ORG

Challenges, Performances and Tendencies in Organisation Management

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read 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. In-house Editors: Dipasri Sardar/Li Hongyan Typeset by Stallion Press Email: [email protected] Printed in Singapore Hongyan - Challenges, Performances and Tendencies.indd 1 19/5/2015 9:12:46 AM b2061 Challenges, Opportunities and Tendencies in the Organisation Management Board Members Coordinators: Prof. Ovidiu Nicolescu, The Bucharest University of Economic Studies, Bucharest, Romania Prof. Lester Lloyd-Reason, Anglia Ruskin University, Cambridge, United Kingdom Editors: Prof. Ovidiu Nicolescu, The Bucharest University of Economic Studies, Bucharest, Romania Prof. Lester Lloyd Reason, Anglia Ruskin University, Cambridge, United Kingdom Scientific Board: Prof. Doina Banciu, National Institute for Research & Development in Informatics, Romania Prof. Mihai Bocarnea, Regent University, USA Prof. Zbigniew Bochniarz, Evans School of Public Affairs, University of Washington, Seattle, USA Prof. Constantin Bratianu, Bucharest University of Economic Studies, Romania Prof. Dan Candea, Technical University of Cluj-Napoca, Romania Prof. Martin Henson, University of Essex, United Kingdom Prof. Norbert Grunwald, Wiesmar University of Technology, Germany Prof. Lars Hulgard, Roskilde University, Denmark Prof. Soulla Louca, University of Nicosia, Cyprus Prof. Dumitru Miron, Bucharest University of Economic Studies, Romania Prof. Ovidiu Nicolescu, Bucharest University of Economic Studies, Romania Associate Prof. Marian Nastase, Bucharest University of Economic Studies, Romania Prof. Constantin Oprean, România, University “Lucian Blaga” of Sibiu, Romania Prof. Hanns Pitchler, Wien Economics University Prof. George Plesoianu, Bucharest University of Economic Studies, Romania Prof. Lester Lloyd-Reason, Anglia Ruskin University, Cambridge, UK Prof. Victoria Seitz, California State University, USA v bb2061_FM.indd2061_FM.indd v 330-Nov-150-Nov-15 33:18:57:18:57 PPMM b2061 Challenges, Opportunities and Tendencies in the Organisation Management vi Board Members Prof. Ion Stegaroiu, “Valahia” University of Targoviste, Romania Prof. Lajos Szabo, University of Pannonia, Veszprem, Hungary Prof. Blandine Vanderlinden, MIME-ICHEC, Brussels, Belgium Scientific Secretary: Lecturer Eduard Ceptureanu bb2061_FM.indd2061_FM.indd vvii 330-Nov-150-Nov-15 33:18:57:18:57 PPMM b2061 Challenges, Opportunities and Tendencies in the Organisation Management Contents Foreword xi About the Editor xiii Part I. International Management and Cultural Diversity 1 Chapter 1. The Role of Large Corporate Boards in the Context of Globalization and Smart Economy: Creating Value for All Stakeholders 3 Mariana Gheorghe Chapter 2. New Management Tendencies and Their Impact on the Form of Capitalism 11 Maria Negreponti-Delivanis Chapter 3. Trends and Developments of Diversity Management at the Global level 19 Stegăroiu Ion, Mubeen Ştefania, Istrate Ciprian, Lile Ramona Chapter 4. Corporate Social Responsibility or Corporate Sustainability of Romanian Enterprises? 25 Zaiţ Dumitru, Onea Angelica, Tătăruşanu Maria, Ciulu Ruxandra Chapter 5. Re-Thinking Our Model of Management in the Light of the Cultural Dimension — A Systemic Approach to the Company 35 Blandine Vanderlinden Part II. Sustainable Development and Business Sustainability 45 Chapter 6. Social Capital and Business Sustainability: Defining, Measuring, and Assessing its Impact on Cluster Performance in the Podkarpackie Region of Poland 47 Zbigniew Bochniarz Chapter 7. Integrating Corporate and Academic Alumni into the Drive toward Sustainability 55 Rodica Stefănescu Part III. University Governance and Management 65 Chapter 8. Taxonomies of Internationalization for Higher Education 67 Martin Henson Chapter 9. The Most Pressing Challenges for Romanian Higher Education System in Line with the Bologna Process Values 79 Dumitru Miron vii bb2061_FM.indd2061_FM.indd vviiii 330-Nov-150-Nov-15 33:18:57:18:57 PPMM b2061 Challenges, Opportunities and Tendencies in the Organisation Management viii Contents Chapter 10. University Governance and Competitive Advantage 89 Mihai Korka Chapter 11. Study Programs in English in Non-Anglophone Countries: Looking at Impacts and Challenges from a Romanian Perspective 97 Mariana Nicolae Chapter 12. Romanian Private Higher Education in the Current European Context 107 Folcuţ Ovidiu, Grigore Ramona Part IV. Knowledge-Based Organization, Intellectual Capital, Information, and Management Documents 115 Chapter 13. Contributions to the Evaluation of e-Learning Processes in Higher Education 117 Doina Banciu, Monica Florea Chapter 14. Evaluation of Knowledge Processes Within the Learning Organization 125 Constantin Bratianu, Ruxandra Bejinaru Chapter 15. Universities in Transition: Are Library Directors Facing Changed Demands? 137 Arja Mäntykangas Chapter 16. Knowledge Management in the Information Society — Case Study on e-Services 143 Monica Anghel Chapter 17. Risk Awareness as Key Success Factor for more Efficient Management for Local Public Administrations 151 Markus Bodemann, Marieta Olaru, Ionela Carmen Pirnea Chapter 18. Information and its Entropy — A Measure of Market Complexity 159 Camelia Oprean Part V. Entrepreneurship, Social Enterprise, and SMEs 167 Chapter 19. SME-Conducive Policy Formulation under Systemic Perspectives 169 J. Hanns Pichler Chapter 20. Particularities of the Procesual Organisation in the Medium Knowledge-Based Enterprise 175 Ovidiu Nicolescu Chapter 21. Preparing Our Students for an Entrepreneurial Life: Are Universities Part of the Solution or Part of the Problem 185 Lester Lloyd-Reason Chapter 22. Difficulties in Improving Romanian Companies Management 195 Corneliu Russu Chapter 23. Contributions to Redesigning the Management System in Medium-Sized Enterprises 203 Ion Verboncu, Ciprian Nicolescu Chapter 24. The New Paradigm of Social Enterprise 213 Ana-Maria Grigore bb2061_FM.indd2061_FM.indd vviiiiii 330-Nov-150-Nov-15 33:18:57:18:57 PPMM b2061 Challenges, Opportunities and Tendencies in the Organisation Management Contents ix Chapter 25. Realities and Peculiarities of the Entrepreneurship in Brasov, Romania 219 Camelia Dragomir, Stelian Panzaru, Carmen Lis Chapter 26. ESF Interventions for Promoting Entrepreneurship in Romania 227 Daniela Manuc Chapter 27. Contributions to the Development and Use of Information Programs Dealing With Human Resources in the Rural Area 235 Simona Biriescu, Mariana Predişcan, Marian Năstase Chapter 28. Management Particularities of the Romanian Social Enterprise 243 Bibu Nicolae, Lisetchi Mihai, Nastase Marian Chapter 29. The Evolution of the Romanian SMEs’ Perceptions Over the Last Decade 261 Luminiţa Nicolescu, Ciprian Nicolescu Part VI. Leadership and Human Resources Management 273 Chapter 30. The Relationship between Leadership Styles, Leader Communication Style, and Impact on Leader–Member Exchange Relationship within the Banking Sector in the United States 275 Theodore G. Pacleb, Mihai C. Bocarnea Chapter 31. The Effect of Organizational Culture on the Responsiveness of Small and Medium-Sized Enterprises to Environmental Change: An Empirical Study in Romania 289 Michael Stoica, Liviu Florea, Edit Lukacs Chapter 32. Model Proposal for Cluster Implementation in Romania 297 Ion Popa, Cristina Vlăsceanu Chapter 33. Aspects of Human Resources’ Management within Organizations in Braşov, Romania 303 Stelian Panzaru, Camelia-Cristina Dragomir, Tudor Pendiuc, Dan Cojocaru Chapter 34. Managing Individual Performance Appraisal in Project Teams 313 Florin-Ioan Petean, Bogdan Bâlc, Horaţiu Cătălin Sălăgean, Răzvan Dimitrie Gârbacea, Diana Sopon Chapter 35. The Relation between Labor Force Profitability and the Firm’s Personnel Policy 319 Gabriel Sorin Badea, Constanta Popescu, Silvia Elena Iacob Chapter 36. Analysis
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]
  • 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]
  • FACS FACTS Issue 2004-2
    Issue 2004-3 FACS November 2004 A C T S The Newsletter of the Formal Aspects of Computing Science (FACS) Specialist Group ISSN 0950-1231 FACS FACTS Issue 2004-3 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 22 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 RefineNet Reporter Adrian Hilton Contributors to this Issue Jean-Raymond Abrial, Alvaro Arenas, Juan Bicarregui, Paul Boca, Eerke Boiten, Jonathan Bowen, Pat Browne, Andrew Butterfield, Judith Carlton, David Crocker, Issam Damaj, José Fiadeiro, Chris George, John Fitzgerald, Martin Henson, Neal Harman, Rob Hierons, Adrian Hilton, Mark Josephs, Kalpesh Kapoor, Petros Kefalas, Dexter Kozen, Shayoing Liu, Islam Ahmed El-Maddah, Savi Maharaj, Greg Michaelson, Teresa Numerico, Charles Rattray, Steve Reeves, Alexander Romanovsky, Anthony Seda, Carron Shankland, Helen Treharne - 2 - FACS FACTS Issue 2004-3 Contents Editorial....................................................................................................................
    [Show full text]