- John A. Bateman, Anthony G. Cohn, James Pustejovsky, editors, Spatial Representation and Reasoning in Language: Ontologies and Logics of Space, 28.03. - 01.04.2010. Volume 10131 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Susanne Albers, Sanjoy K. Baruah, Rolf H. Möhring, Kirk Pruhs, editors, Scheduling, 14.02. - 19.02.2010. Volume 10071 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Giuseppe F. Italiano, David S. Johnson, Petra Mutzel, Peter Sanders, editors, Algorithm Engineering, 27.06. - 02.07.2010. Volume 10261 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams, editors, Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010. Volume 10451 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Nigel Davies, Antonio Krüger, Marc Langheinrich, Albrecht Schmidt 0001, Martin Strohbach, editors, Pervasive Public Displays, 03.01. - 08.01.2010. Volume 10011 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Edith Elkind, Nimrod Megiddo, Peter Bro Miltersen, Vijay V. Vazirani, Bernhard von Stengel, editors, Equilibrium Computation, 25.04. - 30.04.2010. Volume 10171 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar, editors, Verification over discrete-continuous boundaries, 04.07. - 09.07.2010. Volume 10271 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Daniel Cremers, Marcus A. Magnor, Lihi Zelnik-Manor, editors, Computational Video, 10.10. - 15.10.2010. Volume 10411 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Daniel A. Keim, Stefan Wrobel, editors, Scalable Visual Analytics, 21.11. - 26.11.2010. Volume 10471 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Benjamin Rossman, Thomas Schwentick, Denis Thérien, Heribert Vollmer, editors, Circuits, Logic, and Games, 07.02. - 12.02.2010. Volume 10061 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Anupam Gupta, Stefano Leonardi, Berthold Vöcking, Roger Wattenhofer, editors, Flexible Network Design, 24.05. - 28.05.2010. Volume 10211 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann 0001, editors, Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010. Volume 10351 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Christian Glaßer, Jean-Eric Pin, Nicole Schweikardt, Victor L. Selivanov, Wolfgang Thomas, editors, Advances and Applications of Automata on Words and Trees, 12.12. - 17.12.2010. Volume 10501 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Jon Crowcroft, James Kempf, Paulo Jorge Mendes, Rute Sofia, editors, User-Centric Networking, 12.09. - 15.09.2010. Volume 10372 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- William E. Hefley, Steffen Lamparter, Christos Nikolaou, Stefan Tai, editors, Perspectives Workshop: Service Value Networks, 25.07. - 30.07.2010. Volume 10301 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie, editors, Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010. Volume 10111 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Jettie Hoonhout, Effie Lai-Chong Law, Virpi Roto, Arnold P. O. S. Vermeeren, editors, Demarcating User eXperience, 15.09. - 18.09.2010. Volume 10373 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Peter M. Athanas, Jürgen Becker, Jürgen Teich, Ingrid Verbauwhede, editors, Dynamically Reconfigurable Architectures, 11.07. - 16.07.2010. Volume 10281 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Keye Martin, Michael W. Mislove, editors, The Semantics of Information, 06.06. - 11.06.2010. Volume 10232 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Goetz Graefe, Arnd Christian König, Harumi Anne Kuno, Volker Markl, Kai-Uwe Sattler, editors, Robust Query Processing, 19.09. - 24.09.2010. Volume 10381 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Rachid Alami, Rüdiger Dillmann, Thomas C. Henderson, Alexandra Kirsch, editors, Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction, 03.10. - 08.10.2010. Volume 10401 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Bengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska, editors, Quantitative and Qualitative Analysis of Network Protocols, 31.01. - 05.02.2010. Volume 10051 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Hans Hagen, editor, Scientific Visualization: Advanced Concepts. Volume 1 of Dagstuhl Follow-Ups, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germanyn, 2010.
- Alberto Apostolico, Andreas W. M. Dress, Laxmi Parida, editors, Structure Discovery in Biology: Motifs, Networks & Phylogenies, 06.06. - 11.06.2010. Volume 10231 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner, editors, Model-Based Testing in Practice, 17.10. - 22.10.2010. Volume 10421 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, editors, Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010. Volume 10431 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov, editors, Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010. Volume 10161 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Bengt Ahlgren, Holger Karl, Dirk Kutscher, Börje Ohlman, Sara Oueslati, Ignacio Solis, editors, Information-Centric Networking, 05.12. - 08.12.2010. Volume 10492 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Jörg-Rüdiger Sack, Bettina Speckmann, E. Emiel van Loon, Robert Weibel, editors, Representation, Analysis and Visualization of Moving Objects, 05.12. - 10.12.2010. Volume 10491 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Jean-Pierre Chanod, Milena Dobreva, Andreas Rauber, Seamus Ross, editors, Automation in Digital Preservation, 18.07. - 23.07.2010. Volume 10291 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Felix Brandt, Vincent Conitzer, Lane A. Hemaspaandra, Jean-François Laslier, William S. Zwicker, editors, Computational Foundations of Social Choice, 07.03. - 12.03.2010. Volume 10101 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel, editors, Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond, 09.05. - 12.05.2010. Volume 10191 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Andreas Kerren, Catherine Plaisant, John T. Stasko, editors, Information Visualization, 13.06. - 18.06.2010. Volume 10241 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Jesús Labarta, Barton P. Miller, Bernd Mohr, Martin Schulz, editors, Program Development for Extreme-Scale Computing, 02.05. - 07.05.2010. Volume 10181 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Claus Brenner, Wolfram Burgard, Marc Pollefeys, Christoph Stiller, editors, Dynamic Maps, 12.09. - 17.09.2010. Volume 10371 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip, editors, Relationships, Objects, Roles, and Queries in Modern Programming Languages, 11.04. - 16.04.2010. Volume 10152 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, Marianne Winslett, editors, Distributed Usage Control, 06.04. - 09.04.2010. Volume 10141 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Karl Aberer, Avigdor Gal, Manfred Hauswirth, Kai-Uwe Sattler, Amit P. Sheth, editors, Semantic Challenges in Sensor Networks, 24.01. - 29.01.2010. Volume 10042 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Kevin C. Almeroth, Gunnar Karlsson, Cecilia Mascolo, Jörg Ott, editors, Impact of Human Mobility on Communications: Measurement, Analysis, Modeling, and Simulation, 06.10. - 09.10.2010. Volume 10403 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Peter Lendermann, Leon F. McGinnis, Lars Mönch, Arnd Schirrmann, editors, Grand Challenges for Discrete Event Logistics Systems, 7.03. - 12.03.2010. Volume 10102 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2010.
- Glenn Geers, Monika Sester, Stephan Winter, Ouri Wolfson, editors, Computational Transportation Science, 21.03. - 26.03.2010. Volume 10121 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Stefan Wölfl 0001, Anthony G. Cohn, Jochen Renz, Georg Sutcliffe, editors, QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning, 10.10. - 13.10.2010. Volume 10412 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Falko Dressler, Frank Kargl, Jörg Ott, Ozan K. Tonguz, Lars Wischhof, editors, Inter-Vehicular Communication, 03.10. - 06.10.2010. Volume 10402 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- François Bry, Clemens H. Cap, Ingo Dahm, Julia Maintz, Sebastian Schaffert, editors, Perspectives Workshop: Digital Social Networks, 24.01. - 29.01.2010. Volume 10041 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Thore Husfeldt, Dieter Kratsch, Ramamohan Paturi, Gregory B. Sorkin, editors, Exact Complexity of NP-hard Problems, 31.10. - 05.11.2010. Volume 10441 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Lars Arge, Erik D. Demaine, Raimund Seidel, editors, Data Structures, 28.02. - 05.03.2010. Volume 10091 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Barbara Hammer, Pascal Hitzler, Wolfgang Maass, Marc Toussaint, editors, Learning paradigms in dynamic environments, 25.07. - 30.07.2010. Volume 10302 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri, editors, Cognitive Robotics, 21.02. - 26.02.2010. Volume 10081 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Anne Auger, Jonathan L. Shapiro, L. Darrell Whitley, Carsten Witt, editors, Theory of Evolutionary Algorithms, 05.09. - 10.09.2010. Volume 10361 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Monique Calisti, Frank Dignum, Ryszard Kowalczyk, Frank Leymann, Rainer Unland, editors, Service-Oriented Architecture and (Multi-)Agent Systems Technology, 10.01. - 15.01.2010. Volume 10021 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Serge Abiteboul, Agnes Koschmider, Andreas Oberweis, Jianwen Su, editors, Enabling Holistic Approaches to Business Process Lifecycle Management, 11.04. - 16.04.2010. Volume 10151 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- K. Mani Chandy, Opher Etzion, Rainer von Ammon, editors, Event Processing, 16.05. - 21.05.2010. Volume 10201 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Alberto Avritzer, Aad P. A. van Moorsel, Katinka Wolter, editors, Resilience Assessment and Evaluation, 18.07. - 23.07.2010. Volume 10292 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Kai Bollue, Dominique Gückel, Ulrich Loup, Jacob Spönemann, Melanie Winkler, editors, Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Algorithmic synthesis of reactive and discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010. Verlagshaus Mainz, Aachen, Germany, 2010.
- Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen, editors, Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010. Volume 10031 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz, editors, Game Semantics and Program Verification, 20.06. - 25.06.2010. Volume 10252 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Matt Bishop, Lizzie Coles-Kemp, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst, editors, Insider Threats: Strategies for Prevention, Mitigation, and Response, 22.08. - 26.08.2010. Volume 10341 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Jason Dykes, Matthias Müller-Hannemann, Alexander Wolff, editors, Schematization in Cartography, Visualization, and Computational Geometry, 14.11. - 19.11.2010. Volume 10461 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Klaus P. Jantke, Aran Lunzer, Nicolas Spyratos, Yuzuru Tanaka, editors, Federation over the Web - International Workshop, Dagstuhl Castle, Germany, May 1-6, 2005. Revised Selected Papers. Volume 3847 of Lecture Notes in Computer Science, Springer, 2010.
- Peter Bürgisser, Leslie Ann Goldberg, Mark Jerrum, editors, Computational Counting, 28.11. - 03.12.2010. Volume 10481 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010.
- Matthias Müller-Hannemann, Stefan Schirra, editors, Algorithm Engineering: Bridging the Gap between Algorithm Theory and Practice [outcome of a Dagstuhl Seminar]. Volume 5971 of Lecture Notes in Computer Science, Springer, 2010.