YuriFest

Symposium on Logic in Computer Science

CELEBRATING

YURI GUREVICH'S SEVENTIETH BIRTHDAY

Sunday, August 22, 2010