DOCSLIB.ORG

About the Contributors

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
About the Contributors 500 About the Contributors Luigia Petre is a university lecturer at Åbo Akademi University, Department of Information Tech- nologies, Turku, Finland. She got her PhD in Computer Science in 2005 on modeling techniques in formal methods. Her research interests include energy modeling, network availability, integration of formal methods, and time and space dependent computing. She has co-organized major conferences in her field such as the Integrated Formal Methods (IFM) 2002 as well as Formal Methods (FM) 2008. She has been in the programme committee of IFM in 2002, 2004, 2005, and 2007. Currently, she is coordi- nating NODES - a Nordic Dependability Network, concerned with deploying a dependability curriculum for the Nordic countries. She is a researcher in the EC-funded project DEPLOY. She has about 30 ref- ereed publications. Kaisa Sere is a Professor of Computer Science and Engineering at Åbo Akademi University since 1997. She got her PhD in 1990 on the formal design of parallel algorithms from Åbo Akademi University. Between 1993-97, she was Associate Professor in Computer Science at University of Kuopio. She is the founder and leader of the Distributed Systems Laboratory that contains about 25 researchers. Her current research interests are within the design of dependable distributed systems, especially refinement-based approaches to the construction of systems ranging from pure software to hardware and digital circuits. Her research has been supported by the Academy of Finland as well as by the EU framework programmes 5 to 7 with several grants. She has organised several summer schools, conferences, and workshops within her research areas. She was the vice chair of the Council of Natural and Engineering Sciences at the Academy of Finland (1.1.2004-1.12.2009). Kaisa Sere has more than 100 refereed publications. Elena Troubitsyna is an Academy Research Fellow at the Academy of Finland. She got her PhD in Computer Science in 2000 on design methods for dependable systems. Her research interests include application of formal methods to development of dependable fault tolerant systems. She also conducts research on combining formal methods with informal techniques of safety analysis and semi-formal design techniques such as UML. She has worked on applying formal methods to development of an industrial fault-tolerant system within EU IST projects MATISSE, RODIN, and DEPLOY. * * * Naveed Ahmed is a PhD student in the Department of Informatics and Mathematical Modeling at Technical University of Denmark. He is actively involved in the research related to the rigorous defini- tions of security from the perspective of a system developer; in particular, he studies communication About the Contributors security protocols and their security tradeoffs in a system, using formal mathematical models. He also has conducted some research on the interplay of usability and security. His other research interests in- clude philosophy and foundation of security. Prior to the PhD studies, he completed a Master’s degree in System-on-Chip design from Royal Institute of Technology, Sweden. He had been involved in the development of various propriety embedded systems in the industry for several years. Pontus Boström received his PhD from the Department of Information Technology, Åbo Akademi University, Finland in 2008. He is now working as a post-doctoral researcher at the Distributed Systems Design Laboratory at the same department. His research interests include application of formal methods to different types of verification problems. Recently the research has centered around methods for formal analysis of contracts in Simulink. Gyrd Brændeland received her Cand. Philol. degree from the University of Oslo in 2003. She is currently undertaking her PhD on to the topic of component-based risk analysis at the University of Oslo. She is also employed part time at SINTEF where she is involved in international as well as national re- search projects. Her principal current involvement is a research project addressing dynamic risk analysis and decision support in emergency situations. Her main research interests are formal specification and reasoning about risks in modular and dynamic systems. David Byers received his M.Sc. in Computer Science from Linköping University in 1995 and has since been working in research and development primarily in the areas of source code analysis and software engineering, both in academia and industry. Current research interests include processes for software security, Web security and system and network security. Mr. Byers is currently engaged in research concerning software engineering of secure systems, with a particular focus on security in agile processes, as well as rigorous methods for improving development practices with respect to security. Gabriele Costa received his M.Sc. in Informatics in 2006. He is currently a Ph.D. student in Com- puter Science at University of Pisa and a researcher of the Information Security Group of IIT-CNR. His research interests concern the foundational and practical aspects of the security of programming languages. Nicola Dragoni obtained a M.S. Degree in Computer Science in 2002 and a Ph.D. in Computer Sci- ence in 2006, both at University of Bologna, Italy. From 2002 to 2006, he also worked as Research As- sistant at the Department of Computer Science at the same University. He visited the Knowledge Media Institute at the Open University (UK) and the MIT Center for Collective Intelligence (USA), respectively in 2004 and 2006. In 2007 and 2008 he joined University of Trento as post-doctoral Research Fellow working on the S3MS project. Between 2005 and 2008 he also worked as freelance IT consultant. Since 2009 he is an Assistant Professor in security and distributed systems at the Department of Informatics and Mathematical Modelling at Denmark Technical University (DTU). Olga Gadyatskaya received a PhD degree in Mathematics in 2008 at Novosibirsk State Univer- sity (Russia). From 2007 to 2008, she also worked as a researcher at the Institute of Computational Mathematics and Mathematical Geophysics of the Siberian Branch of Russian Academy of Science (Russia). She was an instructor at Novosibirsk State University from 2005 to 2008. Since 2009, she is a 501 About the Contributors post-doctoral research fellow in Department of Information Engineering and Computer Science of the University of Trento (Italy). Her research interests include security policies and load-time verification approaches for smart cards. Moises Goldszmidt is a principal researcher with Microsoft Research in the Silicon Valley campus. His research interests include probabilistic reasoning, graphical models, statistical machine learning, statistical pattern recognition, and the automated diagnosis, forecasting, and control of large distributed systems. Prior to Microsoft, Moises held similar positions with Hewlett-Packard Labs, SRI International, and Rockwell Science Center, and was a principal scientist with Peakstone Corporation (start-up). Dr. Goldszmidt has a PhD degree in Computer Science from the University of California in Los Angeles (1992). http://research.microsoft.com/en-us/people/moises/ Denis Grotsev is a Senior Lecturer at the Computer Science department, Kazakh National University (Kazakhstan). He received his BSc in Applied Mathematics as well as an MSc and a PhD in Computer Science from this University. In 2006-2007, he was involved in long-term corporate projects with the National Bank of Kazakhstan focusing on the elicitation of users’ requirements and evolution of the legacy financial software. In 2007-2009, he co-founded a GPS tracking Web service; over that period, he worked on developing mechanisms for aggregating large datasets produced by sensor networks. His research interests are parallel and distributed computing, high utilization of available hardware, fault- tolerance of multiagent systems, elicitation and specification of system requirements, formal software development, cloud computing, in-memory database and data stream management systems, and design of (embedded) domain specific languages. Ossama Hamouda is currently post-doc researcher in the Dependable Computing and Fault Toler- ance Research Group of LAAS-CNRS. He received the M.Sc. degree in computer engineering in 2005 from the Arab Academy for Science and Technology, Alexandria, Egypt and the Master of Research degree in computing systems from Paul Sabatier University, Toulouse, France, in 2006. He received his PhD degree in July 2010 in computing systems from Paul Sabatier University. His work is focused on the dependability modelling and evaluation of vehicular applications based on mobile ad-hoc networks. His research has been partially carried out in the context of the HIDENETS HIghly Dependable ip-based NETworks and Services IST-FP6 European project. From February 2002 to February 2006, he was a Teaching Assistant at the Arab Academy for Science and Technology, Cairo, Egypt. In this period, his research was focused on the performance evaluation of mobile ad-hoc networks. Mikko Heikkilä graduated as M.Sc. at Tampere University of Technology (TUT) majoring in machine automation in 2009. He has worked at Department of Intelligent Hydraulics and Automation (IHA) as a member of digital hydraulics research group since 2008. His main interests are in fault tolerance of digital hydraulic systems and fault tolerant control algorithms. In his Master’s thesis, he researched fault detection and diagnosis of a digital displacement pump.
Load more

