A. Slissenko invited by Yu. Gurevich at Microsoft Research, Redmond, 2001

more photos