Showing items tagged programming. Show All
CodeBot '25: Can We Trust AI-Generated Code? 2/25-26
Workshop Feb. 25-26, 2025 in Columbia, MD and online
Can We Trust AI-Generated Code? Workshop sponsored by UMBC & Army Research Laboratory Feb. 25-26, 2025 UMBC Training Centers, Columbia, MD & online Submit Position papers...
Posted: December 9, 2024, 7:57 AM
Free class: Programming in Lean for Scientists and Engineers
1-3pm ET July 9 – Aug 21, in-person & onlne, non-credit
Lean for Scientists and Engineers Meets twice weekly, 1-3pm ET, July 9 – August 21, 2024 in-person at UMBC and online UMBC’s AI & Theory-Oriented Molecular Science Lab (ATOMS) will teach...
Posted: July 5, 2024, 10:55 AM
Learn Lean 4 programming language & proof assistant
Join an informal group meeting 1-3 Wed. this summer
Interested in learning to write computer-checked math proofs? Interested in learning an exciting new programming language? Lean 4 is a new programming language that can be used to write code...
Posted: June 25, 2023, 9:56 PM