Recommended publications
  • Macquarie a Smart Investment
    Macquarie a smart investment Macquarie is Australia’s best modern university, so you’ll graduate with an internationally respected degree We adopt a real-world approach to learning, so our graduates are highly sought-after. CEOs worldwide rank Macquarie among the world’s top 100 universities for graduate recruitment Our campus is surrounded by leading multinational companies, giving you unparalleled access to internships and greater exposure to the Australian job market You will love the park-like campus for quiet study or catching up with friends among the lush green surrounds Investments of more than AU$1 billion in facilities and infrastructure ensure you have access to the best technology and facilities Our friendly, welcoming campus community is home to students from over 100 countries 2 MacquarIE UNIVERSIty Contents FACULTY OF ARTS 5 Media and creative arts 6 Security and intelligence 8 Society, history and culture 10 Macquarie Law School 14 FACULTY OF BUSINESS AND EcoNOMIcs 17 Business 18 MACQUARIE GRADUATE SCHOOL OF MANAGEMENT 22 FACULTY OF HumaN SCIENCEs 23 Education and teaching 24 Health sciences 29 Linguistics, translating and interpreting 32 Psychology 35 MEDICINE AND SURGERY 38 FACULTY OF SCIENCE 39 Engineering and information technology 40 Environment 42 Science 47 Higher degree research at Macquarie 50 How to apply: your future starts here 52 English language requirements 54 This is just the beginning: discover more 55 This document has been prepared by the The University reserves the right to vary Marketing Unit, Macquarie University. The or withdraw any general information; any information in this document is correct at course(s) and/or unit(s); its fees and/or time of publication (July 2013) but may the mode or time of offering its course(s) no longer be current at the time you refer and unit(s) without notice.
    [Show full text]
  • 2021 International Higher Degree Research Tuition Fees
    2021 International Higher Degree Research Tuition Fees The following table outlines tuition fees for international students undertaking Higher Degree Research studies at Western Sydney University. Doctorate candidates are entitled to a maximum of 4 years full-time candidature (or part-time equivalent) and Masters by Research candidates are entitled to a maximum of 2 years full-time candidature (or part-time equivalent). Any extensions of candidature beyond this time must be approved by Western Sydney University and further tuition fees may be applied. Higher degree research tuition fees are reviewed each calendar year and may increase accordingly. For further information about fees, please refer to the Western Sydney University website: https://www.westernsydney.edu.au/future/study/courses/research/higher-degree-research-fees.html Tuition Fees Per Annual Tuition Fees Course Code Course Title Course Version Course Status High Cost / Low Cost Full-time Session (AUD$) (AUD$) School of Business 8048 Doctor of Philosophy - Business 1 Current Low Cost $14,200.00 $28,400.00 8038 Doctor of Philosophy 1 Current N/A $13,820.00 $27,640.00 8094 Master of Philosophy (Commerce) 1 Current Low Cost $13,470.00 $26,940.00 8049 PhD by Publication - Business 1 Current Low Cost $14,200.00 $28,400.00 School of Computer, Data and Mathematical Sciences 8050 Doctor of Philosophy - Computing, Engineering, Mathematics 1 Current Low Cost $14,200.00 $28,400.00 8112 Master of Information and Communications Technology (Research) 2 Current High Cost $17,470.00 $34,940.00
    [Show full text]
  • Du Genie Logiciel Pour Deployer, Gerer Et Reconfigurer Les Logiciels Fabien Dagnat
    Du genie logiciel pour deployer, gerer et reconfigurer les logiciels Fabien Dagnat To cite this version: Fabien Dagnat. Du genie logiciel pour deployer, gerer et reconfigurer les logiciels. Interface homme- machine [cs.HC]. Télécom Bretagne; Institut Mines-Télécom, 2016. tel-01323059 HAL Id: tel-01323059 https://hal.archives-ouvertes.fr/tel-01323059 Submitted on 30 May 2016 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Habilitation à Diriger les Recherches de l’Université de Rennes 1 Du génie logiciel pour déployer, gérer et reconfigurer les logiciels Fabien Dagnat IRISA, Équipe PASS Soutenue le 15 janvier 2016 à Télécom Bretagne, site de Brest devant le jury composé de Olivier Barais Professeur de l’Université de Rennes 1 Président Laurence Duchien Professeur de l’Université de Lille 1 Rapporteur Vincent Englebert Professeur de l’Université de Namur Rapporteur Daniel Le Berre Professeur de l’Université d’Artois Rapporteur Frédéric Boniol Maître de Recherche à l’ONERA et Professeur Membre de l’INP de Toulouse Antoine Beugnard Professeur à Télécom Bretagne Membre Remerciements Tous mes remerciements aux nombreuses personnes que j’ai croisée et avec qui j’ai travaillé.
    [Show full text]
  • College of Science & Engineering
    Calendar 2010-11 COLLEGE OF SCIENCE & ENGINEERING HEAD OF COLLEGE: Professor John Chapman Dean of Graduate Studies: Professor Jon Cooper Dean of Learning & Teaching: Professor David Fearn DATES OF SEMESTERS Semester 1: 20th September 2010 - 17th December 2010 Christmas Vacation: 20th December 2010 - 7th January 2011 Semester 2: 10th January 2011 - 27th May 2011 Spring Vacation: 28th March 2011 - 15th April 2011 CONTENTS LIST Contents Page Undergraduate Generic Undergraduate Regulations ……………………..…………… 4 Supplementary Undergraduate Regulations Degrees of Master of Engineering, Bachelor of Engineering and Bachelor of Science in Engineering ………………………………… 8 Degrees of Bachelor of Science and Master in Science ……………. 11 Postgraduate Research Students ………………………………………………………. 16 Generic Regulations for Postgraduate Certificates and Diplomas …. 16 Generic Regulations for Masters Degrees Generic Regulations for Taught Masters Degrees …………………… 18 Degree of Master of Research …………………………………………. 21 Degree of Master of Science …………………………………………… 22 Non Generic Masters Regulations Degree of Master of Science in Environmental Science …………….. 26 Degree of Master of Science in Geotechnics ………………………… 26 Degree of Master of Science in Ship and Offshore Structures ……... 26 Degree of Master of Science in Marine Technology …………………. 26 Degree of Master of Science in System Level Integration and Master of Science in System Level Integration (by Distance Learning) ……………………………………………………………….. 35 Generic Regulations for Doctorate Degrees Degree of Doctor of Philosophy ………………………………………... 41 Degree of Doctor of Science …………………………………………… 47 Non Generic Doctorate Regulations Degree of Doctor of Engineering in Optics and Photonics Technologies …………………………………………………………... 48 Degree of Doctor of Engineering in System Level Engineering ……. 51 Degree of Doctor of Science in Engineering ………………………….. 57 SUMMARY OF AWARDS MADE IN THE COLLEGE OF SCIENCE & ENGINEERING The University awards the following degrees in the College of Science & Engineering.
    [Show full text]
  • University Calendar 2015-16: the Glasgow School Of
    Calendar 2015-16 DEGREES, DIPLOMAS AND CERTIFICATES AWARDED IN CONJUNCTION WITH THE GLASGOW SCHOOL OF ART CONTENTS LIST Page Appeals by Students ........................................................................................ 4 Introduction ...................................................................................................... 4 Degree of Bachelor of Arts ............................................................................... 5 Degree of Bachelor of Architecture .................................................................. 7 Diploma in Architecture and Master of Architecture by Conversion Degree ........................................................................................................... 10 Degrees in Product Design Engineering ........................................................ 12 Degrees of Bachelor of Design in Product Design and Master of European Design in Product Design .............................................................. 14 Discontinued Degrees .................................................................................... 17 Taught Postgraduate Awards at The Glasgow School of Art ......................... 17 Degree of Master of Architectural Studies ...................................................... 21 Degree of Master of Science in Product Design Engineering ........................ 24 Degree of Master of Philosophy ..................................................................... 27 Degree of Master of Research ......................................................................
    [Show full text]
  • Doctoral Studies and Qualifications in Europe and the United States: Status and Prospects
    Studies on Higher Education Doctoral Studies and Qualifications in Europe and the United States: Status and Prospects Edited by Jan Sadlak Bucharest 2004 Studies on Higher Education Editor of the Series: Daniel Lincoln Assistants to the Editor: Maria-Ana Dumitrescu (Editing Clerk) Viorica Popa (Secretary) ISBN 92-9069-179-4 © UNESCO 2004 Table of Contents Preface – and Introduction to Theme ................................................7 JAN SADLAK I. Austria............................................................................................13 HANS PECHAR and JAN THOMAS 1. General Features of Austrian Higher Education ...........................13 2. Doctoral Studies............................................................................14 3. Access to Doctoral Studies............................................................16 4. Recognition of Foreign Degrees .....................................................20 5. Problems and Challenges..............................................................22 6. Recent Developments ....................................................................26 II. France.............................................................................................37 JEAN LEMERLE 1. Introduction ..................................................................................37 2. Quantitative Trends ......................................................................38 3. Award of Doctoral Degrees and Qualifications..............................40 4. Admission to Doctoral Studies......................................................43
    [Show full text]
  • Research Turned Into Action the Global Governance Programme
    ROBERT SCHUMAN CENTRE FOR ADVANCED STUDIES RESEARCH TURNED INTO ACTION The Global Governance Programme FOREWORD The Global Governance Programme, with its re- “A New Governance for the European Union and the search, policy and training dimensions, provides a Euro: Democracy and Justice”. European setting to conduct research at the highest The GGP is also proud of having, among its research level and promote synergies between research and projects, the Globalisation Database (GDB) that col- policy-making, to generate ideas and to identify crea- lects and unites statistical resources on trends and in- tive and innovative solutions to global challenges. dicators of globalisation. Indicators not only measure In 2012, the Programme significantly enriched its re- and describe reality, but also have the potential to steer search dimension introducing four research strands and direct political, administrative and institutional – Modes of Global Governance, International Trade behaviour in the areas in which they are applied. For Observatory, Development, and Climate Govern- this reason, their emergence and application in global ance. The research strands mirror the cross-relation governance is increasingly recognised as one of the and cross-fertilisation necessary, now more than ever, complex modes of “governance without government” for true global governance. Co-ordinated by leading at global level, and their analysis is hence an urgent scholars, over the past year, the strands have brought demand. together global thinkers and actors of the calibre of In 2013, the GGP High-Level Policy Seminars will of- Lawrence Lessig, Ben Hammersley, and Thomas C. fer even more opportunities for the worlds of research Heller, to mention but a few, to analyse and discuss and policy to dialogue and put forward solutions to respectively, new forms of political participation, issues such as the prospect of the Euratom Treaty ap- the role of the Internet in social trends, and climate proach in the Middle East, gender quotas at global change.
    [Show full text]
  • STAGE 1. Thinking About PGT Study?
    STAGE 1. Thinking about PGT study? A clear idea of what you want and/or need from postgraduate study, before you start looking, can help focus your search. Whatever your circumstances, here are some questions you might find it useful to consider. Why do people undertake postgraduate study? In most cases, the answer to this question relates in some way to employment or their career. A postgraduate qualification can: help to enhance job prospects (entry to a career); facilitate a change in career; provide specialist knowledge (enabling progression, including into doctoral research); or help you stand out in the crowded graduate employment market. Others study simply for personal interest, love of the subject or of learning, for self-development and/or to stay in the higher education environment. Would it make me more employable? Having a postgraduate qualification can make some people more employable, but this depends on both the person and the employer for which they want to work. Some employers will place additional value on a postgraduate qualification in addition to a first degree, but not all – the situation varies in different sectors and also from employer to employer. For some specialist roles and employers, it may be a requirement to have a postgraduate qualification. If your first degree grade was not as good as you hoped, it is not automatic that an additional postgraduate qualification would compensate for this, and it would be wise to consult potential employers to see how they would view it. To find out more about how a postgraduate qualification could assist your own career, we recommend getting some professional advice.
    [Show full text]
  • Lecture Notes in Computer Science 5014 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan Van Leeuwen
    Lecture Notes in Computer Science 5014 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 Alfred Kobsa University of California, Irvine, CA, 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 University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany Jorge Cuellar Tom Maibaum Kaisa Sere (Eds.) FM 2008: Formal Methods 15th International Symposium on Formal Methods Turku, Finland, May 26-30, 2008 Proceedings 13 Volume Editors Jorge Cuellar Siemens Corporate Technology Otto-Hahn-Ring 6 81730 München, Germany E-mail: [email protected] Tom Maibaum McMaster University Software Quality Research Laboratory and Department of Computing and Software 1280 Main St West, Hamilton, ON L8S 4K1, Canada E-mail: [email protected] Kaisa Sere Åbo Akademi University Department of Information Technology 20520 Turku, Finland E-mail: kaisa.sere@abo.fi Library of Congress Control Number: 2008927062 CR Subject Classification (1998): D.2, F.3, D.3, D.1, J.1, K.6, F.4 LNCS Sublibrary: SL 2 – Programming and Software Engineering ISSN 0302-9743 ISBN-10 3-540-68235-X Springer Berlin Heidelberg New York ISBN-13 978-3-540-68235-6 Springer Berlin Heidelberg New York This work is subject to copyright.
    [Show full text]
  • Formal Model-Based Development of Network-On-Chip Systems
    Formal Model-Based Development of Network-on-Chip Systems Leonidas Tsiopoulos Åbo Akademi University Department of Information Technologies Joukahaisenkatu 3-5 A, 20520 Turku, Finland 2010 Supervised by Professor Kaisa Sere Department of Information Technologies Åbo Akademi University Joukahaisenkatu 3-5 A, FI-20520 Turku Finland Reviewed by Professor Jüri Vain Department of Computer Science Tallinn University of Technology Raja 15, 12618 Tallinn Estonia Senior Researcher, Ph.D. Pasi Liljeberg Department of Information Technology University of Turku FI-20014, Turku Finland Opponent Professor Jüri Vain Department of Computer Science Tallinn University of Technology Raja 15, 12618 Tallinn Estonia ISBN 978-952-12-2438-6 Painosalama Oy – Turku, Finland 2010 Abstract Advances in technology allow us to have thousands of computational and storage modules communicating with each other on a single electronic chip. Well defined intercommunication schemes for such Systems–on–Chip are fundamental for handling the increasing complexity. So called bus–based and bus matrix–based communication frameworks for Systems–on–Chip face immense pressure of the increasing size and complexity, unable to offer the scalability required. The Network–on–Chip communication paradigm for Systems–on–Chip has been introduced to answer the given challenges offering very high communication bandwidth and network scalability through its generally regular structure. The communication between the modules of a System–on–Chip is generally categorised as synchronous or asynchronous, with a recent shift towards Globally Asynchronous Locally Synchronous Systems–on–Chip. In such systems each module can be synchronised to a private local clock but their intercommunication is established asynchronously, relying on request and acknowledgement communication handshakes.
    [Show full text]
  • August 2014 FACS a C T S
    Issue 2014-1 August 2014 FACS A C T S The Newsletter of the Formal Aspects of Computing Science (FACS) Specialist Group ISSN 0950-1231 FACS FACTS Issue 2014-1 August 2014 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 Editors Tim Denvir [email protected] Brian Monahan [email protected] Editorial Team Jonathan Bowen, Tim Denvir. Brian Monahan, Margaret West. Contributors to this Issue Jonathan Bowen, Tim Denvir, Eerke Boiten, Rob Heirons, Azalea Raad, Andrew Robinson. 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 2014-1 August 2014 Editorial Welcome to issue 2014-1 of FACS FACTS. This is the first issue produced by your new joint editors, Tim Denvir and Brian Monahan. One effect of the maturity of formal methods is that researchers in the topic regularly grow old and expire. Rather than fill the issue with Obituaries, we have taken the course of reporting on most of these sad events in brief, with references to fuller obituaries that can be found elsewhere, in particular in the FAC Journal.
    [Show full text]
  • Postgraduate Senate Regulations 2019-20
    Postgraduate senate regulations 2019-20 Document type Policy Scope (applies to) All students Applicability date 31/07/2019 Review date 30/08/2020 Approved date 14/10/2019 Approver Academic Council Document owner Academic Policy Officer School / unit Office of the Principal Document status Published Information classification Public Equality impact assessment None Key terms Academic policies/Assessment, examination and award/PG Senate regulations Purpose Senate regulations governing all postgraduate degrees. Version Purpose / changes Document Author of Date number status changes, role and school / unit 1.2 Updated appeal Emily Feamster, 13 Oct 2019 procedure for MD by Academic Portfolio, DSc and Policy Officer, DLitt. Principal’s Office Postgraduate Senate Regulations 2019-20 UNIVERSITY OF ST ANDREWS POSTGRADUATE SENATE REGULATIONS 2019-2020 1. COURT RESOLUTIONS The University has the power to confer degrees under the various Court Ordinances and Resolutions detailed below. The full text of each can be found on the University Court website at www.st-andrews.ac.uk/about/UniversityCourt/Ordinancesandresolutions. The Senatus Academicus, with the approval of the University Court, has the power to make regulations on any matters in order to give effect to these instruments. Ordinance No.6 (Scottish Universities) – Regulations for the Degree of Doctors of Letters (DLitt) (13 May 1959) Ordinance No.350 (General No.12) – Regulations for Research Students and Appointment of Research Fellows (12 September 1960) Resolution 1974 No.3 – Degree of the
    [Show full text]