RUS ENG

< Теоретико-типовая семантика и векторные модели (семинар NLU/RG 20 мая 2016 года)
23.05.2016 12:07 Давность: 1 year
Категория: Новости науки

SEA, CSSR, PSSV 2016

Летом в Математическом институте Стеклова (ПОМИ) пройдут две международные конференции: 15th International Symposium on Experimental Algorithms (SEA 2016, 5–8 июня) и 11th International Computer Science Symposium in Russia (CSR 2016, 9–13 июня), а также The Seventh Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2016) семинар-спутник конференции CSR.   Программы конференций и семинара доступны на страницах: logic.pdmi.ras.ru/sea2016/ и logic.pdmi.ras.ru/csr2016/ pssv-conf.ru


Летом в Математическом институте Стеклова (ПОМИ) пройдут две международные конференции: 15th International Symposium on Experimental Algorithms (SEA 2016, 5–8 июня) и 11th International Computer Science Symposium in Russia (CSR 2016, 9–13 июня), а также The Seventh Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2016) семинар-спутник конференции CSR.

Программы конференций и семинара доступны на страницах:

 

Будет много интересных докладов. В частности, будут такие приглашённые

доклады:

Yurii Nesterov (Ecole Polytechnique de Louvain, Belgium) Complexity bounds for primal-dual methods minimizing the model of objective function

Haim Kaplan (Tel Aviv University, Israel) Minimum Cost Flows in Graphs with Unit Capacities

Juliana Freire (New York University, USA) Provenance for Computational Reproducibility and Beyond

Christos H. Papadimitriou (University of California at Berkeley, USA) Algorithm as a scientific Weltanschauung

Vladimir Kolmogorov (Institute of Science and Technology, Austria) Complexity classifications of Valued Constraint Satisfaction Problems

Virginia Vassilevska Williams (Stanford University, USA) Fine-Grained Algorithms and Complexity

Orna Kupferman (Hebrew University, Israel) On High-Quality Synthesis

Herbert Edelsbrunner (Institute of Science and Technology, Austria) Topological Data Analysis with Bremen Divergences


Контактная информация

194021, Санкт-Петербург, ул. Политехническая, д. 21, ауд. 104

Тел./факс: +7-812-2971639

Кафедра расположена на 1 этаже 9 корпуса СПбГПУ.

 Зав. кафедрой проф. Карпов Юрий Глебович


Ближайшие события

в этом списке нет новостей.

Недавние события

27.06.2017 Учебный процесс:
23.06.2017 Учебный процесс:
29.06.2016 Учебный процесс:
22.06.2016 Учебный процесс:
Отображение результатов 1 до 5 из 101
<< Первая < предыдущ. 1-5 6-10 11-15 16-20 21-25 26-30 31-35 следующ. > Последняя>>

Недавние обновления

Aktuell liegen keine neuen Inhalte vor.