Division of Informatics, University of Edinburgh
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Sketches: Outline with References by Charles Wells Addendum 15 September 2009
This package is licensed under a Creative Commons Attribution-ShareAlike 2.5 License. Sketches: Outline with References by Charles Wells Addendum 15 September 2009 This package contains the original article, written in December, 1993, and this addendum, which lists a few references to papers and books that have been written since 1993. Additional and Updated References Atish Bagchi and Charles Wells, Graph Based Logic and Sketches. May be downloaded from http://arxiv.org/PS cache/arxiv/pdf/0809/0809.3023v1.pdf Michael Barr and Charles Wells, Toposes, Triples and Theories. Revised and corrected edition now available online at http://www.case.edu/artsci/math/wells/pub/pdf/ttt.pdf Michael Barr and Charles Wells, Category Theory for Computing Science, third edi- tion (1999). Les Publications CRM, Montreal. Zinovy Diskin and Uwe Wolter, A diagrammatic logic for object-oriented visual model- ing. Electronic Notes in Theoretical Computer Science (2006). May be downloaded from http://www.cs.toronto.edu/ zdiskin/Pubs/ACCAT-07.pdf Ren´eGuitart, The theory of sketches. Journ´eesFaiscaux et Logique (1981). Online at http://pagesperso-orange.fr/rene.guitart/textespublications/guitart81theosketches.pdf Peter Johnstone, Sketches of an Elephant, Vol. 2, Chapter D2. Oxford University Press (2003). Yoshiki Kinoshita, John Power, and Makoto Takeyama. Sketches. In Mathematical Foun- dations of Programming Semantics, Thirteenth Annual Conference, Stephen Brookes and Michael W. Mislove, editors. Elsevier (1997). Michael Makkai, Generalized sketches as a framework for completeness theorems. Journal of Pure and Applied Algebra 115 (1997): 49-79, 179-212, 214-274. 1 Sketches: Outline with References∗ Charles Wells 8 December 1993 1 Introduction 1.1 Purpose directory math/wells. -
Axiomatizing Category Theory in Free Logic
Axiomatizing Category Theory in Free Logic Christoph Benzm¨uller1 and Dana S. Scott2 1University of Luxemburg, Luxemburg & Freie Universit¨at Berlin, Germany 2Visiting Scholar at University of Califormia, Berkeley, USA October 15, 2018 Abstract Starting from a generalization of the standard axioms for a monoid we present a step- wise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL interactive proof as- sistant, and this formalization utilizes a semantically correct embedding of free logic in classical higher-order logic. The modeling and formal analysis of our axiom sets has been significantly supported by series of experiments with automated reasoning tools integrated with Isabelle/HOL. We also address the relation of our axiom systems to alternative pro- posals from the literature, including an axiom set proposed by Freyd and Scedrov for which we reveal a technical issue (when encoded in free logic): either all operations, e.g. morphism composition, are total or their axiom system is inconsistent. The repair for this problem is quite straightforward, however. 1 Introduction We present a stepwise development of axiom systems for category theory by generalizing the standard axioms for a monoid to a partial composition operation. Our purpose is not to make or claim any contribution to category theory but rather to show how formalizations involving the kind of logic required (free logic) can be validated within modern proof assistants. A total of eight different axiom systems is studied. The systems I-VI are shown to be equiva- lent. The axiom system VII slightly modifies axiom system VI to obtain (modulo notational arXiv:1609.01493v5 [cs.LO] 12 Oct 2018 transformation) the set of axioms as proposed by Freyd and Scedrov in their textbook “Cat- egories, Allegories” [10], published in 1990; see also Subsection 9.2 where we present their original system. -
A Philosophy of Technology for Computational Law
© Mireille Hildebrandt, draft chapter for OUP’s The Philosophical Foundations of Information Technology Law, eds. David Mangan, Catherine Easton, Daithí Mac Síthigh A philosophy of technology for computational law Abstract: This chapter confronts the foundational challenges posed to legal theory and legal philosophy by the surge of computational law. Two types of computational law are at stake. On the one hand we have artificial intelligence in the legal realm that will be addressed as data-driven law, and on the other hand we have the coding of self-executing contracts and regulation in the blockchain, as well as other types of automated decision making (ADM), addressed as code-driven law. Data-driven law raises problems due to its autonomic operations and the ensuing opacity of its reasoning. Code-driven law presents us with a conflation of regulation, execution and adjudication. Though such implications are very different, both types of computational law share assumptions based on the calculability and computability of legal practice and legal research. Facing the assumptions and implications of data- and code-driven law the chapter will first investigate the affordances of current, text-driven law, and relate some of the core tenets of the Rule of Law to those affordances. This will lead to an enquiry into what computational law affords in terms of legal protection, assuming that one of the core functions of the law and the Rule of Law is to protect what is not computable. Keywords: positive law, rule of law, legal certainty, justice, -
Business Informatics
Reģ.Nr.90000068977, Kaļķu iela 1, Rīga, LV-1658, Latvija Tālr.:67089999; Fakss:67089710, e-pasts:[email protected], www.rtu.lvwww.rtu.lv Study programme "Business Informatics" Main attributes Title Business Informatics Identification code DMB0 Education classification code 45481 Level and type Academic Master Study Higher education study field Information Technology, Computer Engineering, Electronics, Telecommunications, Computer Control and Computer Science Head of the study field Agris Ņikitenko Deputy head of the study field Jurģis Poriņš Department responsible Faculty of Computer Science and Information Technology Head of the study programme Mārīte Kirikova Professional classification code The type of study programme Full time, Part time Language English Accreditation 31.05.2013 - 30.06.2023; Accreditation certificate No 2020/38 Volume (credit points) 80.0 Duration of studies (years) Full time studies - 2,0; Part time studies - 2,5 Degree or/and qualification to be obtained Master Degree of Engineering Science in Business Informatics Qualification level to be obtained The 7th level of European Qualifications Framework (EQF) and Latvian Qualifications Framework (LQF) Programme prerequisites Bachelor Degree of Engineering Sciences, or Natural Sciences. or Social Sciences (Economics, Business Administration), or Professional Bachelor Degree in Named Branches of Science Related Fields, or comparable education Description Abstract Business Informatics is a new study program with interdisciplinary features. It was launched by RTU in 2010/11 and accredited on November 23, 2011 for 6 years. The program is developed and implemented in cooperation with the University of Buffalo (USA) and International Business Machines Corporation (IBM). The study program „Business Informatics” (total 120 ECTS) consists of 63 ECTS of Compulsory courses, 21 ECTS of Compulsory Limited Choice courses, 6 ECTS - Free Choice, and 30 ECTS - Master Paper. -
Student Guide to Msc Studies Institute of Informatics, University of Szeged
Student Guide to MSc Studies Institute of Informatics, University of Szeged 2. Contact information Address: Árpád square 2, Szeged, Hungary Postal Address: Institute of Informatics 6701 Szeged, Hungary, P. O. Box 652. Telephone: +36 62 546396 Fax: +36 62 546397 E-mail: [email protected] Url: http://www.inf.u-szeged.hu 2 3. Contents 1. Title page................................................................................................................................1 2. Contact information...............................................................................................................2 3. Contents.................................................................................................................................3 4. Foreword................................................................................................................................4 5. Organization...........................................................................................................................5 6. Main courses..........................................................................................................................6 7. Education...............................................................................................................................8 8. Research...............................................................................................................................10 9. Miscellania...........................................................................................................................11 -
The Bulletin of Symbolic Logic the Bulletin of Symbolic Logic
THE BULLETIN OF SYMBOLIC LOGIC THE BULLETIN OF SYMBOLIC LOGIC Edited by Frank Wagner, Managing Editor Vol. 21 Vol. Patricia Blanchette Menachem Kojman Andrea Cantini Leonid Libkin Thierry Coquand André Nies . Number 1 Deirdre Haskell Reviews Editors Ernest Schimmerling, Managing Editor for Reviews . March 2015 March Mark Colyvan Colin McLarty Anuj Dawar Rahim Moosa Michael Fourman Henry Towsner Steffen Lempp Kai Wehmeier . Pages 1-110 Bernard Linsky VOLUME 21 • NUMBER 1 • MARCH 2015 • ISSN 1079-8986 Copyright © 2015 by the Association for Symbolic Logic. All rights reserved. Reproduction by photostat, photo-print, microfi lm, or like process by permission only. Cambridge Journals Online For further information about this journal please go to the journal web site at: journals.cambridge.org/bsl PUBLISHED BY CAMBRIDGE UNIVERSITY PRESS FOR AND ON BEHALF OF THE ASSOCIATION OF SYMBOLIC LOGIC. The BULLETIN, the JOURNAL and the REVIEW OF SYMBOLIC LOGIC are the official organs of the Association for Symbolic Logic, an international organization for furthering research in logic and the exchange of ideas among mathematicians, computer scientists, linguists, and others interested in this fi eld. The BULLETIN encourages submissions of Articles and Communications in all areas of logic, including mathematical or philosophical logic, logic in computer science or linguistics, the history or philosophy of logic, and applications of logic to other fields. The BULLETIN also publishes reviews of publications in logic. Editors THE BULLETIN OF SYMBOLIC LOGIC (ISSN print: 1079–8986, ISSN online: 1943–5894) is pub- Frank Wagner (Managing Editor), Insitut Camille Jordan, UMR 5208, Bâtiment Braconnier, Université lished quarterly, in the months of March, June, September. -
Legal Technology & Informatics: Syllabus
Legal Technology & Informatics: Syllabus Think Outside The Bar Notre Dame Law School Spring Semester, 2015 Ron Dolin, JD, PhD, CoInstructor Jason Boehmig, JD, CoInstructor Synopsis: Legal technology is rapidly transforming both the practice and nature of law. This class seeks to explore both the current trends and the future possibilities of this transformation, as we begin to train the future generation of technology savvy lawyers, and technologists who understand the intricacies and potential of what the law could be. Legal informatics could be defined as a computational perspective of law: where does legal information reside, and how is it manipulated and transmitted? Note that there are no prerequisites for this class beyond an interest in the subject. There are numerous examples of technologically driven legal transformation. Case law search has moved from hard copy to closed digital systems such as Westlaw and LexisNexis, and into free cloudbased systems such as Google Scholar and Ravel Law. More and more statutes are available online. Changes can be seen in ediscovery, privacy, the delivery of (online) legal services, and the budding legal technology startup community. As a result, questions arise as to the proper statutory and ethical framework for the legal profession and the boundaries between humans and machines in implementing legal functions. Beyond the current and nearterm technologies, however, are core academic and philosophical questions that will have increasing import as machines gain in sophistication and capability. -
Is the Philosophy of the Information Systems Discipline Informed by the Arts and Humanities?
Article Is the Philosophy of the Information Systems Discipline Informed by the Arts and Humanities? Jan H. Kroeze http://orcid.org/0000-0001-7118-4853 University of South Africa [email protected] Abstract The Information Systems discipline (IS) is usually regarded as a social science because it includes research on human-related aspects of these systems. However, a limited number of IS research outputs use approaches that are typical of the traditional arts and humanities. Little recognition has been given to the arts and humanities-informed stream of the IS discipline. This article aims to clarify the subtle distinctions between these scientific constellations and IS’s place in it. It highlights the cluster of arts, humanities and IS in the inter-linked world of scientific disciplines and makes some recommendations to build further on these accomplishments. Keywords: philosophy of science; Information Systems; arts; humanities General Introduction The Information Systems discipline (IS) is usually regarded as a social science because it does not only study business applications of computer technology, but also the social aspects of these systems, which involve and affect humans (Heeks 2009). It is, therefore, no surprise that it frequently uses the same research approaches too, e.g. quantitative approaches such as surveys, as well as qualitative approaches such as action research, ethnography and case studies. To a more limited extent, however, one also finds research outputs that use constructs that are typical of the traditional humanities methodologies, such as hermeneutics, and even the fine arts. This may be because the social sciences and humanities are often regarded as one homogeneous group of knowledge fields. -
Social Informatics
Social Informatics Social Informatics: Past, Present and Future Edited by Pnina Fichman and Howard Rosenbaum Social Informatics: Past, Present and Future Edited by Pnina Fichman and Howard Rosenbaum This book first published 2014 Cambridge Scholars Publishing 12 Back Chapman Street, Newcastle upon Tyne, NE6 2XX, UK British Library Cataloguing in Publication Data A catalogue record for this book is available from the British Library Copyright © 2014 by Pnina Fichman, Howard Rosenbaum and contributors All rights for this book reserved. No part of this book may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording or otherwise, without the prior permission of the copyright owner. ISBN (10): 1-4438-5576-6, ISBN (13): 978-1-4438-5576-1 TABLE OF CONTENTS Contributor List ........................................................................................ vii Reviews ...................................................................................................... x Introduction .............................................................................................. xii Acknowledgements .................................................................................. xx Part I: Past Chapter One ................................................................................................ 2 The Past: Social Informatics as a Scientific and Intellectual Movement Howard Rosenbaum Chapter Two ............................................................................................ -
About the Contributors
314 About the Contributors Nijaz Bajgoric is a Professor of Business Computing and Information Technology Management at the School of Economics and Business, University of Sarajevo, Bosnia and Herzegovina. He has a PhD from the University of Sarajevo. He teaches and conducts research in information technol- ogy, business computing, information technology management and operating systems. He has published papers in the following peer-reviewed journals: International Journal of Enterprise Information Systems, Kybernetes, Information Management and Computer Security, Information Systems Management, Industrial Management and Data Systems, International Journal of Production Research, European Journal of Operational Research, International Journal of Agile Management Systems, Journal of Con- current Engineering, International Journal of Agile Manufacturing and has authored and co-authored chapters in the edited books published by: Elsevier Science, Kluwer Academic Publishers, CRC Press, and Auerbach Publications. His current areas of research include continuous computing technologies, business continuity, enterprise information systems, and information technology management. * * * Dr. Mehmet Aktas received his PhD in Computer Science from Indiana University in 2007. During his graduate studies, he worked as a researcher in Community Grids Laboratory of Indiana University in various research projects for six years. During this time period, Dr. Aktas has also worked for a num- ber of prestigious research institutions ranging from NASA Jet Propulsion Laboratory to Los Alamos National Laboratory in various projects. Before joining the Indiana University, Dr. Aktas attended Syra- cuse University where he received an MS Degree in Computer Science and taught undergraduate-level computer science courses. He is currently working as a senior researcher in Information Technologies Institute of TUBITAK-Marmara Research Center. -
Social Informatics
Spring 2018 LIS 421 - Social Informatics FACULTY INFORMATION Colin Rhinesmith, Assistant Professor School of Library and Information Science email: [email protected] phone: (617) 521-2881 website: http://crhinesmith.com pronouns: he/him/his Office Hours: Fridays, 2-3pm, Room P-313C or by appointment. COURSE SUMMARY "Social Informatics" refers to the body of research and study that examines social aspects of computerization - including the roles of information technology in social and organizational change and the ways that the social organization of information technologies are influenced by social forces and social practices. This graduate seminar is for students interested in the influence of information technology in the human context, including cultural heritage, professional concerns, and social inequities. The course introduces some of the key concepts of social informatics and situates them into the view of varied perspectives including readers, librarians, computer professionals, authors, educators, publishers, editors, and the institutions that support them. COURSE MATERIALS All required readings are available in Moodle as PDF files or links to online articles. COURSE STRUCTURE Week Start Date: Friday Week End Date: Thursday Unless otherwise specified anything assigned should be completed no later than the start of class on Thursday of that week at 3:00pm ET. LIS-421 Social Informatics p. 1 Course Syllabus LEARNING OBJECTIVES Upon completion of the course, students will be able to: 1. Describe a variety of social, political, and economic contexts that shape information and communication technologies (ICTs) and their impact on society. 2. Demonstrate knowledge of social systems and how they interact with ICTs. 3. Discuss concepts that illuminate the intersections of race, class, gender, identity, ability, and ICTs. -
New Directions for Work in Digital Scotland: a Knowledge Exchange Programme Seminar 1 Speaker Biographies
New Directions for Work in Digital Scotland: A Knowledge Exchange Programme Seminar 1 Speaker biographies Ms Alyson Mitchell Head of Digital Participation, Scottish Government “Embracing New Directions” Alyson Mitchell holds a newly created post within the recently formed Digital Division of the Scottish Government. This development recognises the importance of Digital Participation to 21st century Scotland and the social and economic benefits a digitally connected society bring. Increasing participation is about depth as well as breadth; escalating on-line participation by basic users as well as driving up the number of people routinely going on line. This applies equally to the business place and the home. Before taking up her current post Alyson was Head of International Networks and Diaspora. Her worked focussed on engagement with Diaspora groups, the development of Diaspora engagement policy and supporting on line communication tools. She joined the Scottish Government in 2002 as a Chief Press Officer. Her background is in broadcast journalism and programme production and she developed an interest in digital technologies while working for BBC Scotland. Mr Joseph Lockwood “Design Innovation” Joseph Lockwood is Programme Director for The Centre for Design Innovation, Forres at The Glasgow School of Art. He has over 14 years experience in SME business start-up, expansion and strategic change management, including strategic partnerships within the creative industries in both domestic and export markets as well as knowledge exchange partnerships with HEI. He leads the research project ‘Cultures of Innovation’ which looks at how creative thinking and design processes can be integrated in organizations to improve productivity in areas key to the future success of the business.