Alert: The Plaza Building will remain closed through Jan. 1, 2025.
Faculty and staff may retrieve items and use copy machines in preparation for finals week with Campus ID badges through the door on the Southwest side across from King Center. Additionally, the Auraria Health Center (link: https://healthcenter1.com) is continuing to operate at a reduced capacity.
Learn More
College of Engineering, Design & Computing Events
13 August | Correctness for Scientific Computing Systems
|
All Day
13 August | Correctness for Scientific Computing Systems
NSF/DOE
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. The CS2 program puts correctness on an equal footing with performance, the focus of current scientific computing research. This program envisions the necessity of proving correctness even in performant scientific computing systems. CS2 requires close and continuous collaboration between researchers in two complementary areas of expertise. One area is scientific computing, the second is formal reasoning and mechanized proving of properties of programs.