Proceedings

• Manindra Agrawal, Lance Fortnow, Thomas Thierauf, Christopher Umans, editors, Algebraic Methods in Computational Complexity, 11.10. - 16.10.2009. Volume 09421 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Olivier Festor, Aiko Pras, Burkhard Stiller, editors, Management of the Future Internet, 27.01. - 30.01.2009. Volume 09052 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Peter W. O'Hearn, Arnd Poetzsch-Heffter, Mooly Sagiv, editors, Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009. Volume 09301 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Astrid Kreissig, Iman Poernomo, Ralf Reussner, editors, Quantitative Software Design, 20.10. - 23.10.2009. Volume 09432 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Nicholas J. Belkin, Norbert Fuhr, Joemon M. Jose, C. J. van Rijsbergen, editors, Interactive Information Retrieval, 01.03. - 06.03.2009. Volume 09101 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• David S. Ebert, Eduard Gröller, Hans Hagen, Arie E. Kaufman, editors, Scientific Visualization, 14.06. - 19.06.2009. Volume 09251 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Samuel L. Braunstein, Hoi-Kwong Lo, Kenny Paterson, Peter Y. A. Ryan, editors, Classical and Quantum Information Assurance Foundations and Practice, 26.07. - 31.07.2009. Volume 09311 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Artur Andrzejak, Kurt Geihs, Onn Shehory, John Wilkes, editors, Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009. Volume 09201 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Jérémy Barbay, Rolf Klein, Alejandro López-Ortiz, Rolf Niedermeier, editors, Adaptive, Output Sensitive, Online and Parameterized Algorithms, 19.04. - 24.04.2009. Volume 09171 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Giacomo Bonanno, James P. Delgrande, Hans Rott, editors, Information processing, rational belief change and social interaction, 23.08. - 27.08.2009. Volume 09351 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Thomas Müller-Gronbach, Leszek Plaskota, Joseph F. Traub, editors, Algorithms and Complexity for Continuous Problems, 20.09. - 25.09.2009. Volume 09391 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• John Domingue, Dieter Fensel, James A. Hendler, Rudi Studer, editors, Perspectives Workshop: Semantic Web Reflections and Future Directions, 28.06. - 03.07.2009. Volume 09271 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Sándor P. Fekete, Stefan Fischer 0001, Martin A. Riedmiller, Subhash Suri, editors, Algorithmic Methods for Distributed Cooperative Systems, 06.09. - 11.09.2009. Volume 09371 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• B. Malcolm Brown, Erich Kaltofen, Shin'ichi Oishi, Siegfried M. Rump, editors, Computer-assisted proofs - tools, methods and applications, 15.11. - 20.11.2009. Volume 09471 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Ruth Breu, John C. Mitchell, Janos Sztipanovits, Alfred Winter, editors, Model-Based Design of Trustworthy Health Information Systems, 11.02. - 14.02.2009. Volume 09073 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Uwe Naumann, Olaf Schenk, Horst D. Simon, Sivan Toledo, editors, Combinatorial Scientific Computing, 01.02. - 06.02.2009. Volume 09061 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Kalyanmoy Deb, Salvatore Greco, Kaisa Miettinen, Eckart Zitzler, editors, Hybrid and Robust Approaches to Multiobjective Optimization, 18.01. - 23.01.2009. Volume 09041 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Daniel A. Keim, Aiko Pras, Jürgen Schönwälder, Pak Chung Wong, editors, Visualization and Monitoring of Network Traffic, 17.05. - 20.05.2009. Volume 09211 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Cynthia Barnhart, Uwe Clausen, Ulrich Lauther, Rolf H. Möhring, editors, Models and Algorithms for Optimization in Logistics, 21.06. - 26.06.2009. Volume 09261 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Michael Beetz, Oliver Brock, Gordon Cheng, Jan Peters, editors, Cognition, Control and Learning for Robot Manipulation in Human Environments, 16.08. - 21.08.2009. Volume 09341 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Margaret A. Boden, Mark d'Inverno, Jon McCormack, editors, Computational Creativity: An Interdisciplinary Approach, 12.07. - 17.07.2009. Volume 09291 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider 0001, Reinhard von Hanxleden, editors, SYNCHRON 2009, 22.11. - 27.11.2009. Volume 09481 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav, editors, Software Synthesis, 06.12. - 11.12.2009. Volume 09501 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Cormac Flanagan, Madhusan Parthasarathy, Shaz Qadeer, editors, Design and Validation of Concurrent Systems, 30.08. - 04.09.2009. Volume 09361 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Helena Handschuh, Stefan Lucks, Bart Preneel, Phillip Rogaway, editors, Symmetric Cryptography, 11.01. - 16.01.2009. Volume 09031 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, editors, Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]. Volume 5525 of Lecture Notes in Computer Science, Springer, 2009.
• Pankaj Kumar Agarwal, Helmut Alt, Monique Teillaud, editors, Computational Geometry, 08.03. - 13.03.2009. Volume 09111 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Markus Fiedler, Kalevi Kilkki, Peter Reichl, editors, From Quality of Service to Quality of Experience, 05.05. - 08.05.2009. Volume 09192 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Bernd Becker, V. Bertacoo, Rolf Drechsler, Masahiro Fujita, editors, Algorithms and Applications for Next Generation SAT Solvers, 08.11. - 13.11.2009. Volume 09461 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Bernhard Burgeth, David H. Laidlaw, editors, New Developments in the Visualization and Processing of Tensor Fields, 19.07. - 24.07.2009. Volume 09302 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Michael Biehl, Barbara Hammer, Sepp Hochreiter, Stefan C. Kremer, Thomas Villmann, editors, Similarity-based learning on structures, 15.02. - 20.02.2009. Volume 09081 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Jürgen Branke, Barry L. Nelson, Warren Buckler Powell, Thomas J. Santner, editors, Sampling-based Optimization in the Presence of Uncertainty, 26.04. - 30.04.2009. Volume 09181 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Jari Arkko, Marcelo Bagnulo Braun, Scott Brim, Lars Eggert, Christian Vogt, Lixia Zhang, editors, Perspectives Workshop: Naming and Addressing in a Future Internet, 01.03. - 04.03.2009. Volume 09102 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Kevin R. Fall, Cecilia Mascolo, Jörg Ott, Lars C. Wolf, editors, Delay and Disruption-Tolerant Networking (DTN) II, 08.02. - 11.02.2009. Volume 09071 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Lubos Brim, Stefan Edelkamp, Eric A. Hansen, Peter Sanders, editors, Graph Search Engineering, 29.11. - 04.12.2009. Volume 09491 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Hans Michael Gerndt, Omer F. Rana, Gregor von Laszewski, Wolfgang Ziegler, editors, Service Level Agreements in Grids, 22.03. - 27.03.2009. Volume 09131 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin, editors, The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009. Volume 09441 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Michael Biehl, Barbara Hammer, Michel Verleysen, Thomas Villmann, editors, Similarity-Based Clustering, Recent Developments and Biomedical Applications [outcome of a Dagstuhl Seminar]. Volume 5400 of Lecture Notes in Computer Science, Springer, 2009.
• Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow, editors, Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009. Volume 09411 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Sébastien Mustière, Monika Sester, Frank van Harmelen, Peter van Oosterom, editors, Generalization of spatial information, 13.04. - 17.04.2009. Volume 09161 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein, editors, Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers. Volume 5492 of Lecture Notes in Computer Science, Springer, 2009.
• Frank Leymann, Tony Shan, Willem-Jan van den Heuvel, Olaf Zimmermann, editors, Software Service Engineering, 04.01. - 07.01.2009. Volume 09021 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Rudolf Ahlswede, Ferdinando Cicalese, Ugo Vaccaro, editors, Search Methodologies, 05.07. - 10.07.2009. Volume 09281 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Erik D. Demaine, MohammadTaghi Hajiaghayi, Dániel Marx, editors, Parameterized complexity and approximation algorithms, 13.12. - 17.12.2009. Volume 09511 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Gautam Das, Joachim Gudmundsson, Rolf Klein, Christian Knauer, Michiel H. M. Smid, editors, Geometric Networks, Metric Space Embeddings and Spatial Data Mining, 01.11. - 06.11.2009. Volume 09451 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Eleanor Selfridge-Field, Frans Wiering, Geraint A. Wiggins, editors, Knowledge Representation for Intelligent Music Processing, 25.01. - 30.01.2009. Volume 09051 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009.
• Dominik Janzing, Steffen L. Lauritzen, Bernhard Schölkopf, editors, Machine learning approaches to statistical dependences and causality, 27.09. - 02.10.2009. Volume 09401 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Panayotis Antoniadis, David Hausheer, Kohei Shiomoto, Burkhard Stiller, Jean C. Walrand, editors, Bandwidth on Demand, 08.02. - 11.02.2009. Volume 09072 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Guido Boella, Pablo Noriega, Gabriella Pigozzi, Harko Verhagen, editors, Normative Multi-Agent Systems, 15.03. - 20.03.2009. Volume 09121 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Jorge Guajardo, Bart Preneel, Ahmad-Reza Sadeghi, Pim Tuyls, editors, Foundations for Forgery-Resilient Cryptographic Hardware, 05.07. - 08.07.2009. Volume 09282 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock, editors, Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. Volume 09381 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami, editors, Formal Methods in Molecular Biology, 22.02. - 27.02.2009. Volume 09091 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Ernst-Erich Doberkat, Alexander Kurz, editors, Coalgebraic Logics, 06.12. - 09.12.2009. Volume 09502 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Franck Cappello, Laxmikant V. Kalé, Frank Mueller, Keshav Pingali, Alexander Reinefeld, editors, Fault Tolerance in High-Performance Computing and Grids, 03.05. - 08.05.2009. Volume 09191 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Darius Burschka, Heiner Deubel, Danica Kragic, Markus Vincze, editors, From Form to Function, 18.10. - 23.10.2009. Volume 09431 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Dan Boneh, Úlfar Erlingsson, Martin Johns, Benjamin Livshits, editors, Web Application Security, 29.03. - 03.04.2009. Volume 09141 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Daniel Cremers, Bodo Rosenhahn, Alan L. Yuille, Frank R. Schmidt, editors, Statistical and Geometrical Approaches to Visual Motion Analysis, International Dagstuhl Seminar, Dagstuhl Castle, Germany, July 13-18, 2008. Revised Papers. Volume 5604 of Lecture Notes in Computer Science, Springer, 2009.
• Stephan Diehl, Michael R. Fellows, Ulrike Stege, editors, Perspectives Workshop: Preventing the Brainware Crisis, 31.03. - 03.04.2009. Volume 09142 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.
• Johannes A. Buchmann, John Cremona, Michael E. Pohst, editors, Algorithms and Number Theory, 24.05. - 29.05.2009. Volume 09221 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.