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