Category: Новости науки
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