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

1. Проясняю вопрос со сроками сдачи работ. У каждой группы на это отводится три семинара, начиная с семинара на той неделе, когда было выслано задание.

То есть дедлайны выглядят следующим образом: 424-425 - 11.03, 422 и 427 - 13.03 420 и 421 - 14.03, 428 - 15.03

При этом у 428 группы пропадает семинар в эту пятницу, 8 марта. Для того, чтобы это компенсировать, 428 группа может выполнять и сдавать задания также 11.03 и 13.03. Две недели после дедлайна считаются со дня выдачи, то есть жесткий дедлайн по первому заданию для всех групп - 25 марта.

2. Как и было объявлено на лекции, сданные на семинаре решения нужно присылать на адрес model-checking@lvk.cs.msu.su для учета, контроля и проверки на плагиат.

3. Результаты контрольных работ и приема практикума появляются в таблице https://docs.google.com/spreadsheet/ccc?key=0AjDKRN6Wzv9_dHZ2aExQSVNFYXN0aXl... (статика - на https://docs.google.com/spreadsheet/pub?key=0AjDKRN6Wzv9_dHZ2aExQSVNFYXN0aXl...).

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