Algorithms and Complexity for Continuous Problems

Multi-Version Program Analysis

计算机科学;物理学

Thomas Müller-Gronbach ; Leszek Plaskota ; Joseph F. Traub

Others  :  http://drops.dagstuhl.de/opus/volltexte/2009/2300/pdf/09391_abstracts_collection.2300.pdf
PID  :  6412

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

From 20.09.09 to 25.09.09, the Dagstuhl Seminar 09391 Algorithms and Complexity for Continuous Problems was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.