2021
CSC - Formal Verification Intro ru
    https://www.youtube.com/playlist?list=PLyZ1pMP2ZKOwMIkPgIT2iGiaDMYhpStqj
    https://compsciclub.ru/courses/formalverification/2021-spring/
    https://github.com/anton-trunov/csclub-coq-course-spring-2021
2021
FPMI - Lipovskiy - TFTDS 3 course lections
    https://www.youtube.com/playlist?list=PL4_hYwCyhAvaYKF6HkyCximCvlExxxnrC
    ! need first 2 and 10 lections
FPMI - Lipovskiy - TFTDS 3 course seminars
    https://www.youtube.com/playlist?list=PL4_hYwCyhAvZd6B5fN3yAB0zOCjhgpfgg
2020
FPMI - Lipovskiy - TFTDS 3 course lections
    https://www.youtube.com/playlist?list=PL4_hYwCyhAvZaJ3CJlGo9FxOTA2bS1YyN
FPMI - Lipovskiy - TFTDS 3 course seminars
    https://www.youtube.com/playlist?list=PL4_hYwCyhAvZTjajkPpwgR29jyx81lMCl
2019
FPMI - Lipovskiy - TFTDS 3 course lections
    https://www.youtube.com/playlist?list=PL4_hYwCyhAvYwYRYQB1QwwwrqDrIgSMou
FPMI - Lipovskiy - TFTDS 3 course seminars
    https://www.youtube.com/playlist?list=PL4_hYwCyhAvYaxubHPI-qZDhqPckxxvK7

FPMI - Lipovskiy - Sync
    https://www.youtube.com/playlist?list=PL4_hYwCyhAvb7P8guwSTaaUS8EcOaWjxF
    https://www.youtube.com/playlist?list=PL4_hYwCyhAvbW4DHFV3CY5CqupNqPf4jS
    https://www.youtube.com/playlist?list=PL4_hYwCyhAvaxKQHe6n8JQcoc7tWxKWRL
    https://www.youtube.com/playlist?list=PL4_hYwCyhAvYTxm55RBm_HA5Bq5W1Nv-R
    https://www.youtube.com/playlist?list=PL4_hYwCyhAva37lNnoMuBcKRELso5nvBm
    https://www.youtube.com/playlist?list=PL4_hYwCyhAvZgIfxf4nLnjXprGGWBs5VO