20 октября

Болдачев «Формализм распределенных во времени (темпоральных) систем»

(программа семинара)

Заседания семинара проходят в аудиториях М1 или 557

Биологического факультета МГУ

(Ленинские горы, ул. Менделеева ? Схема проезда).

Начало заседаний в 18 часов, окончание в 21 час.