From 29.10.06 to 01.11.06, the Dagstuhl Seminar 06441 Naming and Addressing for Next-Generation Internetworks 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 abstrac...

From 24.01. to 29.01.2010, the Dagstuhl Seminar 10042 Semantic Challenges in Sensor Networks 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 are put tog...

From 12.06.05 to 17.06.2005 the Dagstuhl Seminar 05241 Synthesis and Planning 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 ...

From 28.10. to 02.11.2007, the Dagstuhl Seminar 07441 Algorithmic-Logical Theory of In nite Structures 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 s...

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...