Ещё раз акцентирую ваше внимание, что для получения задач нужно

НЕ подписаться на список рассылки через веб-интерфейс,

А отправить ФИО и номер группы на адрес model-checking@lvk.cs.msu.su.

Информация по курсу есть на странице http://savenkov.lvk.cs.msu.su/mc.html

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