DOCSLIB.ORG

Annual Report

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Annual Report ANNUAL REPORT 2019FISCAL YEAR ACM, the Association for Computing Machinery, is an international scientific and educational organization dedicated to advancing the arts, sciences, and applications of information technology. Letter from the President It’s been quite an eventful year and challenges posed by evolving technology. for ACM. While this annual Education has always been at the foundation of exercise allows us a moment ACM, as reflected in two recent curriculum efforts. First, “ACM’s mission to celebrate some of the many the ACM Task Force on Data Science issued “Comput- hinges on successes and achievements ing Competencies for Undergraduate Data Science Cur- creating a the Association has realized ricula.” The guidelines lay out the computing-specific over the past year, it is also an competencies that should be included when other community that opportunity to focus on new academic departments offer programs in data science encompasses and innovative ways to ensure at the undergraduate level. Second, building on the all who work in ACM remains a vibrant global success of our recent guidelines for 4-year cybersecu- the computing resource for the computing community. rity curricula, the ACM Committee for Computing Edu- ACM’s mission hinges on creating a community cation in Community Colleges created a related cur- and technology that encompasses all who work in the computing and riculum targeted at two-year programs, “Cybersecurity arena” technology arena. This year, ACM established a new Di- Curricular Guidance for Associate-Degree Programs.” versity and Inclusion Council to identify ways to create The following pages offer a sampling of the many environments that are welcoming to new perspectives ACM events and accomplishments that occurred over and will attract an even broader membership from the past fiscal year, none of which would have been around the world. The Council is tasked with identify- possible without the exhaustive efforts of our generous ing best practices, devising plans-of-action, and seek- and energetic volunteers from around the world. ACM ing strategic partnerships to help us advance diversity, is grateful for your resolve and commitment. both within ACM and across the broader community. In the coming year, there is much to do and more For decades, ACM has been a leading force in keep- to explore. As I write this letter, ACM just debuted a ing the computing field, policymakers, and the general total transformation of its Digital Library, complete with public informed about the impact of technological new functionality and an array of enhanced search fea- advances. As technology advances, so do the issues tures and tools. The move to this new platform offers faced as a society. Headlines reflect that data breaches, members a contextualized, responsive resource provid- election compromises, and threats to privacy are oc- ing an exceptional reading experience on a variety of curring on a global scale. To strengthen and expand on devices. I wish you happy hunting in the new DL the efforts of our existing policy committees in the U.S. (dl.acm.org) and all the best for the year ahead. and Europe, ACM has established a worldwide Technol- —Cherri M. Pancake ogy Policy Council. TPC brings together leading policy ACM President, experts to develop a global perspective on the issues July 2018–June 2020 2 ACM ANNUAL REPORT FOR FISCAL YEAR 2019 Publications Portfolio ACM’s Publications Publications remain one of Portfolio ACM’s principle activities and pivotal lines of business. The “The Publications ACM Publications Board is 54 charged with overseeing a rich Board seeks to Journals and maintain and Transactions portfolio, including research journals, magazines, books, and strengthen conference/workshop proceed- ACM’s position 7 ings (in tandem with ACM SIGs Magazines as the preferred and through the International publisher of Conference Proceedings Series, ICPS). The Board also oversees computing 31 publication policies, ethics and research and to Newsletters plagiarism cases, author rights extend our reach as well as guides the ongoing to become a development of the diamond of ACM’s publications offerings—the ACM Digital Library. leading provider FY19 was a fruitful year in terms of publication activities of advanced- and achievements. One of the major efforts was the level content migration of the ACM’s Digital Library from its long- and services standing in-house platform to Atypon’s comprehensive for the broader publishing platform, Literatum. This migration offers a wide range of features, including data and code-first computing objects, user interface enhancements, and preprint industry” server. In addition to reviewing the migration progress, the Publications Board continues to look forward on — Jack W. Davidson and issues of code storage, replicability, and broader DL Joseph A. Konstan services. The Board played a key role in garnering com- Co-chairs, munity feedback from a beta version of the new DL, ACM Publication Board and those comments were taken into account during the migration phase. In FY19, over 34,000 full-text articles were added to the Digital Library, bringing the total DL holdings to 516,000 articles. ACM’s Guide to Computing Literature is 3 ACM ANNUAL REPORT FOR FISCAL YEAR 2019 Publications Portfolio also integrated within the DL. More than 95,000 works were added to the bibliographic database in FY19, bringing the total Guide coverage to more than 2.90 million works. During the year, ACM added 671 volumes of conference and related workshop proceedings to its portfolio, including 282 volumes added to ACM’s ICPS, a 14% increase over FY18. ACM magazines continue to generate an enormous number of downloads from the ACM Digital Library. Communications of the ACM counted over 2.4 million article downloads. Moreover, traffic to the flagship magazine’s website this year resulted in 3.6 million pa- geviews and 1.05 million unique users. Ubiquity, eLearn, and Interactions magazines also garner article annual downloads and/or website traffic in the six figures. ACM Books, launched in 2014, continues to thrive. FY19 has seen the completion of ACM Books Collection I (25 titles) and the start of Collection II. The series published six new titles in FY19 and signed publishing agree- ments for six additional titles. ACM’s Publications Board also approved the ACM Trans- actions in Quantum Computing and the ACM Transac- tions in Evolutionary Learning and Optimization. 30,000 18.3 MILLION WORLDWIDE Number of full-text Number of individual downloads in FY19 DL subscribers 2,850 FROM 6.3 MILLION 90 COUNTRIES FROM OVER Number of institutional 160 COUNTRIES DL subscribers Number of DL users worldwide 4 ACM ANNUAL REPORT FOR FISCAL YEAR 2019 Education ACM leads the computer science education community through the work of its ACM Education Board, the ACM Education Council, ACM SIGCSE, Computer Science “Computer Teachers Association (CSTA), and ACM Education Policy Committee. education is Amy Ko speaking at the 2019 SIGCSE Conference, a celebration so important The Education Board’s highly anticipated report Reten- of the SIG’s 50th anniversary. that everyone tion in Computer Science Undergraduate Programs in the U.S.: Data Challenges and Promising Interventions was wants some of released. This comprehensive study outlined the chal- it. Computer lenges and promising interventions to improve engage- education is so ment and retention of all students, particularly women important that and underrepresented minorities. even small parts The final draft of the curricular guidelines for the Cy- of it are valuable bersecurity Curricular Guidance for Associate Degree Programs (Cyber2yr) was released for global public and useful.” comment. ABET CSAB is developing criteria for accredit- ing two-year programs in cybersecurity based on the — Mark Guzdial Cyber2yr guidelines—a first for CSAB. in ACM Inroads, December 2018 The Data Science Curriculum taskforce seeks to define what the computing/computational contributions are to the field of data science in order to provide guidance for David Joyner presenting his work at the CS or similar departments offering data science pro- 2019 ACM Learning @ Scale conference. grams at the undergraduate level. In FY19, the taskforce released a first draft of computing discipline-specific competencies. The 6th Annual ACM Conference on Learning@Scale was held in Chicago, with students representing almost 44% of the total attendees. 5 ACM ANNUAL REPORT FOR FISCAL YEAR 2019 Professional Development The Practitioners Board and Chapter Stats in Queue in FY19, with another Professional Development FY19 167 Total New Chapters trio under development. Committee (PDC) directed FY 19 was the year ACM’s “No longer does many new products and new U.S.-based Committee on Professional professional chapters 5 it seem possible initiatives designed for Ethics shared the recently computing professionals and to learn for a new professional updated Code of Ethics and managers. In FY19, the Board while, earn for a 25 chapters outside the U.S. Professional Conduct with the created and expanded a rich world. The Code was translat- while, and then set of activities. new U.S.-based ed into Spanish and Chinese; retire. Careers The PDC’s successful webi- student chapters 45 it was presented at confer- may extend over nar series TechTalks (formerly ences in Poland; and board periods of six known as Learning Webinars) new student chapters members consulted with eth- continue to be some of the 92 outside of the U.S. ics groups in Australia, Italy, decades or more most exciting programs from New Zealand, and the U.K. during which ACM Learning. Highlights in The SIGSOFT webinar series time technology FY19 include talks from lead- had a very busy year, produc- will have ers in AI, machine learning, and deep learning. Indeed, ing 12 webinars on such topics as gender-inclusive a webinar on adversarial machine learning broke all software engineering, the role of programmers in the changed society records (both live and on demand).
Load more

