[Alta-Logic] CORRECTION: Peripatetic talk by Yuri Matiyasevich
**29th Feb**
Robin Cockett
robin at ucalgary.ca
Mon Jan 30 18:41:10 MST 2012
(Apologies for getting your hopes up and for announcing this talk 27
days too early!
Correction below!)
Time: 3:30pm, 29th 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
-robin
More information about the alta-logic-l
mailing list