| Date |
Topic |
Student |
| 2002/11/05, 1400ct | Temporal Logic | Anton Miagotin |
| 2002/11/12, 1400ct | — no meeting — |
| 2002/11/19, 1400ct | Model Checking Algorithms | Igor Glinyanitsa |
| 2002/12/03, 1400ct | Symbolic Model Checking | Sergey Tverdyshev |
| 2002/12/10, 1400ct | Compositional Reasoning | Evgeny Filonenko |
| 2002/12/17, 1400ct | Symmetry | Elena Petrova |
| 2003/01/07, 1400ct | Abstraction | Ramesh Kumar |
|
