The Formal Methods in the Field (FMitF) program aims to bring together researchers in formal methods with researchers in other areas of computer and information science and engineering to jointly...more
The Science of Science:Discovery, Communication, and Impact (SoS:DCI) program is designed to increase the public value of scientific activity. The program pursues this goal by supporting basic...more
A vigorousMid-Scale Innovations Program (MSIP) was recommended by the 2010 Astronomy and AstrophysicsDecadal Survey, citing "many highly promising projects for achieving diverse and timely...more
Ethical and Responsible Research (ER2) funds research projects that identify (1) factors that are effective in the formation of ethical STEM researchers and (2) approaches to developing those factors...more
The Law & Science Program considers proposals that address social scientific studies of law and law-like systems of rules, as wellas studies of how science and technology are applied in legal...more
This funding partnership between the National Science Foundation (NSF) and the National Endowment for the Humanities (NEH) supports projects to develop and advance knowledge concerning dynamic...more
This program supports doctoral research focusing on building dynamic language infrastructure (DLI). Developing language infrastructure includes the documentation and preservations of languages in...more
The Directorate for Social, Behavioral and Economic Sciences (SBE) seeks to develop user-friendly large-scale next-generation data resources and relevant analytic techniques to advance fundamental...more
The Science and Technology Studies (STS) program supports research that uses historical, philosophical, and social scientific methods to investigate the intellectual, material, and social facets of...more
Textbooks for Change, a London-based social enterprise that has obtained the B Corporation seal for positive social and environmental impact, is seeking investors that would be helping the company expand.