Беклемишев Л.Д. в программном комитете конференции Symposium on Logical Foundations of Computer Science, LFCS 2018 (Deerfield Beach, Florida, United States, 8-11 января 2018)членство в программном комитете конференции