| Дата и время | Занятие | Место | Материалы |
|---|---|---|---|
| 01 мая 14:50–16:20 |
Assuring software quality by model checking, Лекция | ПОМИ РАН | слайды, видео |
| 01 мая 16:20–17:50 |
State-event-based reasoning and deadlock detection, Лекция | ПОМИ РАН | слайды, видео |
| 02 мая 14:50–16:30 |
Automated verification of security policies in mobile code, Лекция | ПОМИ РАН | слайды, видео |
| 02 мая 16:30–18:00 |
Deadlock detection, Лекция | ПОМИ РАН | слайды |
