[Alta-Logic] Peripatetic talk by Yuri Matiyasevich 2nd Feb

[Robin Cockett]

Time: 3:30pm, 2nd Feb, 2012

Place: ICT 616 
          (N.B. we may move, at the time,  to a larger venue if it is 
clear many more people want to come than fit in the room!)

Speaker: Yuri Matiyasevich

Title: Computation Paradigms in the Light of Hilbert's Tenth Problem