RUS ENG

< Теоретико-типовая семантика и векторные модели (семинар NLU/RG 20 мая 2016 года)
23.05.2016 09: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