Engaging Students with Theory Through ACM Collegiate Programming Contest
How formal methods can be presented in a
popular?but mathematically sound?manner to
undergraduate students of various disciplines.
Engaging Students with Theory Through ACM Collegiate Programming Contest
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved