The National Science Foundation (NSF) Directorate for Computer and Information Science and Engineering (CISE) is pleased to announce a distinguished lecture on Wednesday, March 9, 2016 at 2:00pm EST by Dr. Moshe Y. Vardi titled The Automated-Reasoning Revolution: From Theory to Practice and Back. Dr. Vardi is also a confirmed speaker at the Community Community Consortium‘s (CCC’s) Computing Research: Addressing National Priorities and Societal Needs Symposium in May 2016. Moshe Y. Vardi is the George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology at Rice University. He is the recipient of three IBM Outstanding Innovation Awards, the ACM SIGACT Gödel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Blaise Pascal […]

The registration for the Global City Teams Challenge Tech Jam (GCTC) at the National Institute of Standards and Technology (NIST) campus in Gaithersburg, MD on March 22-23, 2016 is now open. The Tech Jam will provide opportunities for existing Action Clusters to present their project plans, discuss project measurements, and identify additional Action Cluster partners. It is also an opportunity for interested parties to create new Action Clusters. The first day of the Tech Jam will feature presentations by invited GCTC partners and smart city leaders, followed by the presentations from registered Action Clusters (i.e. GCTC teams). One of the GCTC presenters is Marjory Blumenthal, Executive Director, President’s Council of Advisors on Science & Technology at […]

Contributions to this post were made by Jenn Wortman Vaughan, a senior researcher at Microsoft Research and a member of the workshop’s organizing committee.   The organizing committee for the Computing Community Consortium (CCC) sponsored Theoretical Foundations for Social Computing Workshop have released their workshop report. Social computing encompasses the mechanisms through which people interact with computational systems. It has blossomed into a rich research area of its own, with contributions from diverse disciplines including computer science, economics, and other social sciences. Yet a broad mathematical foundation for social computing is yet to be established, with a plethora of under-explored opportunities for mathematical research to impact social computing. This workshop, held in June 2015, brought together roughly […]

The Computing Community Consortium (CCC) congratulates Whitfield Diffie, former Chief Security Officer of Sun Microsystems and Martin E. Hellman, Professor Emeritus of Electrical Engineering at Stanford University on receiving the 2015 ACM A.M. Turing Award for critical contributions to modern cryptography. Diffie and Hellman invented public key cryptography and digital signatures, the fundamental enablers of our digital society, as we know it today. By doing so they revolutionized our lives and launched the field of Modern Cryptography, a vibrant scientific area that elevated the art of code building into a serious mathematical discipline. The Diffie-Hellman Protocol protects daily Internet communications and trillions of dollars in financial transactions. Their influence has been […]

The Computing Community Consortium (CCC) recently sponsored a Blue Sky Ideas Conference Track at the 30th Association for the Advancement of Artificial Intelligence (AAAI) Conference on Artificial Intelligence (AAAI-16), February 12-17, 2016 in Phoenix, Arizona. The purpose of this conference was to promote research in artificial intelligence (AI) and scientific exchange among AI researchers, practitioners, scientists, and engineers in affiliated disciplines. The goal of this track was to present ideas and visions that can stimulate the research community to pursue new directions, such as new problems, new application domains, or new methodologies. CCC Chair Greg Hager presented the awards to the three winning papers. Indefinite Scalability for Living Computation David H. Ackley (University of New Mexico) * To watch a video […]

The following is a special contribution to this blog by Sankar Basu, National Science Foundation (NSF) Program Director for Computing and Communication Foundations.  NSF recently announced a new program solicitation, Energy-Efficient Computing: from Devices to Architectures (E2CDA), which is a partnership with among NSF’s Computer & Information Science & Engineering (CISE) Directorate and the Engineering (ENG) Directorate with the Semiconductor Research Corporation. Through this joint solicitation, NSF and SRC aim to support game-changing research that can set the stage for the next paradigm of computing – from mobile devices to data centers – by minimizing the energy impact of future computing systems. The program synopsis reads as follows: There is a […]