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