4 February 2016
Design theory for software engineering
Meeting Room 10, 2nd Floor, JLB
12:30pm - 13:45pm
We take a brisk walk from constructive logic to engineering. During the walk, notable vistas open up on design, software engineering, Euclid’s elements, problem solving, proof theory, and naivety.
Save to your Calendar