Report on the NSF Workshop on Formal Methods for Security

The NSF workshop on Security and Formal Methods, held 19--20 November 2015, brought together developers of formal methods, researchers exploring how to apply formal methods to various kinds of systems, and people familiar with the security problem space.Engineering and Applied Science

Lessons learned in effective community-university-industry collaboration models for smart and connected communities research

In 2017, the Boston University Hariri Institute for Computing and the Initiative on Cities co-hosted two workshops on “Effective Community-University-Industry Collaboration Models for Smart and Connected Communities Research,” with the support of the National Science Foundation (NSF). These efforts brought together over one hundred principal investigators and research directors from universities across the country, as well as city officials, community partners, NSF program managers and other federal agency representatives, MetroLab Network representatives and industry experts. The focus was on transdisciplinary “smart city” projects that bring technical fields such as engineering and computer science together with social scientists and community stakeholders to tackle community-sourced problems. Presentations, panel discussions, working sessions and participant white papers surfaced operational models as well as barriers and levers to enabling effective research partnerships. To capture the perspectives and beliefs of all participants, in addition to the presenters, attendees were asked to synthesize lessons on each panel topic. This white paper summarizes the opportunities and recommendations that emerged from these sessions, and provides guidance to communities and researchers interested in engaging in these types of partnerships as well as universities and funders that endeavor to nurture them. It draws on the collective wisdom of the assembled participants and the authors. While many of the examples noted are drawn from medium and large cities, the lessons may still be applicable to communities of various sizes.National Science Foundatio

Summary of the First Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE1)

Challenges related to development, deployment, and maintenance of reusable software for science are becoming a growing concern. Many scientists’ research increasingly depends on the quality and availability of software upon which their works are built. To highlight some of these issues and share experiences, the First Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE1) was held in November 2013 in conjunction with the SC13 Conference. The workshop featured keynote presentations and a large number (54) of solicited extended abstracts that were grouped into three themes and presented via panels. A set of collaborative notes of the presentations and discussion was taken during the workshop. Unique perspectives were captured about issues such as comprehensive documentation, development and deployment practices, software licenses and career paths for developers. Attribution systems that account for evidence of software contribution and impact were also discussed. These include mechanisms such as Digital Object Identifiers, publication of “software papers”, and the use of online systems, for example source code repositories like GitHub. This paper summarizes the issues and shared experiences that were discussed, including cross-cutting issues and use cases. It joins a nascent literature seeking to understand what drives software work in science, and how it is impacted by the reward systems of science. These incentives can determine the extent to which developers are motivated to build software for the long-term, for the use of others, and whether to work collaboratively or separately. It also explores community building, leadership, and dynamics in relation to successful scientific software

Preparing for a Northwest Passage: A Workshop on the Role of New England in Navigating the New Arctic

Preparing for a Northwest Passage: A Workshop on the Role of New England in Navigating the New Arctic (March 25 - 27, 2018 -- The University of New Hampshire) paired two of NSF\u27s 10 Big Ideas: Navigating the New Arctic and Growing Convergence Research at NSF. During this event, participants assessed economic, environmental, and social impacts of Arctic change on New England and established convergence research initiatives to prepare for, adapt to, and respond to these effects. Shipping routes through an ice-free Northwest Passage in combination with modifications to ocean circulation and regional climate patterns linked to Arctic ice melt will affect trade, fisheries, tourism, coastal ecology, air and water quality, animal migration, and demographics not only in the Arctic but also in lower latitude coastal regions such as New England. With profound changes on the horizon, this is a critical opportunity for New England to prepare for uncertain yet inevitable economic and environmental impacts of Arctic change

Education alignment

This essay reviews recent developments in embedding data management and curation skills into information technology, library and information science, and research-based postgraduate courses in various national contexts. The essay also investigates means of joining up formal education with professional development training opportunities more coherently. The potential for using professional internships as a means of improving communication and understanding between disciplines is also explored. A key aim of this essay is to identify what level of complementarity is needed across various disciplines to most effectively and efficiently support the entire data curation lifecycle

Disrupting Illicit Supply Networks: New Applications of Operations Research and Data Analytics to End Modern Slavery

Report from a 2017 National Science Foundation workshop on promising research directions for applications of operations research and data analytics toward the disruption of illicit supply networks like human trafficking. The workshop was funded by the NSF’s Operations Engineering (ENG) and the Law & Social Sciences Program (SBE) under grant # CMMI-1726895. The report addresses the opportunity to apply advances from the fields of operations research, management science, analytics, machine learning, and data science toward the development of disruptive interventions against illicit networks. Such an extension of the current research agenda for trafficking would move understanding of such dynamic systems from descriptive characterization and predictive estimation toward improved dynamic operational control.Bureau of Business Researc

Arctic–CHAMP: A program to study Arctic hydrology and its role in global change

The Arctic constitutes a unique and important environment that is central to the dynamics and evolution of the Earth system. The Arctic water cycle, which controls countless physical, chemical, and biotic processes, is also unique and important. These processes, in turn, regulate the climate, habitat, and natural resources that are of great importance to both native and industrial societies. Comprehensive understanding of water cycling across the Arctic and its linkage to global biogeophysical dynamics is a scientific as well as strategic policy imperative

Arctic–CHAMP: A program to study Arctic hydrology and its role in global change

The Arctic constitutes a unique and important environment that is central to the dynamics and evolution of the Earth system. The Arctic water cycle, which controls countless physical, chemical, and biotic processes, is also unique and important. These processes, in turn, regulate the climate, habitat, and natural resources that are of great importance to both native and industrial societies. Comprehensive understanding of water cycling across the Arctic and its linkage to global biogeophysical dynamics is a scientific as well as strategic policy imperative