From 05.09.04 to 10.09.04, the Dagstuhl Seminar 04371 Perspectives of Model-Based Testing 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 result...

From 23.07.06 to 26.07.06, the Dagstuhl Seminar 06301 Duplication, Redundancy, and Similarity in 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 o...

This report documents the program and the outcomes of Dagstuhl Seminar 15392 “Measuring the Complexity of Computational Content: Weihrauch Reducibility and Reverse Analysis.” It includes abstracts on most talks presented during the seminar, a list of open problems that were discussed and partially solved during the meeting as well as a bibliography on the seminar topic that we compiled during t...

From 26.03.06 to 29.03.06, the Dagstuhl Seminar 06131 Peerto-Peer-Systems and -Applications 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 resu...

From 28.01. to 02.02.2007, the Dagstuhl Seminar 07051 Programming Paradigms for the Web: Web Programming and Web Services 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 wel...

From 09.01.05 to 14.01.05, the Dagstuhl Seminar 05021 Mathematics, Algorithms, Proofs 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 an...

From 11.05.04 to 14.05.04, the Dagstuhl Seminar 04201 Content Distribution Infrastructures 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 resul...

Zusammenfassung From December 5th to 8th 2010, the Dagstuhl Seminar 10492 on “Information-Centric Networking” 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 an...

From 19.03.06 to 24.03.06, the Dagstuhl Seminar 06121 Atomicity: A Unifying Concept in Computer Science 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 ...

From 16.01.05 to 21.01.05, the Dagstuhl Seminar 05031 Algorithms for Optimization with Incomplete Information 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...