Tech Talk - Thirty Cycles or It's Free

Hey y'all!! Hungry for knowledge and pizza? Join us at our event this week: Formal Timing of Binary Code. We'll discuss function timing in Coq and it's applications!

Where? ECSS 2.415
When? Sept. 18 @ 7