DOCSLIB.ORG

ACM SIGAI Activity Report

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
ACM SIGAI Activity Report AI MATTERS, VOLUME 4, ISSUE 3 4(3) 2018 ACM SIGAI Activity Report Sven Koenig (elected; ACM SIGAI Chair) Sanmay Das (elected; ACM SIGAI Vice-Chair) Rosemary Paradis (elected; ACM SIGAI Secretary/Treasurer) John Dickerson (appointed; ACM SIGAI Labor Market Officer) Yolanda Gil (appointed; ACM SIGAI Past Chair) Katherine Guo (appointed; ACM SIGAI Membership and Outreach Officer) Benjamin Kuipers (appointed; ACM SIGAI Ethics Officer) Hang Ma (appointed; ACM SIGAI Information Officer) Nicholas Mattei (appointed; ACM SIGAI AI and Society Officer) Amy McGovern (appointed; ACM SIGAI Newsletter Editor-in-Chief) Larry Medsker (appointed; ACM SIGAI Public Policy Officer) Todd Neller (appointed; ACM SIGAI Education Activities Officer) Plamen Petrov (appointed; ACM SIGAI Industry Liaison Officer) Michael Rovatsos (appointed; ACM SIGAI Conference Coordination Officer) David G. Stork (appointed; ACM SIGAI Award Officer) DOI: 10.1145/3284751.3284754 Abstract for their valuable service and have now started to provide certificates of appreciation for out- We are happy to present the annual activity going officers. We appointed a new informa- report of ACM SIGAI, covering the period from tion officer and are currently looking for a new July 2017 to June 2018. newsletter co-editor in chief and additional col- umn editors. We also created and filled two The scope of ACM SIGAI consists of the new officer positions to be able to serve our study of intelligence and its realization in members even better, namely an AI and soci- computer systems (see also our website at ety officer and a labor market officer. sigai.acm.org). This includes areas such as Conferences autonomous agents, cognitive modeling, computer vision, constraint programming, hu- We helped to found the AAAI/ACM AI, Ethics, man language technologies, intelligent user and Society (AIES) conference, a high-profile, interfaces, knowledge discovery, knowledge multi-disciplinary meeting that addresses the representation and reasoning, machine learn- impact of AI on society (including aspects ing, planning and search, problem solving, such as value alignment, data handling and and robotics. bias, regulations, and workforce impact) in a scientific context. We have a 50 percent fi- Our members come from academia, industry, nancial stake in AIES, which we expect to be- and government agencies worldwide. We are come the prime international conference in the thrilled to be able to report that our member- field. The inaugural AIES, held on February ship numbers increased by about 10 percent 13, 2018 in New Orleans directly before the over the past year! AAAI conference, was a great success, at- The terms of three of our officers (one of the tracting 162 submissions and selling out (see two education activities officers, one of the two a recent summary in our newsletter AI Mat- newsletter co-editors in chief, and the informa- ters). The AI and society officer organized tion officer) came to an end. We thank them the AIES doctoral consortium, which received over 60 submissions but could only accept 20 Copyright c 2018 by the author(s). students. AIES 2019 is now in the planning 7 AI MATTERS, VOLUME 4, ISSUE 3 4(3) 2018 phase. • International Conference on the Founda- tions of Digital Games (FDG 2018), Malm, We sponsored the following conferences in Sweden, August 7-10, 2018 addition to AIES 2018: • The 10th International Joint Conference on • The IEEE/WIC/ACM International Confer- Computational Intelligence, Seville, Spain, ence on Web Intelligence (WI 2017), September 18-20, 2018 Leipzig, Germany, August 23-26, 2017 • The 15th International Conference on Infor- • The 32nd International Conference on Au- matics in Control, Automation, and Robotics tomated Software Engineering, Urbana- (ICINCO 2018), Porto, Portugal, July 29-31, Champaign, USA, October 30-November 3, 2018 2017 • The First IEEE International Conference • The 9th International Conference on Knowl- on Artificial Intelligence and Virtual Reality edge Capture (K-CAP 2017), Austin, TX, (IEEE-AIVR 2018), Taichung, Taiwan, De- USA, December 4-6, 2017 cember 10-12, 2018 • The CRA Summit on Technology and Jobs, ACM SIGAI membership benefits include re- Washington D.C., USA, December 12, 2017 duced registration fees for many of the in- • The 23rd International Conference on In- cooperation and sponsored conferences and telligent User Interfaces (IUI 2018), Tokyo, access to many proceedings in the ACM Digi- Japan, March 7-11, 2018 tal Library. • The 13th Annual ACM/IEEE International We also have an agreement with the Asso- Conference on Human Robot Interaction ciation for the Advancement of AI (AAAI) to (HRI 2018), Chicago, USA, March 5-8, 2018 jointly organize the annual joint job fair at the AAAI conference, where attendees can We approved the following in-cooperation and find out about job and internship opportuni- sponsorship requests from events covering a ties from representatives from industry, univer- wide thematic and geographical range across sities, and other organizations. The job fair the international AI community: in 2018 was run by two of our officers and attracted over 30 organizations offering jobs • The 20th International Conference on En- and hundreds of job seekers (see the recent terprise Information Systems (ICEIS 2018), summary in AI Matters). Similarly, we have Funchal, Portugal, March 21-24, 2018 an agreement with AAAI to jointly sponsor the annual joint doctoral consortium at the AAAI • The 17th International Conference on Au- conference, which provides an opportunity for tonomous Agents and Multiagent Systems Ph.D. students to discuss their research in- (AAMAS 2018), Stockholm, Sweden, July terests and career objectives with the other 10-15, 2018 participants and a group of established AI re- • The 33rd IEEE/ACM International Confer- searchers that act as their mentors. ence on Automated Software Engineering (ASE 2018), Montpellier, France, Septem- ber 3-7, 2018 Awards • The 18th International Conference on Intel- We started a new award, the ACM SIGAI In- ligent Virtual Agents (IVA 2018), Sydney, dustry Award for Excellence in AI, which will November 5-8, 2018 be given annually to an individual or team in industry who created a fielded AI application • The 2nd ACM Computer Science in Cars in recent years that demonstrates the power of Symposium (CSCS 2018), Munich, Ger- AI techniques via a combination of the follow- many, September 13-14, 2018 ing features: novelty of application area, nov- • The 10th International Joint Conference elty, and technical excellence of the approach, on Knowledge Discovery, Knowledge Engi- importance of AI techniques for the approach, neering and Knowledge Management (IC3K and actual and predicted societal impact of the 2018), Seville, Spain, September 18-20, application. The award will be accompanied 2018 by a prize of US$5,000 and be presented at 8 AI MATTERS, VOLUME 4, ISSUE 3 4(3) 2018 the International Joint Conference on AI (IJ- Member Communication CAI), starting in 2019 - thanks to a collabora- tion with the IJCAI Board of Trustees. We communicate with our members via email announcements, the SIGAI newsletter AI Mat- The ACM SIGAI Autonomous Agents Re- ters, the AI Matters blog, and webinars. search Award was presented at the Interna- tional Conference on Autonomous Agents and Multiagent Systems (AAMAS) 2018 - thanks AI Matters to a collaboration with the International Foun- We continued to expand the scope of our dation for Autonomous Agents and Multiagent newsletter AI Matters this year, introduced Systems (IFAAMAS) - to Craig Boutilier, Prin- the EasyChair system for the submission cipal Research Scientist at Google, for his of manuscripts and added additional column seminal contributions to research on decision- editors to the editorial team. We publish making under uncertainty, game theory, and four issues of AI Matters per year that are computational social choice. openly available on the ACM SIGAI website at sigai.acm.org/aimatters/ and feature articles of general interest to our members. Member Support Recurring columns have included: We support our members in different ways. • AI Interviews (with interesting people from For example, we nominate them for awards or academia, industry, and government), support their nominations. We also nominate • AI Amusements (including AI humor, puzzles, publications of recent, significant, and excit- and games), ing AI research results that are of general in- • AI Education (led by the education activities offi- terest to the computer science research com- cer), munity to the Research Highlights track of the Communications of the ACM (CACM) to make • AI Policy Issues (led by the public policy officer), important AI research results visible to many • AI Buzzwords (which explains new AI concepts computer scientists. We concentrate our fi- or terms), nancial support on our student members and • AI Events (which includes conference an- provided funding to conferences so that they nouncements and reports, led by the conference can award scholarships to their student atten- coordination officer), dees. We also supported the review process • AI Dissertation Abstracts and for the applications of students to attend the • News from AI Groups and Organizations. Heidelberg laureate forum to meet the recipi- ents of the most prestigious awards in math- The Symposium on Educational Advances in ematics and computer science, including the AI (EAAI) will feature an undergraduate re- ACM A.M. Turing Award and the ACM Prize in search track for the Birds of a Feather faculty- Computing. mentored undergraduate research challenge To understand the interests of our members based on one of the AI Education columns. AI better, we conducted a membership survey Matters also published the 8 winning entries and learned, among other things, that the ma- from the ACM SIGAI Student Essay Contest jority of our members have been SIGAI mem- on the Responsible Use of AI Technologies. bers for two or more years. They are inter- One of these essays had more than 2,000 ac- ested in AI resources (such as digital con- cesses (including accesses to the pdf file of tent access and webinars) as well as network- the complete issue that contained the article).
Load more

Recommended publications
  • 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]
  • 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]
  • [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]
  • 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.
    [Show full text]
  • Diffie and Hellman Receive 2015 Turing Award Rod Searcey/Stanford University
    Diffie and Hellman Receive 2015 Turing Award Rod Searcey/Stanford University. Linda A. Cicero/Stanford News Service. Whitfield Diffie Martin E. Hellman ernment–private sector relations, and attracts billions of Whitfield Diffie, former chief security officer of Sun Mi- dollars in research and development,” said ACM President crosystems, and Martin E. Hellman, professor emeritus Alexander L. Wolf. “In 1976, Diffie and Hellman imagined of electrical engineering at Stanford University, have been a future where people would regularly communicate awarded the 2015 A. M. Turing Award of the Association through electronic networks and be vulnerable to having for Computing Machinery for their critical contributions their communications stolen or altered. Now, after nearly to modern cryptography. forty years, we see that their forecasts were remarkably Citation prescient.” The ability for two parties to use encryption to commu- “Public-key cryptography is fundamental for our indus- nicate privately over an otherwise insecure channel is try,” said Andrei Broder, Google Distinguished Scientist. fundamental for billions of people around the world. On “The ability to protect private data rests on protocols for a daily basis, individuals establish secure online connec- confirming an owner’s identity and for ensuring the integ- tions with banks, e-commerce sites, email servers, and the rity and confidentiality of communications. These widely cloud. Diffie and Hellman’s groundbreaking 1976 paper, used protocols were made possible through the ideas and “New Directions in Cryptography,” introduced the ideas of methods pioneered by Diffie and Hellman.” public-key cryptography and digital signatures, which are Cryptography is a practice that facilitates communi- the foundation for most regularly used security protocols cation between two parties so that the communication on the Internet today.
    [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]
  • Virginia Gold 212-626-0505 [email protected]
    Contact: Virginia Gold 212-626-0505 [email protected] ACM TURING AWARD GOES TO PIONEER WHO ADVANCED RELIABILITY AND CONSISTENCY OF COMPUTING SYSTEMS Microsoft’s Lamport Contributed to Theory and Practice of Building Distributed Computing Systems that Work as Intended NEW YORK, March 18, 2014 – ACM (Association for Computing Machinery) www.acm.org today named Leslie Lamport, a Principal Researcher at Microsoft Research, as the recipient of the 2013 ACM A.M. Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems, in which several autonomous computers communicate with each other by passing messages. He devised important algorithms and developed formal modeling and verification protocols that improve the quality of real distributed systems. These contributions have resulted in improved correctness, performance, and reliability of computer systems. The ACM Turing Award, widely considered the “Nobel Prize in Computing,” carries a $250,000 prize, with financial support provided by Intel Corporation and Google Inc. ACM President Vint Cerf noted that “as an applied mathematician, Leslie Lamport had an extraordinary sense of how to apply mathematical tools to important practical problems. By finding useful ways to write specifications and prove correctness of realistic algorithms, assuring strong foundation for complex computing operations, he helped to move verification from an academic discipline to practical tool.” Lamport’s practical and widely used algorithms and tools have applications in security, cloud computing, embedded systems and database systems as well as mission-critical computer systems that rely on secure information sharing and interoperability to prevent failure. His notions of safety, where nothing bad happens, and liveness, where something good happens, contribute to the reliability and robustness of software and hardware engineering design.
    [Show full text]
  • Conference Program Contents AAAI-14 Conference Committee
    Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14) Twenty-Sixth Conference on Innovative Applications of Artificial Intelligence (IAAI-14) Fih Symposium on Educational Advances in Artificial Intelligence (EAAI-14) July 27 – 31, 2014 Québec Convention Centre Québec City, Québec, Canada Sponsored by the Association for the Advancement of Artificial Intelligence Cosponsored by the AI Journal, National Science Foundation, Microso Research, Google, Amazon, Disney Research, IBM Research, Nuance Communications, Inc., USC/Information Sciences Institute, Yahoo Labs!, and David E. Smith In cooperation with the Cognitive Science Society and ACM/SIGAI Conference Program Contents AAAI-14 Conference Committee AI Video Competition / 7 AAAI acknowledges and thanks the following individuals for their generous contributions of time and Awards / 3–4 energy to the successful creation and planning of the AAAI-14, IAAI-14, and EAAI-14 Conferences. Computer Poker Competition / 7 Committee Chair Conference at a Glance / 5 CRA-W / CDC Events / 4 Subbarao Kambhampati (Arizona State University, USA) Doctoral Consortium / 6 AAAI-14 Program Cochairs EAAI-14 Program / 6 Carla E. Brodley (Northeastern University, USA) Exhibition /24 Peter Stone (University of Texas at Austin, USA) Fun & Games Night / 4 IAAI Chair and Cochair General Information / 25 David Stracuzzi (Sandia National Laboratories, USA) IAAI-14 Program / 11–19 David Gunning (PARC, USA) Invited Presentations / 3, 8–9 EAAI-14 Symposium Chair and Cochair Posters / 4, 23 Registration / 9 Laura
    [Show full text]
  • Program Guide
    The First AAAI/ACM Conference on AI, Ethics, and Society February 1 – 3, 2018 Hilton New Orleans Riverside New Orleans, Louisiana, 70130 USA Program Guide Organized by AAAI, ACM, and ACM SIGAI Sponsored by Berkeley Existential Risk Initiative, DeepMind Ethics & Society, Future of Life Institute, IBM Research AI, Pricewaterhouse Coopers, Tulane University AIES 2018 Conference Overview Thursday, February Friday, Saturday, 1st February 2nd February 3rd Tulane University Hilton Riverside Hilton Riverside 8:30-9:00 Opening 9:00-10:00 Invited talk, AI: Invited talk, AI Iyad Rahwan and jobs: and Edmond Richard Awad, MIT Freeman, Harvard 10:00-10:15 Coffee Break Coffee Break 10:15-11:15 AI session 1 AI session 3 11:15-12:15 AI session 2 AI session 4 12:15-2:00 Lunch Break Lunch Break 2:00-3:00 AI and law AI and session 1 philosophy session 1 3:00-4:00 AI and law AI and session 2 philosophy session 2 4:00-4:30 Coffee break Coffee Break 4:30-5:30 Invited talk, AI Invited talk, AI and law: and philosophy: Carol Rose, Patrick Lin, ACLU Cal Poly 5:30-6:30 6:00 – Panel 2: Invited talk: Panel 1: Prioritizing The Venerable What will Artificial Ethical Tenzin Intelligence bring? Considerations Priyadarshi, in AI: Who MIT Sets the Standards? 7:00 Reception Conference Closing reception Acknowledgments AAAI and ACM acknowledges and thanks the following individuals for their generous contributions of time and energy in the successful creation and planning of AIES 2018: Program Chairs: AI and jobs: Jason Furman (Harvard University) AI and law: Gary Marchant
    [Show full text]