Пентус М.Р. в программном комитете конференции Symposium on Logical Foundations of Computer Science (Сан-Диего, США, United States, 2013)членство в программном комитете конференции