SW01 2016-02-09 16:00: What is an Algorithm? (Yuri Gurevich, Microsoft Research Redmond, USA)