Recommended publications
  • Communication of Design Quarterly
    Volume 1 Issue 2 January 2013 Communication of Design Quarterly Published by the Association for Computing Machinery Special Interest Group for Design of Communication ISSN: 2166-1642 Contents....................................................................................................................................................................................1 Editorial.....................................................................................................................................................................................3 Notes from the Chair............................................................................................................................................................5 SIGDOC 2013 conference...................................................................................................................................................7 Uncovering Analogness and Digitalness in Interactive Media.............................................................................8 Development Framework Components as Commonplaces..............................................................................37 I See You’re Talking #HPV: Communication Pattersn in the #HPV Stream on Twitter...............................50 Communication Design Quarterly ACM SIGDOC (Special Interest Group Design of Communication) seeks to be the premier information source for industry, management, and academia in the multidisciplinary field of the design and communication of information. It contains a
    [Show full text]
  • Annotated Table of Contents Links Join SIGAI
    AI MATTERS, VOLUME 4, ISSUE 4 4(4) 2018 AI Matters Annotated Table of Contents AI Ethics Education Welcome to AI Matters 4(4) AI Policy Matters Amy McGovern, co-editor & Iolanda Larry Medsker Leite, co-editor Full article: http://doi.acm.org/10.1145/3299758.3299765 Full article: http://doi.acm.org/10.1145/3299758.3299759 Welcome and summary TAI Policy Matters Call for Proposals: Artificial Intelli- Epochs of an AI Cosmology gence Activities Fund Cameron Hughes & Tracey Hughes Sven Koenig, Sanmay Das, Rosemary Full article: http://doi.acm.org/10.1145/3299758.3299868 Paradis, Michael Rovatsos & Nicholas AI Cosmology Mattei Full article: http://doi.acm.org/10.1145/3299758.3299760 Artificial Intelligence and Jobs of the Artificial Intelligence Activities Fund Future: Adaptability Is Key for Hu- man Evolution AI Profiles: An Interview with Iolanda Sudarshan Sreeram Leite Full article: http://doi.acm.org/10.1145/3299758.3300060 Marion Neumann AI and Jobs of the Future Full article: http://doi.acm.org/10.1145/3299758.3299761 Interview with Iolanda Leite Links Events SIGAI website: http://sigai.acm.org/ Michael Rovatsos Newsletter: http://sigai.acm.org/aimatters/ Blog: http://sigai.acm.org/ai-matters/ Full article: http://doi.acm.org/10.1145/3299758.3299762 Twitter: http://twitter.com/acm sigai/ Upcoming AI events Edition DOI: 10.1145/3284751 Conference Reports Join SIGAI Michael Rovatsos Full article: http://doi.acm.org/10.1145/3299758.3299763 Students $11, others $25 For details, see http://sigai.acm.org/ Conference Reports Benefits: regular, student Also consider joining ACM. AI Education Matters: A Modular Ap- proach to AI Ethics Education Our mailing list is open to all.
    [Show full text]
  • Building Blocks for Tomorrow's Mobile App Store
    Building Blocks for Tomorrow’s Mobile App Store by Justin G. Manweiler Department of Computer Science Duke University Date: Approved: Romit Roy Choudhury, Supervisor Jeffrey S. Chase Landon P. Cox Victor Bahl Dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Department of Computer Science in the Graduate School of Duke University 2012 Abstract (0984) Building Blocks for Tomorrow’s Mobile App Store by Justin G. Manweiler Department of Computer Science Duke University Date: Approved: Romit Roy Choudhury, Supervisor Jeffrey S. Chase Landon P. Cox Victor Bahl An abstract of a dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Department of Computer Science in the Graduate School of Duke University 2012 Copyright c 2012 by Justin G. Manweiler All rights reserved Abstract In our homes and in the enterprise, in our leisure and in our professions, mobile computing is no longer merely “exciting;” it is becoming an essential, ubiquitous tool of the modern world. New and innovative mobile applications continue to inform, entertain, and surprise users. But, to make the daily use of mobile technologies more gratifying and worthwhile, we must move forward with new levels of sophistication. The Mobile App Stores of the future must be built on stronger foundations. This dissertation considers a broad view of the challenges and intuitions behind a diverse selection of such new primitives. Some of these primitives will mitigate exist- ing and fundamental challenges of mobile computing, especially relating to wireless communication. Others will take an application-driven approach, being designed to serve a novel purpose, and be adapted to the unique and varied challenges from their disparate domains.
    [Show full text]
  • Clarisse Sieckenius De Souza Academic Degrees Positions
    Clarisse de Souza’s Short CV (as of December 2014) Clarisse Sieckenius de Souza Born 23.09.57 in Bento Gonçalves, State of Rio Grande do Sul, Brazil Academic degrees PhD, Applied Linguistics – Computational Linguistics, PUC‐Rio, 1988. MA, Portuguese Language, PUC‐Rio, 1982. BA, Written, Consecutive and Simultaneous Translation (Portuguese, English, French), PUC‐Rio, 1979. Positions 1982-1988 Head of Natural Language Database Querying Systems Design Group at EMBRATEL (Brazilian Telecommunications Company) 1987-1988 Visiting Professor at the Department of Informatics, PUC-Rio 1988-2006 Assistant/Associate Professor at the Department of Informatics, PUC-Rio 1989 Visiting Researcher at Philips Research Labs, Surrey UK (2 months) – with Donia Scott Visiting Scholar at CSLI (Center for the Study of Language and Information), Stanford 1991-1992 University (6 months) – with Terry Winograd Visiting Researcher (for short Winter visits, 1-2 months) at the Computer Science 1998…2001 Department, University of Waterloo (Canada), as part of collaboration with Tom Carey Visiting Professor at the Information Systems Department, University of Maryland Baltimore County (4 months) – with Jenny Preece 2002 Full Professor at the Department of Informatics, PUC-Rio. 2006-to date Research areas Human‐computer interaction. Semiotics and HCI. HCI theories. End User Development. Computer‐Mediated Communication. Cultural Dimensions in HCI. Awards and Distinctions 2010: ACM SIGDOC Rigo Award, “for extraordinary contributions to the field of communication design”. (http://sigdoc.acm.org/awards/rigo‐award/) 2013: Inducted to ACM SIGCHI CHI Academy. (http://www.sigchi.org/about/awards/2013‐ sigchi‐awards‐1) 2014: IFIP TC13 Pioneer in Human‐Computer Interaction (award to be handed over at INTERACT 2015 in Bamberg, September 2015 http://interact2015.org/) PhD supervising Currently principal supervisor of 4 PhD projects and co-supervisor of 2 PhD projects.
    [Show full text]
  • Rivest, Shamir, and Adleman Receive 2002 Turing Award, Volume 50
    Rivest, Shamir, and Adleman Receive 2002 Turing Award Cryptography and Information Se- curity Group. He received a B.A. in mathematics from Yale University and a Ph.D. in computer science from Stanford University. Shamir is the Borman Profes- sor in the Applied Mathematics Department of the Weizmann In- stitute of Science in Israel. He re- Ronald L. Rivest Adi Shamir Leonard M. Adleman ceived a B.S. in mathematics from Tel Aviv University and a Ph.D. in The Association for Computing Machinery (ACM) has computer science from the Weizmann Institute. named RONALD L. RIVEST, ADI SHAMIR, and LEONARD M. Adleman is the Distinguished Henry Salvatori ADLEMAN as winners of the 2002 A. M. Turing Award, Professor of Computer Science and Professor of considered the “Nobel Prize of Computing”, for Molecular Biology at the University of Southern their contributions to public key cryptography. California. He earned a B.S. in mathematics at the The Turing Award carries a $100,000 prize, with University of California, Berkeley, and a Ph.D. in funding provided by Intel Corporation. computer science, also at Berkeley. As researchers at the Massachusetts Institute of The ACM presented the Turing Award on June 7, Technology in 1977, the team developed the RSA 2003, in conjunction with the Federated Computing code, which has become the foundation for an en- Research Conference in San Diego, California. The tire generation of technology security products. It award was named for Alan M. Turing, the British mathematician who articulated the mathematical has also inspired important work in both theoret- foundation and limits of computing and who was a ical computer science and mathematics.
    [Show full text]
  • Welcome to AI Matters 5(1)
    AI MATTERS, VOLUME 5, ISSUE 1 5(1) 2019 Welcome to AI Matters 5(1) Amy McGovern, co-editor (University of Oklahoma; [email protected]) Iolanda Leite, co-editor (Royal Institute of Technology (KTH); [email protected]) DOI: 10.1145/3320254.3320255 Issue overview receiving the 2018 ACM A.M. Turing Award! Welcome to the first issue of the fifth vol- ume of the AI Matters Newsletter! This issue opens with some news on a new SIGAI Stu- Submit to AI Matters! dent Travel Scholarship where we aim to en- Thanks for reading! Don’t forget to send courage students from traditionally underrep- your ideas and future submissions to AI resented geographic locations to apply and at- Matters! We’re accepting articles and an- tend SIGAI supported events. We also sum- nouncements now for the next issue. De- marize the fourth AAAI/ACM SIGAI Job Fair, tails on the submission process are avail- which continues to grow with the increasing able at http://sigai.acm.org/aimatters. popularity of AI. In our interview series, Marion Neumann interviews Tom Dietterich, an Emer- itus Professor at Oregon State University and one of the pioneers in Machine Learning. Amy McGovern is co- In our regular columns, we have a summary editor of AI Matters. She of recent and upcoming AI conferences and is a Professor of com- events from Michael Rovatsos. Our educa- puter science at the Uni- tional column this issue is dedicated to “biduc- versity of Oklahoma and tive computing”, one of Prolog’s most distinc- an adjunct Professor of tive features.
    [Show full text]
  • Turing's Influence on Programming — Book Extract from “The Dawn of Software Engineering: from Turing to Dijkstra”
    Turing's Influence on Programming | Book extract from \The Dawn of Software Engineering: from Turing to Dijkstra" Edgar G. Daylight∗ Eindhoven University of Technology, The Netherlands [email protected] Abstract Turing's involvement with computer building was popularized in the 1970s and later. Most notable are the books by Brian Randell (1973), Andrew Hodges (1983), and Martin Davis (2000). A central question is whether John von Neumann was influenced by Turing's 1936 paper when he helped build the EDVAC machine, even though he never cited Turing's work. This question remains unsettled up till this day. As remarked by Charles Petzold, one standard history barely mentions Turing, while the other, written by a logician, makes Turing a key player. Contrast these observations then with the fact that Turing's 1936 paper was cited and heavily discussed in 1959 among computer programmers. In 1966, the first Turing award was given to a programmer, not a computer builder, as were several subsequent Turing awards. An historical investigation of Turing's influence on computing, presented here, shows that Turing's 1936 notion of universality became increasingly relevant among programmers during the 1950s. The central thesis of this paper states that Turing's in- fluence was felt more in programming after his death than in computer building during the 1940s. 1 Introduction Many people today are led to believe that Turing is the father of the computer, the father of our digital society, as also the following praise for Martin Davis's bestseller The Universal Computer: The Road from Leibniz to Turing1 suggests: At last, a book about the origin of the computer that goes to the heart of the story: the human struggle for logic and truth.
    [Show full text]
  • Bridging the Data Charging Gap in the Cellular Edge
    Bridging the Data Charging Gap in the Cellular Edge Yuanjie Li, Kyu-Han Kim, Christina Vlachou, Junqing Xie Hewlett Packard Labs {yuanjiel,kyu-han.kim,christina.vlachou,jun-qing.xie}@hpe.com ABSTRACT licensed spectrum and support carrier-grade QoS for low latency. The 4G/5G cellular edge promises low-latency experiences any- We have seen some early operational edge services via 4G/5G (x2.2). where, anytime. However, data charging gaps can arise between The cellular network data is not free. To enjoy the low-latency the cellular operators and edge application vendors, and cause services, the edge app vendors should pay the cellular operators by over-/under-billing. We find that such gap can come from data loss, traffic usage (similar to our mobile data plans). Even for the“un- selfish charging, or both. It can be amplified in the edge, duetoits limited” data plans, the edge app’s network speed will be throttled low-latency requirements. We devise TLC, a Trusted, Loss-tolerant (e.g., 128Kbps) if its usage exceeds pre-defined quota. This model Charging scheme for the cellular edge. In its core, TLC enables loss- inherits from 4G/5G [6, 7], and is standardized in the edge [8]. selfishness cancellation to bridge the gap, and constructs publicly However, the cellular operator and edge app vendor may not verifiable, cryptographic proof-of-charging for mutual trust. Weim- always agree on how much data should be paid. A data charging plement TLC with commodity edge nodes, OpenEPC and small cells. gap can arise, i.e., the data volume charged by the cellular opera- Our experiments in various edge scenarios validate TLC’s viability tor differs from what the edge sends/receives.
    [Show full text]
  • [Front Matter]
    Future Technologies Conference (FTC) 2017 29-30 November 2017| Vancouver, Canada About the Conference IEEE Technically Sponsored Future Technologies Conference (FTC) 2017 is a second research conference in the series. This conference is a part of SAI conferences being held since 2013. The conference series has featured keynote talks, special sessions, poster presentation, tutorials, workshops, and contributed papers each year. The goal of the conference is to be a world's pre-eminent forum for reporting technological breakthroughs in the areas of Computing, Electronics, AI, Robotics, Security and Communications. FTC 2017 is held at Pan Pacific Hotel Vancouver. The Pan Pacific luxury Vancouver hotel in British Columbia, Canada is situated on the downtown waterfront of this vibrant metropolis, with some of the city’s top business venues and tourist attractions including Flyover Canada and Gastown, the Vancouver Convention Centre, Cruise Ship Terminal as well as popular shopping and entertainment districts just minutes away. Pan Pacific Hotel Vancouver has great meeting rooms with new designs. We chose it for the conference because it’s got plenty of space, serves great food and is 100% accessible. Venue Name: Pan Pacific Hotel Vancouver Address: Suite 300-999 Canada Place, Vancouver, British Columbia V6C 3B5, Canada Tel: +1 604-662-8111 3 | P a g e Future Technologies Conference (FTC) 2017 29-30 November 2017| Vancouver, Canada Preface FTC 2017 is a recognized event and provides a valuable platform for individuals to present their research findings, display their work in progress and discuss conceptual advances in areas of computer science and engineering, Electrical Engineering and IT related disciplines.
    [Show full text]
  • SIGOPS Annual Report 2012
    SIGOPS Annual Report 2012 Fiscal Year July 2012-June 2013 Submitted by Jeanna Matthews, SIGOPS Chair Overview SIGOPS is a vibrant community of people with interests in “operatinG systems” in the broadest sense, includinG topics such as distributed computing, storaGe systems, security, concurrency, middleware, mobility, virtualization, networkinG, cloud computinG, datacenter software, and Internet services. We sponsor a number of top conferences, provide travel Grants to students, present yearly awards, disseminate information to members electronically, and collaborate with other SIGs on important programs for computing professionals. Officers It was the second year for officers: Jeanna Matthews (Clarkson University) as Chair, GeorGe Candea (EPFL) as Vice Chair, Dilma da Silva (Qualcomm) as Treasurer and Muli Ben-Yehuda (Technion) as Information Director. As has been typical, elected officers agreed to continue for a second and final two- year term beginning July 2013. Shan Lu (University of Wisconsin) will replace Muli Ben-Yehuda as Information Director as of AuGust 2013. Awards We have an excitinG new award to announce – the SIGOPS Dennis M. Ritchie Doctoral Dissertation Award. SIGOPS has lonG been lackinG a doctoral dissertation award, such as those offered by SIGCOMM, Eurosys, SIGPLAN, and SIGMOD. This new award fills this Gap and also honors the contributions to computer science that Dennis Ritchie made durinG his life. With this award, ACM SIGOPS will encouraGe the creativity that Ritchie embodied and provide a reminder of Ritchie's leGacy and what a difference a person can make in the field of software systems research. The award is funded by AT&T Research and Alcatel-Lucent Bell Labs, companies that both have a strong connection to AT&T Bell Laboratories where Dennis Ritchie did his seminal work.
    [Show full text]
  • SIGLOG: Special Interest Group on Logic and Computation a Proposal
    SIGLOG: Special Interest Group on Logic and Computation A Proposal Natarajan Shankar Computer Science Laboratory SRI International Menlo Park, CA Mar 21, 2014 SIGLOG: Executive Summary Logic is, and will continue to be, a central topic in computing. ACM has a core constituency with an interest in Logic and Computation (L&C), witnessed by 1 The many Turing Awards for work centrally in L&C 2 The ACM journal Transactions on Computational Logic 3 Several long-running conferences like LICS, CADE, CAV, ICLP, RTA, CSL, TACAS, and MFPS, and super-conferences like FLoC and ETAPS SIGLOG explores the connections between logic and computing covering theory, semantics, analysis, and synthesis. SIGLOG delivers value to its membership through the coordination of conferences, journals, newsletters, awards, and educational programs. SIGLOG enjoys significant synergies with several existing SIGs. Natarajan Shankar SIGLOG 2/9 Logic and Computation: Early Foundations Logicians like Alonzo Church, Kurt G¨odel, Alan Turing, John von Neumann, and Stephen Kleene have played a pioneering role in laying the foundation of computing. In the last 65 years, logic has become the calculus of computing underpinning the foundations of many diverse sub-fields. Natarajan Shankar SIGLOG 3/9 Logic and Computation: Turing Awardees Turing awardees for logic-related work include John McCarthy, Edsger Dijkstra, Dana Scott Michael Rabin, Tony Hoare Steve Cook, Robin Milner Amir Pnueli, Ed Clarke Allen Emerson Joseph Sifakis Leslie Lamport Natarajan Shankar SIGLOG 4/9 Interaction between SIGLOG and other SIGs Logic interacts in a significant way with AI (SIGAI), theory of computation (SIGACT), databases (SIGMOD) and knowledge bases (SIGKDD), programming languages (SIGPLAN), software engineering (SIGSOFT), computational biology (SIGBio), symbolic computing (SIGSAM), semantic web (SIGWEB), and hardware design (SIGDA and SIGARCH).
    [Show full text]
  • 2021 ACM Awards Call for Nominations
    Turing Award The A. M. Turing Award is ACM's oldest and most prestigious award. It is presented annually to an individual or a group of individuals who have made lasting contributions of a technical nature to the computing community. The long-term influence of a candidate’s work is taken into consideration, but there should be a singular outstanding and trend-setting technical achievement that constitutes the claim of the award. The award is presented each June at the ACM Awards Banquet and is accompanied by a prize of $1,000,000 plus travel expenses to the banquet. Financial support for the award is provided by Google Inc. ACM Prize in Computing The ACM Prize in Computing recognizes an early to mid-career fundamental and innovative contribution in computing theory or practice that through, its impact, and broad implications, exemplifies the greatest achievements of the discipline. The candidate’s contribution should be relatively recent (typically within the last decade), but enough time should have passed to evaluate impact. While there are no specific requirements as to age or time since last degree requirements, the candidate typically would be approaching mid-career. The Prize carries a prize of $250,000. Financial support for the award is provided by Infosys Ltd. ACM Frances E. Allen Award for Outstanding Mentoring The Frances E. Allen Award for Outstanding Mentoring will be presented for the first time in 2021. This award will recognize individuals who have exemplified excellence and/or innovation in mentoring with particular attention to individuals who have shown outstanding leadership in promoting diversity, equity, and inclusion in computing.
    [Show full text]