[model-checking] Семинар в среду