INSPIRE 2020 Proceedings (PDF)

Total Page:16

File Type:pdf, Size:1020Kb

INSPIRE 2020 Proceedings (PDF) INSPIRE XXV e-Learning as a Solution during Unprecedented Times in the 21st Century Editors: J Uhomoibhi, E Dewar, E Georgiadou, P Linecar, P Marchbank, M Ross, G Staples 1 © 2020 Solent University The right of the authors to be identified as authors of this Work has been asserted by them in accordance with section 77 and 78 of the Copyright, Designs and Patents Act 1988. All rights reserved. Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted by the Copyright, Designs and Patents Act 1988, no part of this publication may be reproduced, stored or transmitted in any form or by any means, except with the prior permission in writing of the Publisher, or in the case of reprographic reproduction, in accordance with the terms of the licences issued by the Copyright Licensing Agency. Enquiries for permission to reproduce material outside of the above terms should be directed to the Publisher, Solent University. ISBN 978-1-9996549-4-8 British Cataloguing in Publication Data. A CIP catalogue record for this e-book is available at the British Library. All trademarks, registered names etc acknowledged in this publication are to be the property of their respective owners. Disclaimer: The views expressed in this e-book are of the author(s) and do not necessarily reflect the views of the BCS except where explicitly stated as such. Although every care has been taken by the authors, the editors, the publishers and the BCS in the preparation of the publication, no warranty is given by the authors, the editors, the publisher or the BCS as to the accuracy or completeness of the information contained within it and neither the authors, the editors, the publishers nor the BCS shall be responsible or liable for any loss of damage whatsoever arising by virtue of such information or any instructions or advice contained within this publication or by any of the aforementioned. 2 Twenty Fifth International Conference on e-Learning as a Solution during Unprecedented Times in the 21st Century INSPIRE 2020 CONFERENCE CHAIRS G Staples, J Uhomoibhi CONFERENCE DIRECTOR M Ross INTERNATIONAL ADVISORY COMMITTEE G Abeysinghe (Sri Lanka) E Bacon (UK) S Barikza (UK) E Berki (Finland) P Burgess (USA) S Chaudhary (Nepal) R Dawson (UK) E Dewar (UK) FJ Domínguez Mayo(Spain) E Georgiadou (UK) R Gevorgyan (Armenia) P Kingsley (N Ireland) L Li (China) P Linecar (UK) C Long (UK) N Paltalidis (UK) F Nilsson (Sweden) D Ojukwu (Nigeria) H Rahanu (UK) A Savva (Cyprus) M Sheriff (Sierra Leone) K Siakas (Greece) I Stamelos (Greece) J Valtanen (Finland) 3 4 This volume contains the edited proceedings of papers from the twenty fifth International Conference on Software Process Improvement Research, Education and Training, INSPIRE 2020 held remotely, organised by Solent University and the e-Learning Specialist Group of the BCS, The Chartered Institute for IT. The objective of this conference is to promote international co-operation among those concerned with e-learning by creating a greater understanding of e-learning issues, and by sharing current research and case studies through academic and industrial experience. The conference organisers feel that this objective has been achieved. INSPIRE 2020 has attracted papers from international sources, covering a broad spectrum of practical experience and research. The topic areas include e-Learning in the UK and Scandinavia, use of e-Learning and tools for schools, HE and the wider public, augmented reality, virtual laboratories, social media, programming in schools, gamification, cyber security in teaching and learning, multi choice assessments, case studies in use of e-learning in 2020 in various countries, including Armenia, Bosnia- Herzegovina, Cyprus, Denmark, Eire, Finland, Greece, Ireland, Kenya, Nigeria, Northern Ireland, Russian Federation, Slovak Republic, Spain, Sri Lanka, UK, and the USA. We would like to thank the many people who have brought this twenty fifth international conference into being: the Organising Committee, the International Advisory Committee, particularly for all their hard work in reviewing both the abstracts and the final papers, and the committee members of the BCS's e-Learning Specialist Group. The organisers would like to thank the BCS and Solent University for their support. The Editors 5 6 CONTENTS Keynotes How e-learning has developed in the UK during 2020, and where it might go in the Future Professor Liz Bacon (Past BCS President and Deputy Principal and Deputy Vice-Chancellor Abertay University, Scotland) 13 e-Learning in the Time of Corona Virus - The Scandinavian Experience: Back to the Future with The e-Learners Manifesto Dr Eleni Berki (Adjunct Professor of Software Quality and Formal Modelling, Faculty of Information Technology, Jyväskylä University, Finland) 21 Papers A Framework for Introducing Social Media in Education: A Student Perspective Survey Georgios Lampropoulos (International Hellenic University, Greece) , Kerstin Siakas(University of Vaasa, Finland & International Hellenic University, Greece) , Theofylaktos Anastasiadis (Aristotle University of Thessaloniki, Greece), Errikos Siakas (Aristotle University of Thessaloniki, Greece) 55 Digital Content Strategy, The Higher Education View Oksana Razina, Mohammed Al-husban, Margaret Ross and Shakeel Ahmad (Solent University, UK) 65 Enhancing the Quality of the Teaching and Learning Process Though the Implementation of E-Learning Tools Rita Gevorgyan (Armenian State Pedagogical University Kh. Abovyan, Armenia) 85 7 Refining the Teaching of Programming Mike Brayshaw, Mike Cargill, Simon Grey, Neil Gordon (University of Hull, UK) 97 A Case Study of Learners’ Use of Formative E-Assessment Marie-Luce Bourguet (Queen Mary University of London, UK) 109 Science Educators’ Beliefs About Creativity Vasso Stylianou, Andreas Savva (University of Nicosia, Cyprus) 121 Software Tools to support On-line and Distance Education Veronika Stoffová (Trnava University, Slovakia) 139 PBGL Framework: Personality-Based Gamification in Learning Konstantinos Ntokos (Solent University, UK), Dimitra Lamprinou (Babcock International) 151 Identifying the gaps for Cybersecurity in Teaching and Learning Mike Brayshaw (University of Hull, UK) Neil Gordon (University of Hull, UK), Athina Karatazgianni (University of Leicester, UK) 165 Virtual Laboratories and Practical STEM Education: Issues of Development and Deployments Including Benefits and Challenges Jonathon O’Dwyer(Ulster University, Northern Ireland) , James Uhomoibhi (Ulster University, Northern Ireland) 179 8 An Educational Augmented Reality Application for Improving Knowledge Acquisition Georgios Lampropoulos (International Hellenic University, Greece), Ioanna Georgiadou (28th Primary School of Thessaloniki, Greece), Euclid Keramopoulos (International Hellenic University Greece) , Kerstin Siakas (International Hellenic University, Greece & University of Vaasa, Finland) 193 Applying 5 Levels Framework of Lifelong Learning to e-Learning by the Wider Public Soheir Ghallab (BCS), Linda Odhiambo Hooper (Ulster University, Northern Ireland) , James Uhomoibhi (Ulster University, Northern Ireland), Geoff Staples (BCS), Margaret Ross (Solent University, UK) 203 Online Learning in Kenyan Public Universities: Effectiveness and Challenges Jackline Akoth Odero (Masinde Muliro University of Science and Technology, Kenya) 215 E-Learning in Kenya during lockdown: A Teacher/Leader's perspective. A Case Study of the Inequalities of District, Provincial and National School Experience Caroline Akinyi Odhiambo (Kapkoi Central Girls Secondary School, Kenya), Linda Odhiambo Hooper (Ulster University, Northern Ireland) 231 Covid19 : Impact on Learning, Digital Citizenship, Capabilities and Freedom for Community Development in Emerging Economies Linda Odhiambo Hooper, James Uhomoibhi (Ulster University, Northern Ireland) 239 9 Challenges of Rapid Migration to Fully Virtual Education in the Age of the Coronavirus Pandemic: Experiences from Across the World Elli Georgiadou (Midddlesex University London, UK), Eleni Berki (University of Jyväskylä & Private Consultancy, Finland), Juri Valtanen (University of Tampere & Private Consultancy, Finland), Kerstin Siakas (International Hellenic University, Greece & Vaasa University, Finland), Harjinder Rahanu (Midddlesex University London, UK), Adam Edwards (Midddlesex University London, UK), Nickos Paltalidis (Queen Mary University London, UK) , Andreas Agouropoulos (National Kapodistrian University, Greece ) , Stylianos Hatzipanagos (University of West London, UK), Claire McGuiness (University College, Dublin, Ireland) , Jerald Cavanagh (Limerick Institute of Technology, Ireland) , Padraig Kirby (Limerick Institute of Technology, Ireland) , Dili Ojukwu (Alex Ekwueme Federal University, Nigeria) , Andreas Savva (University of Nicosia, Cyprus) , Vasso Stylianou (University of Nicosia, Cyprus), Mary Plastira (Aristotle University Greece), Rita Gevorgyan (Armenian State Pedagogical University, Armenia), Margaret Ross (Solent University & BCS, UK), Geoff Staples (BCS, UK), Ratko Knezevic (University of Bihac, Bosnia-Herzegovina), Amela Čolic (University of Bihac, Bosnia-Herzegovina ), Theodora Valkanou (University of Copenhagen, Denmark), Errikos Siakas (Aristotle University, Greece), Nelum Deshappriya (University of Sri Jayewardenepura, Sri Lanka), Annita Zirki (State Institute of Livadia and Larnaca, Cyprus), Veronika Stoffová (University in Trnava, Slovak Republic), Georgia Lambrou (Tsireio Gymnasium& Thekleio Gymnasium & Latsia
Recommended publications
  • The Engineering Council 2002 to 2010
    The Engineering Council 2002 to 2010 A Review by Andrew Ramsay MA CEng FCIS Contents Foreword 3 Prologue 5 The Early Days of ECUK 7 Year by Year 15 International Recognition 30 Annex A: Timeline 41 Annex B: SARTOR 3 42 Annex C: Incorporated Engineer Title – a Summary 44 Engineering Council Board 2002 to 2010 46 PEIs 2002 and 2010 48 List of Acronyms 49 Index 51 Acknowledgements 55 Page | 2 Foreword This review of the progress of the Engineering Council offers an inevitably personal view of issues, events and people who contributed to what must be judged as a successful period. However, while the Engineering Council is never itself going to be the UK engineering profession, it certainly moved towards a more central and less controversial position in its work and profile during this time. I am indebted to the detailed and lucid account of the earlier years of the Engineering Council written by Colin Chapman and Professor Jack Levy. Entitled Chronicle: An Engine for Change, this was published by the Engineering Council in 2004 and at the time of writing is still available on their website (shortcut link http://bit.ly/IY4ZLf ). However, for the shorter timeframe of this review I have adopted a less episodic structure than that of the Chronicle. It seemed to me that the extraordinary events that led up to creation of a “new regulatory body” in 2002, and in the 21 months that followed, deserved particular examination. Similarly, the way in which the Council was able to influence important developments in international recognition of UK-registered engineers can only really be understood in a continuous narrative – hence a separate section for this.
    [Show full text]
  • ABET 2009 Annual Report for Fiscal Year 2008
    The People at the Heart of ABET Accreditation 2009 Annual Report for Fiscal Year 2008-2009 Table of Contents ABET at a Glance . Page 2 The People of ABET . Page 6 Executive Letter . Page 7 A Legacy of Leadership . Page 8 Q&A with Dr . Michael Milligan . Page 9 The People at the Heart of ABET Accreditation . Page 12 Highlights of the Year . Page 16 ABET Accreditation Council . Page 19 ASAC Commission . Page 21 CAC Commission . Page 23 EAC Commission . Page 25 TAC Commission . Page 27 Industry Advisory Council . Page 29 International Activities Council . Page 31 Financial Highlights . Page 33 Notes to Financial Statements . Page 36 Statistics . Page 38 ABET Board of Directors . Page 46 Team Chairs . Page 47 2008-2009 Program Evaluators . Page 49 ABET Professional Staff . Page 57 Fellows of ABET . Page 58 Linton E . Grinter Award . Page 59 President’s Awards for Diversity . Page 60 Who’s Who on Our Covers . Page 61 2009 ABET Annual Report ABET at a Glance ABET is… n The global gold standard in professional technical education accreditation . n The recognized accreditor for applied science, computing, engineering, and technology programs . n A federation of 30 professional technical societies that represent “the professions .” (See page 3 .) n A 501(c) 3 nonprofit staffed by 34 full- and part-time employees and over 1,500 volunteers . ABET’s Vision ABET will provide world leadership in assuring quality and in stimulating innovation in applied science, computing, engineering, and technology education . ABET’s Mission ABET serves the public through the promotion and advancement of education in applied science, computing, engineering, and technology .
    [Show full text]
  • Certificate in IT for Insurance Professionals Promoting Understanding of IT in Insurance Practice 2010 BCS Certificate in IT for Insurance Professionals 2/3
    Certificate in IT for Insurance Professionals Promoting understanding of IT in insurance practice 2010 BCS Certificate in IT for Insurance Professionals 2/3 Who is it for? How is the exam structured? Price: £120 for CII/BCS members* This certificate has significant benefits The exam is written and is 3 hours in £136 for non-members for everyone who needs to be aware of duration. Certificate in IT potential IT applications in the An update service beyond year 1 is also The paper is set in three parts: insurance industry. It will be available. particularly relevant if you have no • Technical aspects of IT (short formal IT qualifications and you: questions); Price: £49 for CII/BCS members* £63 for non-members for Insurance • are an IT user looking to expand your • Management of IT (longer, application questions); knowledge and understanding; Revision days – held in the weeks • have management responsibility for • Application of IT in insurance (based immediately before each exam, these IT, including purchasing; upon a case study). enable you to: Professionals The Certificate is awarded jointly by the • provide IT assistance to colleagues; • clarify areas of concern in the CII and BCS. • are increasingly involved in IT during syllabus; your day-to-day work. • discover what the examiner is Who can enter? looking for; Information Technology is an important part of What are the benefits? The exam is open to everyone. There • discuss the common mistakes made every business. The insurance industry is especially are no formal entry requirements but The Certificate in IT for Insurance by candidates and how to avoid them; reliant on computer systems to provide the level of you will be expected to draw upon your Professionals: • learn useful revision and exam practical knowledge and experience of service expected by customers and demanded by techniques.
    [Show full text]
  • Spring 2003 HCI 2003 Starts to Materialise in Bath Due for Completion in September
    British Group www.bcs-hci.org.uk Inter aces54 • Spring 2003 HCI 2003 starts to materialise in Bath due for completion in September Words, words, everywhere, nor any stop to think Joined-up thinking with Buckingham Shum & ClaiMaker Cassandra laments lost lyrical love Kilgour chews his words carefully Croucher’s CubistFrog and Laura’s Linux Lingo Cockton sounds off but McEwan heads off! Published by the British HCI Group • ISSN 1351-119X1 Human–Computer Interaction View from the Chair contents Drop the red pants and lose the red faces? 2 View from the Chair Will we ever drop our red UserMan overpants 3 Editorial and don professional attire? Will we take pride in HCI methods that demonstrably deliver 4 ClaiMaker: A semantic web tool for modelling, across product contexts? Can we drop the analysing and visualizing HCI literature matching red faces when confident predictions Simon Buckingham Shum about designs fail to materialise in use? We will not, unless we take HCI methods seriously and 5 Deflections Product Recall create better methods through research, and Gilbert Cockton monitor and improve methods in practice. Developing professionalism is a key goal for 6 CubistFrog.com: an Adventure in Information the British HCI Group, an inclusive group that Architecture seeks effective interactions between educators, Tom Croucher researchers and practitioners. Indeed, I can 7 A Bluffer’s Guide to Linux think of no true profession without such a virtuous stakeholder triangle. Laura Cowen Without research, a profession cannot develop. 8 Conference Report: NordiCHI 2002 Without education, it cannot endure. Without N Bryan-Kinns and F Hamilton practitioners, there is simply no profession.
    [Show full text]
  • FACS FACTS Newsletter We Present Announcements of Future Events of Commemoration
    Issue 2011-1 December 2011 FACS A C T S FACS FACTS Issue 2011-1 December 2011 The Newsletter of the Formal Aspects of Computing Science (FACS) Specialist Group ISSN 0950-1231 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 BCS FACS website for further details (see http://www.bcs.org/category/12461). Back issues of FACS FACTS are available for download from: http://www.bcs.org/content/conWebDoc/33135 The FACS FACTS Team Newsletter Editor Margaret West <[email protected]> Editorial Team Jonathan Bowen, Margaret West Contributors to this Issue Jonathan Bowen, Jawed Siddiqi, Margaret West BCS-FACS websites BCS: http://www.bcs-facs.org LinkedIn: http://www.linkedin.com/groups?gid=2427579 Facebook: http://www.facebook.com/pages/BCS-FACS/120243984688255 Wikipedia: http://en.wikipedia.org/wiki/BCS-FACS If you have any questions about BCS-FACS, please send these to Paul Boca <[email protected] >. 2 FACS FACTS Issue 2011-1 December 2011 Editorial The year 2012 is the centenary of the birth of Alan Turing and in this 2011 issue of the FACS FACTS newsletter we present announcements of future events of commemoration. Welcome to our 2011 edition of the BCS-FACS newsletter. On 21 September 2011 we held our AGM and this issue includes a report from our Chair, Professor Jawed Siddiqi.
    [Show full text]
  • Ieng Ebook Page 2 Contents
    The How becoming an Incorporated Engineer (IEng) IEng could advance your career eBook n The benefits of IEng n Find out how to become professionally registered and the requirements for becoming an IEng n Student/Apprentice? Discover what you can do now to help your future career n Incorporated Engineers share their experiences and explain how professional registration has helped their careers n FAQ’s and useful links IEng eBook page 2 www.engc.org.uk Contents The benefits of IEng 03 Serious about your career in engineering? Get professional recognition 04 Eligibility 05 How to become professionally registered 06 UK-SPEC competence and commitment requirements for IEng registration 07 Student/Apprentice? 08 IEng case studies 09 FAQs 13 Useful weblinks 14 IEng eBook page 3 www.engc.org.uk Becoming an Incorporated Engineer (IEng) could advance your career Professional registration as an IEng not only recognises your proven commitment, skills and experience as an engineer, but also identifies to employers that you have the competence, expertise and work ethic that they value. You will: n Gain a valued badge of competence n Enhance your employability n Stand out from the crowd n Enjoy greater influence within the profession n Earn recognition from your peers n Hold an internationally recognised qualification “One of the many benefits of IEng registration has been the professional recognition of peers ‘‘I am keenly aware of the value and management since I was of professional recognition to awarded the qualification” an individual’s portfolio and the high regard in which it is held Paul Cozens IEng CITP MBCS by employers’’ Ben Watson MDes (Hons) LCGI IEng MIED IEng eBook page 4 www.engc.org.uk Serious about your career in engineering? “I attribute a lot of my success and interesting Get professional recognition career to my professional registration.
    [Show full text]
  • The British Computer Society Annual Report and Consolidated Financial Statements Year Ended 31 August 2020
    The British Computer Society Annual Report and Consolidated Financial Statements Year ended 31 August 2020 Registered charity number 292786 BCS, The Chartered Institute for IT is the business name of The British Computer Society BCS, The Chartered Institute for IT Index Page OFFICERS, DISTINGUISHED FELLOWS AND EXECUTIVE TEAM.................................. 1 PRESIDENT'S MESSAGE .................................................................................................. 2 GROUP CHIEF EXECUTIVE'S REPORT ........................................................................... 3 TRUSTEES REPORT ......................................................................................................... 5 1. THE INSTITUTE’S OBJECTIVES 5 2. THE FUTURE OF THE INSTITUTE – Making IT Good for Society 5 3. ACTIVITY REPORTS 6 4. FINANCIAL REVIEW (including policy statements) 11 5. STRUCTURE, GOVERNANCE AND MANAGEMENT 15 STATEMENT OF TRUSTEES' RESPONSIBILITIES ........................................................18 INDEPENDENT AUDITOR’S REPORT ............................................................................19 CONSOLIDATED STATEMENT OF FINANCIAL ACTIVITIES ..........................................21 BALANCE SHEETS ..........................................................................................................22 CONSOLIDATED CASH FLOW STATEMENT ..................................................................23 INSTITUTE STATEMENT OF CHANGES IN RESERVES……………………………………24 NOTES…………………………………………………..……………………………….………….25
    [Show full text]
  • Publications Core Magazine, 2012 This
    2012 COMMEMORATIVE ISSUE C O RE A Publication of 25 Years of the Fellow Awards the Computer The Origins of Timesharing History Museum An Evening with Walter Isaacson Close up of the Amdahl 470V/6 Computer, 1975. The 470V/6 was the Amdahl Corporation’s fi rst product and ran the same software as IBM System/370 computers but cost less and was smaller and faster. Opposite page: Close-up of IBM 305 RAMAC System Diagram B CORE 2012 / HALL OF FELLOWS DEPARTMENTS MUSEUM UPDATES EXPLORE THE COLLECTION 2 4 6 56 60 58 Contributors An Analog Life An Evening with Oral Histories: Donor Profile Recent Artifact Walter Isaacson The Origins of Donations 3 5 61 Timesharing CEO’s Letter Talking to the Future 7 Museum Donors The President @ CHM C O RE 2012 9 SPECIAL SECTION: TWENTY-FIVE YEARS OF FELLOWS 10 12 14 18 The Fellow Awards Fellows at a Glance Visionary Pioneer 25 Years of Fellows It was 25 years ago that the See an overview of our Fellows— Grace Murray Hopper was a The Computer History Museum Museum began its Fellows where they studied and worked unique individual: a woman in a Fellows often have very inter- program. Since that time, the and what they are known for—in man’s world of computers and esting life trajectories, full of Award has been given to over this two-page chart that shows mathematics and an admiral in dramatic turns and unexpected 60 outstanding individuals in 25 years of Fellows history in an the U.S. Naval Reserve.
    [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]
  • Computing Education from Enrolment to Employment
    INSPIRE XXII Computing Education from Enrolment to Employment Editors: P Marchbank Southampton Solent University M Ross Southampton Solent University & BCS Quality SG G Staples BCS Quality SG Chairman J Uhomoibhi University of Ulster 1 © 2017 Southampton Solent University The right of the authors to be identified as authors of this Work has been asserted by them in accordance with section 77 and 78 of the Copyright, Designs and Patents Act 1988. All rights reserved. Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted by the Copyright, Designs and Patents Act 1988, no part of this publication may be reproduced, stored or transmitted in any form or by any means, except with the prior permission in writing of the Publisher, or in the case of reprographic reproduction, in accordance with the terms of the licences issued by the Copyright Licensing Agency. Enquiries for permission to reproduce material outside of the above terms should be directed to the Publisher, Southampton Solent University, Faculty of Maritime and Technology. ISBN 978-0-9932889-7-5 British Cataloguing in Publication Data. A CIP catalogue record for this book is available at the British Library. All trademarks, registered names etc acknowledged in this publication are to be the property of their respective owners. Disclaimer: The views expressed in this book are of the author(s) and do not necessarily reflect the views of the BCS except where explicitly stated as such. Although every care has been taken by the authors, the editors, the publishers and the BCS in the preparation of the publication, no warranty is given by the authors, the editors, the publisher or the BCS as to the accuracy or completeness of the information contained within it and neither the authors, the editors, the publishers nor the BCS shall be responsible or liable for any loss of damage whatsoever arising by virtue of such information or any instructions or advice contained within this publication or by any of the aforementioned.
    [Show full text]
  • BCS-FACS: a Report from the Trenches
    FACS FACTS The Newsletter of the BCS Specialist Group in Formal Aspects of Computing Science Issue 2003-1 July 2003 ISSN 0950-1231 Contents Editorial.................................................................................................. 1 BCS-FACS: A report from the trenches.................................................. 2 Some events sponsored/organised by the BCS-FACS group ................ 8 Conference and Workshop Reports ..................................................... 10 ZB2003 conference report ................................................................... 10 FORTEST meeting report .................................................................... 12 Object Oriented Technology in Aviation Workshop .............................. 14 Book Announcements.......................................................................... 15 Some Forthcoming Events................................................................... 16 European Association for Theoretical Computer Science..................... 17 Posts in Formal Methods ..................................................................... 18 FACS Officers...................................................................................... 18 Editorial FACS FACTS is the newsletter of the BCS Formal Aspects of Computing Science (FACS) specialist group. It publishes reports on events organised or attended by the group, and announcements of relevant conferences, books, etc. Previously it was known as FACS EUROPE as it was published in association with the FM
    [Show full text]
  • Professional Qualifications for Corporate Membership Exemption from Professional Assessment
    THE HONG KONG INSTITUTION OF ENGINEERS 香港工程師學會 Professional Qualifications for Corporate Membership Exemption from Professional Assessment (Candidates must read this leaflet in conjunction with M3 Routes to Membership) The following Institutions have Reciprocal Recognition Agreements (RRAs) with the HKIE. Corporate Members of these Institutions may be admitted to the HKIE in a corresponding discipline, without a Professional Assessment, providing they have undergone a Professional Assessment/Review1 which includes an interview by the parent Institution. These Agreements only apply to those Members of the HKIE and Members of these Institutions who have been admitted via normal procedures and do not apply to Members of these Institutions who joined via their own RRAs. The RRAs do not apply to Mature Route Candidates except in the case of The Institution of Civil Engineers (ICE). All applications will be subject to verification by the parent Institution, endorsement by the HKIE Qualifications and Membership Board and final approval of the Council. The eligibility for holders of the professional qualifications from the Institutions below to a particular discipline shall be assessed and allocated by the HKIE. Under the RRAs, the HKIE retains full discretion as to the admission of any candidate to Corporate Membership. The HKIE also retains the right to require whatever additional assessment deemed necessary in individual cases, or even not to accept an application. In the circumstances that a discipline matching interview is required, the applicant may be asked questions related to his/her competences. Only two Corporate Member supporters, in the same discipline as the applicant, are required when completing the Corporate Membership application form (Form 1/MD).
    [Show full text]