Ну да, да. 15 сентября, в среду.

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

10.09.2010 16:30, Alexander Fingerov пишет:

model checking course mailing list model-checking@lvk.cs.msu.su писал(а) в своём письме Fri, 10 Sep 2010 15:51:04 +0400:

...

9 сентября, в понедельник, будет пересдача. Время начала -- 11 утра, аудитория 505.

Мне кажется, всё-таки не 9 сентября и не в понедельник :)