28.2. Seminář S-COMP Centre (ms)