THIRD OREGON SYMPOSIUM ON LOGIC, DESIGN AND LEARNING