City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English
What: Lecture
When: Saturday, 20 October 2007, 17:00–18:30
Where: ПОМИ РАН
Slides: verification_lecture_201007.pdf