DOCSLIB.ORG

Ie 12 PROGRAMA

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read 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. This year we have a program of presentations spanning over two full days which includes regular papers as well as a Posters Track, a Doctoral Colloquium and a Demo/Video Session. Three internationally leading academics: Minjuan Wang (San Diego State University, USA) , Luis Enrique Sucar (INAOE, México) and Derek Clements-Croome (Reading University, UK), and a leading industrialist: Keith Prettyjohns (CEO Innovasic Inc) will provide keynotes for this event addressing a variety of topics which will be of interest for the attendees. Co-located with the conference there is a strong workshops program featuring a variety of important topics which include Healthcare (WISHWell'12), Ambient Intelligence (AITAmI’12), Large Scale Intelligent Environments such as cities (WOLSIE’12), Intelligent Industrial Automation (IIA’12), Intelligent Educational Environments (WOFIEE'12), 1 IE´2012 Program guide Reliability of Intelligent Environments (WoRIE’12), Intelligent Domestic Robots (iDR’12) and Intelligent Multimodal Interfaces Applied in Skills Transfer, Healthcare and Rehabilitation (IMIASH'12). The Intelligent Environments workshops have proved to be a source of much vitality to the conference providing an opportunity to discuss earlier research that may open up new ways to advance the area of Intelligent Environments. All papers accepted in the Workshops program are published in printed form as a volume of the Ambient Intelligence and Smart Environments Series (ISI indexed) of IOS Press and electronically available through ACM Digital Library with many workshops being connected with external journals that lead to more further publishing opportunities for the authors We are very grateful to the organizing committee and, especially the local organizing committee at the Instituto Tecnológico de León who supported this event so effectively. A special mention for the direct role in the selection of content for the proceedings goes to the program committee and the external reviewers who devoted time from their busy agendas to provide feedback on the submissions. Also, we need to say a special word of thanks to thanks to our sponsors: IEEE Systems, Man & Cybernetics Society Technical Committee, CONACYT, Consejo de Ciencia y Tecnología del Estado de Guanajuato, Sistemas de Innovación para la Competitividad SINNCO, DGEST, Instituto Tecnológico de León, Guanajuato Tecno Parque, Parque CIEN Tecnológico de Monterrey, Taylor & Francis Group, IOS Press. Finally, we want to make explicit our deep gratitude to all the researchers, who are the soul of this event and whose inspired research provides our conference with latest advances of this fascinating area; your presence makes the IE conferences the very special experience it is. We welcome you all to IE’12 and hope you enjoy the conference and venue. Best wishes, Vic Callaghan, University of Essex, United Kingdom Juan Carlos Augusto, University of Ulster, United Kingdom IE 2012 Programme Chairs Victor Zamudio, Instituto Tecnológico de León, México IE 2012 General Chair Simon Egerton, Monash University, Malaysia IE 2012 Publications Chair 2 IE´2012 Program guide IE´2012 Program guide Tuesday 26th of June Wednesday 27th of June Thursday 28th of June P RO G R A M Keynote: Minjuan Wang Industrial Forum Keynote: Keith Pretttyjohns* INDUSTRIAL FORUM AND RECEPTION CONFERENCE COCKTAIL AND BANQUET Salón Terraza Casa Colorada 3 WORKSHOPS AITAmI: Salón San Javier • Structured Light and Shape Descriptors for Automatic 3D Object Classification by Daniel GARCIA, Manuel ORNELAS, Raul SANTIAGO, Hector PUGA and Martin CARPIO • Real Time Activity Recognition Using a Cell Phone’s Accelerometer and Wi-Fi by Enrique A. GARCIA and Ramón BRENA • ALDRO Learning and Mixed Decision Support Method for Mobile Robot by Fernando ORDUÑA, Alma VALLE, Alán DENNIS, Javier ROJAS, Flavio MUÑOZ, Alberto RAMIREZ, Iván LUNA, Guadalupe VASQUEZ and Karina HINOJOSA • Generation of instances for the revision of Beliefs by Rodolfo AGUIRRE, Pedro BELLO, Ana Patricia CERVANTES and Meliza CONTRERAS • Optimization of a fuzzy contrast method for a pattern recognition system by Miguel Angel LOPEZ, Arnulfo ALANIS, Bogart YAIL, Karina ROMERO, Maria del Rosario BALTAZAR, Victor Manuel ZAMUDIO • A Comparative Study of Intelligent Bio-inspired Algorithms Applied to Minimizing Cyclic Instability in Intelligent Environments by Leoncio ROMERO, Victor ZAMUDIO, Rosario BALTAZAR, Marco SOTELO, Carlos LINO, Efren MEZURA and Vic CALLAGHAN • Keynote talk: Contextual Reasoning in Context-Aware Systems by Hedda Rahel Schmidtke WOFIEE: Salón Ejecutivo • Keynote talk: The University as an incubator for technology, innovation and entrepreneurship by Professor James Carlson • The InterReality Portal: A Mixed Reality Co-creative Intelligent Learning Environment by Anasol PEÑA-RIOS, Vic CALLAGHAN, Michael GARDNER and Mohammed J. ALHADDAD • Intelligent Assistive Interfaces for Editing Mathematics by Dilaksha ATTANAYAKE, James DENHOLM-PRICE, Gordon HUNTER, Eckhard PFLUEGEL, Angela WIGMORE • Adapting e-learning contents based on navigations styles and preferences 4 by Rosa BASAGOITI, Asier AZTIRIA, Igor ORDOÑEZ, Ion Padilla IE´2012 Program guide • Physical Activity and Team Work with Pervasive Games by Fernando Martinez Reyes • An Entrepreneurship Model for Future Intelligent Educational Environments by Victor CALLAGHAN, Ping ZHENG, Hsuan-Yi WU WOLSIE: Salon Guanajuato • Keynote talk: Beyond Four Walls: Towards Large-Scale Intelligent Environments by James DOOLEY • Smart Home in a Box: A Large Scale Smart Home Deployment by Aaron Crandall • Collaborative Agents Framework for the Internet of Things by Priscila Angulo-Lopez • Towards FollowMe User Profiles for Macro Intelligent Environments by Luke Whittington • Intelligent Signaling for Prevention of Intersection Collisions in Urban Zones by Juan Manuel Ramirez Alcazar IDR: Salón San Javier • Real-Time Human Pose Recognition for Autonomous Robots Using a Single Structured Light 3D-Scanner (skype) by Tim Van ELTEREN, Tijin Van Der ZANT • Recognition of Static Gestures using Three-Dimensional Chain Codes using Dominant Direction Vectors by Jose FIGUEROA, Jesus SAVAGE, Ernesto BRIBIESCA and Enrique SUCAR • Development of Means for Support of Comfortable Conditions for Human- Robot Interaction in Domestic Environments by Andrey RONZHIN, Maria PRISCHEPA and Viktor BUDKOV • Human-Robot Interface using Face Detection and Recognition, for the Service Robot, "Donaxi" by Hector VARGAS, Esperanza MEDINA, Daniel MARTINEZ, Edson OLMEDO, Gerson BERISTAIN 5 IE´2012 Program guide WoRIE: Salón San Javier • Keynote talk: Towards Reliability of Intelligent Environments through Testing Services and Applications by Juan A. BOTÍA • MidBlocks: A Supervising Middleware for Reliable Intelligent Environments by Rafael BAQUERO, José RODRIGUEZ, Sonia MENDOZA and Dominique DECOUCHANT • Consistency in Context-Aware Behavior: A Model Checking Approach by Davy PREUVENEERS and Yolande BERBERS • Using Simulation and Verification to Inform the Development of Intelligent Environments by Juan Carlos AUGUSTO and Miguel J. HORNOS • A Proposal for Evaluating the Privacy Management through “Fair Trade” Metaphor by Abraham ESQUIVEL, Pablo A. HAYA and Xavier ALAMÁN • FollowMe: A Bigraphical Approach by Martin HENSON, James DOOLEY, Luke WHITTINGTON and Abdullah AL MALAISE AL GHAMDI IMIASH: Salon Ejecutivo • Welcome speech: Oscar SANDOVAL • Virtual Reality Sports Training by Paolo TRIPICCHIO • Capturing the rower performance on the SPRINT platform by Alessandro FILIPPESCH, Paolo TRIPICCHIO, Massimo SATLER and Emanuele RUFFALDI • Knee Rehabilitation with fuzzy Velocity
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]
  • 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]