Proceedings

• Leonidas J. Guibas, Uwe D. Hanebeck, Thomas C. Henderson, editors, Form and Content in Sensor Networks, 18.09. - 23.09.2005. Volume 05381 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Peter M. Athanas, Jürgen Becker, Gordon J. Brebner, Jürgen Teich, editors, Dynamically Reconfigurable Architectures, 02.04. - 07.04.2006. Volume 06141 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Bruce Gooch, László Neumann, Werner Purgathofer, Mateu Sbert, editors, Computational Aesthetics in Graphics, Visualization and Imaging, 28.05. - 02.06.2006. Volume 06221 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Anthony D. Joseph, Ralf Steinmetz, Klaus Wehrle, editors, Peer-to-Peer-Systems and -Applications, 26.03. - 29.03.2006. Volume 06131 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Ralf Reussner, Judith A. Stafford, Clemens A. Szyperski, editors, Architecting Systems with Trustworthy Components, 12.-17. December 2004. Volume 04511 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Thomas Lickteig, Klaus Meer, Luis Miguel Pardo, editors, Real Computation and Complexity, 1.-6. February 2004. Volume 04061 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Michael Jünger, Stephen G. Kobourov, Petra Mutzel, editors, Graph Drawing, 8.-13. May 2005. Volume 05191 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer, editors, Complexity of Constraints, 01.10. - 06.10.2006. Volume 06401 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Arnold Baca, Larry Katz, Jürgen Perl, Otto Spaniol, editors, Computer Science in Sport, 17.09. - 20.09.2006. Volume 06381 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Jacek Blazewicz, Johann Christoph Freytag, Martin Vingron, editors, Managing and Mining Genome Information: Frontiers in Bioinformatics, 30. October - 4. November 2005. Volume 05441 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger, editors, Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005. Volume 05301 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Fernando J. Barros, Axel Lehmann, Peter Liggesmeyer, Alexander Verbraeck, Bernard P. Zeigler, editors, Component-Base Modeling and Simulation, 18.-23. January 2004. Volume 04041 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Thierry Coquand, Henri Lombardi, Marie-Françoise Roy, editors, Mathematics, Algorithms, Proofs, 9.-14. January 2005. Volume 05021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Shlomi Dolev, Rafail Ostrovsky, Andreas Pfitzmann, editors, Anonymous Communication and its Applications, 09.10. - 14.10.2005. Volume 05411 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Francisco Curbera, Bernd J. Krämer, Mike P. Papazoglou, editors, Service Oriented Computing (SOC), 15.-18. November 2005. Volume 05462 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Luc De Raedt, Thomas G. Dietterich, Lise Getoor, Stephen Muggleton, editors, Probabilistic, Logical and Relational Learning - Towards a Synthesis, 30. January - 4. February 2005. Volume 05051 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Dirk V. Arnold, Thomas Jansen, Michael D. Vose, Jonathan E. Rowe, editors, Theory of Evolutionary Algorithms, 05.02. - 10.02.2006. Volume 06061 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• David W. Binkley, Mark Harman, Jens Krinke, editors, Beyond Program Slicing, 06.11. - 11.11.2005. Volume 05451 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Rudolf Ahlswede, Alberto Apostolico, Vladimir I. Levenshtein, editors, Combinatorial and Algorithmic Foundations of Pattern and Association Discovery, 14.05. - 19.05.2006. Volume 06201 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Zsófia Ruttkay, Elisabeth André, W. Lewis Johnson, Catherine Pelachaud, editors, Evaluating Embodied Conversational Agents, 14.03. - 19.03.2004. Volume 04121 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Matthias Krause, Pavel Pudlák, Rüdiger Reischuk, Dieter van Melkebeek, editors, Complexity of Boolean Functions, 12.03. - 17.03.2006. Volume 06111 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Artur Czumaj, S. Muthu Muthukrishnan, Ronitt Rubinfeld, Christian Sohler, editors, Sublinear Algorithms, 17.07. - 22.07.2005. Volume 05291 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Vladimir Getov, Domenico Laforenza, Alexander Reinefeld, editors, Future Generation Grids: Proceedings of the Workshop on Future Generation Grids, November 1-5, 2004, Dagstuhl, Germany. Springer, 2006.
• John W. Fowler, Barry L. Nelson, Michael Pinedo, Oliver Rose, editors, Simulation & Scheduling: Companions or Competitors for Improving the Performance of Manufacturing Systems, 10.-15. July 2005. Volume 05281 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Henrik I. Christensen, Hans-Hellmut Nagel, editors, Cognitive Vision Systems, Sampling the Spectrum of Approaches [based on a Dagstuhl seminar]. Volume 3948 of Lecture Notes in Computer Science, Springer, 2006.
• Alois Ferscha, Stephan Olariu, Tom Pfeifer, editors, Wireless Sensor Networks and Applications. Volume 04122 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Bodo Rosenhahn, Reinhard Klette, Dimitris N. Metaxas, editors, Human Motion - Understanding, Modeling, Capture and Animation. 13th Workshop, 11.06. - 16.06.2006. Volume 06241 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi, editors, Synthesis and Planning, 12.-17. June 2005. Volume 05241 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Marcus Hutter, Wolfgang Merkle, Paul M. B. Vitányi, editors, Kolmogorov Complexity and Applications, 29.01. - 03.02.2006. Volume 06051 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Kirstie L. Bellman, Peter Hofmann, Christian Müller-Schloer, Hartmut Schmeck, Rolf P. Würtz, editors, Organic Computing - Controlled Emergence, 15.01. - 20.01.2006. Volume 06031 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Erich Rome, Patrick Doherty, Georg Dorffner, Joachim Hertzberg, editors, Towards Affordance-Based Robot Control, 05.06. - 09.06.2006. Volume 06231 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol, editors, Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006. Volume 06021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing, editors, Foundations of Global Computing, 20.-25. February 2005. Volume 05081 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski, editors, Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers. Volume 3938 of Lecture Notes in Computer Science, Springer, 2006.
• Michael Gerndt, Allen D. Malony, Barton P. Miller, Wolfgang E. Nagel, editors, Automatic Performance Analysis, 12.-16. December 2005. Volume 05501 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Frank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst, editors, The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006. Volume 06291 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Gustavo Alonso, Christian S. Jensen, Bernhard Mitschang, editors, Data Always and Everywhere - Management of Mobile, Ubiquitous, Pervasive, and Sensor Data, 16.10. - 21.10.2005. Volume 05421 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov, editors, Deduction and Applications, 23.-28. October 2005. Volume 05431 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• James D. Herbsleb, Walter F. Tichy, editors, Perspectives Workshop: Empirical Theory and the Science of Software Engineering, 25.-29. January 2004. Volume 04051 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Jörg-Rüdiger Sack, Monika Sester, Peter van Oosterom, Michael F. Worboys, editors, Spatial Data: mining, processing and communicating, 05.03. - 10.03.2006. Volume 06101 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Tim Crawford, Remco C. Veltkamp, editors, Content-Based Retrieval, 23.04. - 28.04.2006. Volume 06171 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm, editors, Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006. Volume 06081 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt, editors, Challenges in Symbolic Computation Software, 02.07. - 07.07.2006. Volume 06271 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Christian G. Huber, Oliver Kohlbacher, Knut Reinert, editors, Computational Proteomics, 20.-25. November 2005. Volume 05471 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper, editors, Workshop Trustworthy Software 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany. Volume 06000 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller, editors, Multi-Version Program Analysis, 26. June - 1. July 2005. Volume 05261 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Cliff B. Jones, David B. Lomet, Alexander Romanovsky, Gerhard Weikum, editors, Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006. Volume 06121 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Hans-Georg Beyer, Thomas Jansen, Colin R. Reeves, Michael D. Vose, editors, Theory of Evolutionary Algorithms, 15.-20. February 2004. Volume 04081 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Karin Harbusch, Kari-Jouko Räihä, Kumiko Tanaka-Ishii, editors, Efficient Text Entry, 21.-24. September 2005. Volume 05382 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Stefano Leonardi, Friedhelm Meyer auf der Heide, Dorothea Wagner, editors, Algorithmic Aspects of Large and Complex Networks, 4.-9. September 2005. Volume 05361 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Hans-Dieter Burkhard, Martin A. Riedmiller, Uwe Schwiegelshohn, Manuela M. Veloso, editors, Multi-Robot Systems: Perception, Behaviors, Learning, and Action, 19.06. - 23.06.2006. Volume 06251 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Jean-Raymond Abrial, Uwe Glässer, editors, Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006. Volume 06191 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach, editors, Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005. Volume 05371 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher, editors, Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006. Volume 06161 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Gianni Bosi, Ronen I. Brafman, Jan Chomicki, Werner Kießling, editors, Preferences: Specification, Inference, Applications, 27. June - 2. July 2004. Volume 04271 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, 2006.
• Bruno Buchberger, Shin ichi Oishi, Michael Plum, Siegfried M. Rump, editors, Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005. Volume 05391 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Lars Arge, Robert Sedgewick, Dorothea Wagner, editors, Data Structures, 26.02. - 03.03.2006. Volume 06091 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• Jitendra Malik, Hanan Samet, Remco C. Veltkamp, Andrew Zisserman, editors, Content-Based Retrieval, 4.-9. January 2004. Volume 04021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
• James R. Cordy, Ralf Lämmel, Andreas Winter, editors, Transformation Techniques in Software Engineering, 17.-22. April 2005. Volume 05161 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.