DOCSLIB.ORG

2006-2007 School of Computing and Informatics

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Section Title School of Computing and Informatics ANNUAL REPORT 2006 - 2007 Section Title The Annual Report is published by the School of Computing and Informatics in the Ira A. Fulton School of Engineering at Arizona State Production Note: Sustainability is the simple idea that, as human beings, we University. For more information about the School of Computing place a high value on our own quality of life and that of future generations. and Informatics, visit sci.asu.edu on the Web. For details about the To be sustainable, our actions must reflect what is important to us – programs or research highlighted in this magazine, qualities such as clean air, clean water, health, security and prosperity. please contact the editor or sources directly. To support ASU President Crow’s Sustainability Initiative, starting this School of Computing and Informatics year we are producing a more “sustainable” Annual Report. The paper we Ira A. Fulton School of Engineering Arizona State University are using is highly recycled, compared to both foreign and domestic grades P.O. Box 878809 (50 percent overall, 25 percent post-consumer), and the mill at which it is Tempe, AZ 85287 - 8809 produced is a“clean mill” with a sustainability charter. Telephone: 480.965.3190 Editor Carol Behl Contributing Writers Emily Falkner © Copyright 2007. Arizona Board of Regents. All rights reserved. Joe Kullman Printed in the U.S. Design and Production Deborah Paterick The sunburst logo is a registered trademark, and the Arizona State University word mark is a trademark of the Arizona Board of Regents. Photography All other brand, product names, company names, trademarks and Kimberly Allvin, Deborah Paterick, Ken Sweat, Tom Story service marks used herein are the property of their respective owners. Information in this document is for informational purposes only and is subject to change without notice. For more information, please visit: sci.asu.edu 2 Section Title Section Title The Biomedical Informatics Department is located in the newly built Arizona Biomedical Collaborative Building in downtown Phoenix. The building contains six faculty labs, a state of the art MedPresence room, three fully mediated conference rooms, and faculty and administrative offices. The building is shared with the University of Arizona College of Medicine-Phoenix. Contents 5 Director’s Welcome 6 Year In Review 18 Academics 24 Research 40 Directory 4 Michael Crow President Director’s Welcome Arizona State Dear Colleagues, CSE department continues to advance with significant accomplishments by University faculty and students. A sampling is presented below. It is a delight to share the exciting n developments in our new School of Two of our faculty received the CAREER awards (total of three over the past 2 years): Dr. Peter Wonka for his work on constrained procedural Computing and Informatics (SCI) in urban modeling and Dr. Hasan Davulcu for his work on advancing the Ira A. Fulton School of Engineering knowledge in Web services science. at Arizona State University (ASU). Deirdre Our school exemplifies the spirit of n Three faculty serve as Editor’s-in-Chief of Journal of Computer Meldrum transdisciplinary research and education Aided Geometric Design, Journal of Combinatorial Design and IEEE Dean that permeates ASU under the dynamic Multimedia. A number of faculty serve as editors of professional j Ira A. Fulton leadership of our president Michael Crow. ournals and transactions. In addition, several faculty continue to School of organize prestigious conferences in their research areas. Engineering SCI not only attempts to seize the interdisciplinary opportunities inside n Two of our faculty have launched start-up companies and several of and outside ASU but is more importantly positioning itself to play a our faculty are involved in intellectual property disclosures and significant role in defining a transdisciplinary future for computing. SCI patent applications. builds on a robust Computer Science and Engineering (CSE) department, Robert Greenes n a national caliber Biomedical Informatics (BMI) Department and new National Security Agency recently awarded the status of the Center for Chair Informatics programs. Information Assurance Education. Department n We also introduced new graduate concentrations in information assurance of Biomedical The Biomedical Informatics Department is in partnership with the and biomedical informatics. These augment our existing concentrations Informatics University of Arizona College of Medicine-Phoenix (UACOM), and in software engineering and the Arts, Media and Engineering program. actively collaborates with Mayo Clinic, Translational Genomics Institute William Lewis (TGen), Barrow Neurological Institute (BNI), Banner Health and the We expanded into the new Arizona Biomedicial Collaborative building, the Associate Director Biodesign Institute. first ASU program co-located with the UACOM. The BMI Masters program of Academic Affairs was launched this Fall and we are currently developing the Ph.D. program for BMI is fortunate to have world class leaders in biomedical informatics join Fall 2008. We have also created a new undergraduate informatics certificate the department. The new Chair of the BMI Department, Dr. Robert Greenes available for students throughout the University. We launched a distance joins us from Harvard University. Our Vice Chair, Dr. Vimla Patel and Dr. learning program in Software Engineering for Target Technologies Inc. and Pat Langley Edward Shortliffe (founding Dean of UACOM-Phoenix) joined us from are expanding our on-line and distance program offerings. Associate Director Columbia University. Both Dr. Greenes and Dr. Shortliffe are members of of Informatics the Institute of Medicine of the National Academy of Sciences. In addition, SCI students also continue to excel as we support them through academic two junior faculty, Dr. Valentin Dinu from Yale and Dr. Trevor Cohen from initiatives and career services. Our student achievements include best paper Columbia University have joined us this Fall. We also have a number of award at an international conference, first place at the ACM Student Research adjunct clinical faculty from Mayo, BNI and Banner. Competition and being part of the winning team at the ASU Academic Jeremy Rowe Bowl. Our bi-annual job fair attracted more than 16 major industry partners Executive Associate Dr. Pat Langley joined us last Fall from Stanford and leads our and over 200 students each semester, including Google and Microsoft. Our Director interdisciplinary informatics programs in collaboration with various internal K-12 outreach included teaching a course at the Chandler High School co- and external partners. These include, the Arts, Media and Engineering sponsored by Intel. Our recruitment activities included summer camps in program, School of Human Evolution and Social Change, School of gaming and robotics. Sustainability, Department of Psychology and the School of Earth and Gerald Farin Space Exploration. We look forward to continuing to accelerate our trajectory of rapid progress Vice Chair while focusing on excellence in all aspects of academic endeavor and Department of SCI has made significant progress in research in the past year, reflected by contributing to the vision for a New American University at ASU. I invite the 33% growth in research expenditures as well as the significant increase Computer Science you to visit us in the valley of the sun and also to check us out at and Engineering in the volume of proposals. We have more than doubled the number of http://sci.asu.edu. publications in high quality peer reviewed journals, conferences and books over the past five years. The new Science Foundation Arizona research Vimla Patel awards and fellowships have augmented our research capacity and also helped Vice Chair increase top quality graduate students enrolling in our programs. Department Sethuraman Panchanathan of Biomedical Director, School of Computing and Informatics Informatics 5 Section Title Year In Review CAREER Award Recipients New Faculty SCI Symposium BMI Graduate Program Faculty Awards and Honors Distinguished Lectures Community Outreach Events 6 Year In Review Computer Science and Engineering Professors Receive CAREER Awards Photo: Hasan Davulcu (left) and Peter Wonka Hasan Davulcu Peter Wonka Hasan Davulcu, an assistant professor in the School of Computing and Peter Wonka, an assistant professor in the School of Computing and Informatics, received a National Science Foundation (NSF) Career Award on Informatics, received the National Science Foundation (NSF) Early Career March 1, 2007. The award, recognizing young scientists and engineers who Award on Feb. 23, 2007. show leadership potential in significant research areas, comes with a $413,112 grant over five years for Davulcu’s efforts to advance knowledge in Web services With this five-year, $400,000 grant, Wonka and his research team will work science in his proposal titled, “A Logic-Based Dynamic Policy Model for on a project entitled, “CAREER: Constrained Procedural Urban Modeling.” Adaptive Workflow Management.” According to Wonka, their research “will target the creation of three- dimensional urban models and benefit applications such as urban planning, “Web services composition must be goal driven,” says Davulcu. “Web service virtual heritage, simulation, training, movie production and computer games.” workflows must remain healthy throughout operations, even under attacks and failures.” After two years as a post-doctorate
Recommended publications
  • Sketches: Outline with References by Charles Wells Addendum 15 September 2009

    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

    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.
  • Newspaper Clips June 14, 2014 Page 2 of 12

    Newspaper Clips June 14, 2014 Page 2 of 12

    Page 1 of 12 Newspaper Clips June 14, 2014 Page 2 of 12 Page 3 of 12 Page 4 of 12 Page 5 of 12 Page 6 of 12 Obama names IIT alumnus Dr Sethuraman Panchanathan to Science Foundation board http://economictimes.indiatimes.com/news/politics-and-nation/obama-names-iit-alumnus-dr-sethuraman-panchanathan-to-science- foundation-board/articleshow/36534401.cms WASHINGTON: US President Barack Obama plans to appoint a Madras University graduate and alum of the Indian Institute of Technology as a member of the National Science Board of National Science Foundation. The proposed appointment of Dr Sethuraman Panchanathan, Senior Vice President of the Office of Knowledge Enterprise Development at Arizona State University (ASU), was announced by the White House Friday with 15 other key administration posts. "Our nation will be greatly served by the talent and expertise these individuals bring to their new roles. I am grateful they have agreed to serve in this Administration, and I look forward to working with them in the months and years ahead," Obama said. At over thirty, the Obama administration has more Indian-Americans working at high places than in any other previous administration. Panchanathan, who has held his current position at ASU since 2011, previously worked as a Data Communication Engineer for International Software India Limited in Chennai, India in 1986. He received a BSc from the University of Madras, a BE from the Indian Institute of Science, an MTech from the Indian Institute of Technology, and a PhD from the University of Ottawa, Canada. Panchanathan has held a number of positions at Arizona State University since 1998.
  • 2016-2017 Indian Institute of Technology Madras

    2016-2017 Indian Institute of Technology Madras

    Indian Institute of Technology Madras 2016-2017 No. 1 Engineering Institute in the Country for 2016, 2017 & 2018 As per National Institutional Ranking Framework, MHRD, Govt. of India CoNtents YEAR AT A GLANCE 2 DIRECTOR’S REPORT 4 ADMINISTRATION 20 ACADEMIC PROGRAMMES AND AWARD OF DEGREES 24 DEPARTMENTS CENTRES OF SPECIAL FACILITIES DEPARTMENT OF AEROSPACE ENGINEERING 34 CENTRE FOR INDUSTRIAL CONSULTANCY & SPONSORED RESEARCH 68 DEPARTMENT OF APPLIED MECHANICS 36 CENTRE FOR CONTINUING EDUCATION 70 DEPARTMENT OF BIOTECHNOLOgy 38 P.G. SENAPATHY CENTRE FOR COMPUTING RESOURCES 71 DEPARTMENT OF CHEMISTRY 40 CENTRAL ELECTRONICS CENTRE 72 DEPARTMENT OF CHEMICAL ENGINEERING 42 SOPHISTICATED ANALYTICAL INSTRUMENT FACILITY 73 DEPARTMENT OF CIVIL ENGINEERING 44 CENTRAL FACILITIES 74 DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING 46 CENTRAL LIBRARY 75 DEPARTMENT OF ELECTRICAL ENGINEERING 48 STUDENTS AMENITIES & ACTIVITIES 76 DEPARTMENT OF ENGINEERING DESIGN 50 INTERNATIONAL & ALUMNI RELATIONS 78 DEPARTMENT OF HUMANITIES AND SOCIAL SCIENCES 52 CENTRES OF EXCELLENCE 80 DEPARTMENT OF MANAGEMENT STUDIES 54 STUDENTS PLACEMENT 81 DEPARTMENT OF MATHEMATICS 56 FINANCIAL ASSISTANCE TO STUDENTS 82 DEPARTMENT OF MECHANICAL ENGINEERING 58 FINANCE & ACCOUNTS 84 DEPARTMENT OF METALLURGICAL AND MATERIALS ENGINEERING 60 CAMPUS AMENITIES 86 DEPARTMENT OF OCEAN ENGINEERING 62 DEPARTMENT OF PHYSICS 64 Year Book 2016–17 1 YEAR At A GlANCE UG Students on roll 1982 465 UG Admissions PG Students on roll 4431 1316 PG Admissions Research Scholars on roll 2767 494 Research
  • The Bulletin of Symbolic Logic the Bulletin of Symbolic Logic

    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.
  • 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

    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.
  • National Science Foundation (NSF) Transition Briefing Materials for the Incoming Biden Administration 2020

    National Science Foundation (NSF) Transition Briefing Materials for the Incoming Biden Administration 2020

    Description of document: National Science Foundation (NSF) Transition Briefing materials for the Incoming Biden Administration 2020 Requested date: 04-January-2021 Release date: 27-January-2021 Posted date: 15-March-2021 Source of document: National Science Foundation Attn: FOIA Officer 2415 Eisenhower Avenue Alexandria, Virginia 22314 Fax: (703) 292-9041 Email: [email protected] The governmentattic.org web site (“the site”) is a First Amendment free speech web site and is noncommercial and free to the public. The site and materials made available on the site, such as this file, are for reference only. The governmentattic.org web site and its principals have made every effort to make this information as complete and as accurate as possible, however, there may be mistakes and omissions, both typographical and in content. The governmentattic.org web site and its principals shall have neither liability nor responsibility to any person or entity with respect to any loss or damage caused, or alleged to have been caused, directly or indirectly, by the information provided on the governmentattic.org web site or in this file. The public records published on the site were obtained from government agencies using proper legal channels. Each document is identified as to the source. Any concerns about the contents of the site should be directed to the agency originating the document in question. GovernmentAttic.org is not responsible for the contents of documents published on the website. NATIONAL SCIENCE FOUNDATION 2415 Eisenhower Avenue Alexandria, Virginia 22314 OFFICE OF THE GENERAL COUNSEL January 27, 2021 Via email Case #202 l-080F This letter is the final response to your Freedom of Information Act (FOIA) request that the National Science Foundation (NSF) received on January 4, 2021.
  • Arizona State University 1 Southwestern Regional Water-Energy Nexus Event Tempe, Arizona • September 8, 2016 Southwestern Regional Water-Energy Nexus Event

    Arizona State University 1 Southwestern Regional Water-Energy Nexus Event Tempe, Arizona • September 8, 2016 Southwestern Regional Water-Energy Nexus Event

    Arizona State University 1 Southwestern Regional Water-Energy Nexus Event Tempe, Arizona • September 8, 2016 Southwestern Regional Water-Energy Nexus Event Tempe, Arizona – September 8, 2016 Report Authors Amanda Arnold, Executive Director, Federal Research Relations, Knowledge Enterprise Development (KED) Faye Farmer, Director, Research Development, KED Karen Walker, Senior Management Research Analyst, Research Development, KED Keith Aspinall, Senior Management Research Analyst, KED Tobin Spratte, Proposal Manager, Research Development, KED 1-2 Exploring Regional Opportunities in the U.S. for Clean Energy Technology Innovation • Volume 2 Table of Contents Table of Contents _________________________________________________________ 2 Executive Summary _______________________________________________________ 4 Framing the Water-Energy Nexus in the Southwest _______________________________ 5 Opening Remarks _______________________________________________________ 5 Review of Program and Objectives __________________________________________ 5 Southwestern Challenges and Opportunities in Water-Energy _______________________ 7 Moderator ______________________________________________________________ 7 Participants ____________________________________________________________ 7 Summary ______________________________________________________________ 7 Envisioning the Future of Water-Energy Governance _____________________________ 9 Speaker _______________________________________________________________ 9 Summary ______________________________________________________________
  • Download PDF Version of E-Newsletter

    Download PDF Version of E-Newsletter

    INDIAN NATIONAL ACADEMY OF ENGINEERING E-Newsletter Vol. XII, Issue 8, August 1, 2021 ➢ INAE Vision 2020-2025 INAE VISION 2020-2025 INAE VISION ➢ Academy Activities To be the premier Engineering Academy of the World providing ❖ Academy News timely inputs to the national and ❖ International/National international policy makers, and to Conferences/Seminars being extend appropriate organized by IITs/other assistance in developing Institutions engineered solutions for the ❖ Honours and Awards challenging problems facing ❖ News of Fellows contemporary societies and the humanity as a ❖ INAE on Facebook and Twitter whole. ❖ Obituary Click here to Read More . ➢ Engineering and Technology Updates ➢ Engineering Innovation in India INAE e-Newsletter Vol. XII, Issue 8, August 1, 2021 INAE VISION 2020-2025 INAE VISION To be the premier Engineering Academy of the World providing timely inputs to the national and international policy makers, and to extend appropriate assistance in developing engineered solutions for the challenging problems facing contemporary societies and the humanity as a whole INAE Mission To serve professionals in building and institutionalizing engineering and technological excellence in education, research and industry in India and support advancement of engineering profession globally Technology Roadmap We are living in exciting times. We will have to contend with the profound transformation of our society and our industry, because of two revolutions in the making – namely, the digital revolution and the impending transition to fossil fuel free energy globally. The digital revolution is rapidly transforming the very nature of industrial enterprise today. Many disruptive transformations are maturing rapidly because of the advent of cloud computing and internet of things (IoT) and due to major advances and breakthroughs being made on several fronts such as artificial intelligence (AI) including machine learning (ML) and big data analytics, robotics, autonomy, drones, 3D printing, advance sensors and 5G technologies.
  • Edinburgh Research Explorer

    Edinburgh Research Explorer

    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Edinburgh Research Explorer Edinburgh Research Explorer A Proposed Categorial Semantics for Pure ML Citation for published version: Phoa, W & Fourman, MP 1992, A Proposed Categorial Semantics for Pure ML. in Automata, Languages and Programming: 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings. vol. 623, Springer-Verlag, pp. 533-544. DOI: 10.1007/3-540-55719-9_102 Digital Object Identifier (DOI): 10.1007/3-540-55719-9_102 Link: Link to publication record in Edinburgh Research Explorer Document Version: Peer reviewed version Published In: Automata, Languages and Programming General rights Copyright for the publications made accessible via the Edinburgh Research Explorer is retained by the author(s) and / or other copyright owners and it is a condition of accessing these publications that users recognise and abide by the legal requirements associated with these rights. Take down policy The University of Edinburgh has made every reasonable effort to ensure that Edinburgh Research Explorer content complies with UK legislation. If you believe that the public display of this file breaches copyright please contact [email protected] providing details, and we will remove access to the work immediately and investigate your claim. Download date: 05. Apr. 2019 A proposed categorical semantics for ML modules Michael Fourman and Hayo Thielecke Laboratory for Foundations of Computer Science Department of Computer Science University of Edinburgh e-mail: [email protected] and [email protected] June 2, 1995 Abstract We present a simple categorical semantics for ML signatures, structures and functors.
  • Edinburgh Research Explorer

    Edinburgh Research Explorer

    Edinburgh Research Explorer A Proposed Categorical Semantics for ML Modules Citation for published version: Fourman, MP & Thielecke, H 1995, A Proposed Categorical Semantics for ML Modules. in Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings. Springer-Verlag, pp. 240-252. https://doi.org/10.1007/3-540-60164-3_30 Digital Object Identifier (DOI): 10.1007/3-540-60164-3_30 Link: Link to publication record in Edinburgh Research Explorer Document Version: Peer reviewed version Published In: Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings General rights Copyright for the publications made accessible via the Edinburgh Research Explorer is retained by the author(s) and / or other copyright owners and it is a condition of accessing these publications that users recognise and abide by the legal requirements associated with these rights. Take down policy The University of Edinburgh has made every reasonable effort to ensure that Edinburgh Research Explorer content complies with UK legislation. If you believe that the public display of this file breaches copyright please contact [email protected] providing details, and we will remove access to the work immediately and investigate your claim. Download date: 25. Sep. 2021 A proposed categorical semantics for ML modules Michael Fourman and Hayo Thielecke Laboratory for Foundations of Computer Science Department of Computer Science University of Edinburgh e-mail: [email protected] and [email protected] June 2, 1995 Abstract We present a simple categorical semantics for ML signatures, structures and functors.
  • £3M Is Chipped in for Computer Unit

    £3M Is Chipped in for Computer Unit

    £3m is chipped in for computer unit http://news.scotsman.com/print.cfm?id=970492004&referringtemplat... print close Fri 20 Aug 2004 £3m is chipped in for computer unit GARETH EDWARDS THE creation of a cutting edge computer research centre in the Capital has moved a step closer thanks to a £3 million funding boost. The Wolfson Foundation, a charitable foundation which advances the sciences and the arts, has pledged £2m towards a Wolfson Centre for Informatics and the Life Sciences. The centre would be part of the Informatics Forum, a new £40m facility bringing together Edinburgh University’s researchers in computer science, artificial intelligence and cognitive science. The foundation’s award coincides with a separate pledge of £1m over six years from the Edinburgh-based chip developer Wolfson Microelectronics. The hi-tech company started life as a research project at the university and now makes chips for Apple iPods and the Microsoft X-Box games console. It has donated the money to fund research fellowships in informatics and microelectronics for PhD students. Professor Michael Fourman, head of the university’s School of Informatics, said the funding brought the completion of the site closer. He said: "I am absolutely delighted at this announcement and it has taken us a step closer to creating this facility. "Its importance is not only bringing together the various elements of the informatics school - its location will put us right at the heart of the university and we will be able to interact with departments as varied as linguistics and neurosciences." The forum will be sited in a 12,000sq m building at the centre of the university’s main campus.