RSS feed source: National Science Foundation
On July 10, 2025, NSF issued an Important Notice providing updates to the agency’s research security policies, including a research security training requirement, Malign Foreign Talent Recruitment Program annual certification requirement, prohibition on Confucius institutes and an updated FFDR reporting and submission timeline.
Click this link to continue reading the article on the source website.
RSS feed source: National Science Foundation
On July 10, 2025, NSF issued an Important Notice providing updates to the agency’s research security policies, including a research security training requirement, Malign Foreign Talent Recruitment Program annual certification requirement, prohibition on Confucius institutes and an updated FFDR reporting and submission timeline.
Click this link to continue reading the article on the source website.
RSS feed source: National Science Foundation
On July 10, 2025, NSF issued an Important Notice providing updates to the agency’s research security policies, including a research security training requirement, Malign Foreign Talent Recruitment Program annual certification requirement, prohibition on Confucius institutes and an updated FFDR reporting and submission timeline.
Click this link to continue reading the article on the source website.
RSS feed source: National Science Foundation
Synopsis
Correctness for Scientific Computing Systems (CS2) is a joint program of the National Science Foundation (NSF) and the Department of Energy (DOE). The program addresses challenges that are both core to DOE’s mission and essential to NSF’s mission of ensuring broad scientific progress. The program’s overarching goal is to elevate correctness as a fundamental requirement for scientific computing tools and tool chains, spanning low-level libraries through complex multi-physics simulations and emerging scientific workflows.
At an elementary level, correctness of a system means that desired behavioral properties will be satisfied during the system’s execution. In the context of scientific computing, correctness can be understood, at both the level of software and hardware, as absence of faulty behaviors such as excessive numerical rounding, floating-point exceptions, data races deadlocks, memory faults, violations of specifications at interfaces of system modules, and so on. The CS2 program puts
Click this link to continue reading the article on the source website.
