[model-checking] Список рассылки и практикум

Дорогие студенты,

Со следующей недели начинается практикум, занятия по расписанию.

Сейчас прислали свои почтовые адреса 57 человек из 119 на курсе (см. https://spreadsheets.google.com/pub?key=0AhbmHMR5VBIJdDFHTW1ZZGxmaF93M3ViOFV... https://spreadsheets.google.com/pub?key=0AhbmHMR5VBIJdDFHTW1ZZGxmaF93M3ViOFVDVGM5TWc&hl=en&output=html).

Большая просьба -- попросите старост своих групп напомнить всем, что нужно подписаться на список рассылки до вечера воскресенья.

Те, кто не подписался, не получат вовремя первое задание по курсу.

Если это сообщение читают старосты и у них есть списки адресов группы -- можете прислать их мне, я подпишу всю группу.

Спасибо, с уважением, Константин Савенков.