From 11.06.06 to 16.06.06, the Dagstuhl Seminar 06241 Human Motion Understanding, Modeling, Capture and Animation. 13th Workshop "Theoretical Foundations of Computer Vision" was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts ...

Robust Query Processing (Dagstuhl Seminar 12321) Goetz Graefe, Wey Guy, Harumi A. Kuno, and Glenn Paulley . . . . . . . . . . . . . . . . . . . 1 Mobility Data Mining and Privacy (Dagstuhl Seminar 12331) Christopher W. Clifton, Bart Kuijpers, Katharina Morik, and Yucel Saygin . . . . . . 16 Verifying Reliability (Dagstuhl Seminar 12341) Görschwin Fey, Masahiro Fujita, Natasa Miskov-Zivanov, Kau...

From 23. February to 27. February 2009, the Dagstuhl Seminar 09091 Formal Methods in Molecular Biology was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas a...

From 02.04. to 05.04.2008, the Dagstuhl Seminar 08142 Combining the Advantages of Product Lines and Open Source was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstr...

From 20.05. to 25.05., the Dagstuhl Seminar 07212 Constraint Databases, Geometric Elimination and Geographic Information Systems was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar...

From 02.07.06 to 07.07.06, the Dagstuhl Seminar 06271 Challenges in Symbolic Computation Software was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of semina...

From 10.10.04 to 15.10.04, the Dagstuhl Seminar 04421 Algebraic Methods in Computational Complexity was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of semi...

From 1 May 2007 to 4 May 2007 the Dagstuhl Seminar 07181 Parallel Universes and Local Patterns was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar r...

From 15.10.06 to 20.10.06, the Dagstuhl Seminar 06421 Robot Navigation was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put...

From 11/04/10 to 16/04/10, the Dagstuhl Seminar 10152 Relationships, Objects, Roles, and Queries in Modern Programming Languages was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of s...