default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Seminar Proceedings
 |
 |
- DSP Home Page @ Schloss Dagstuhl - Leibniz Center for Informatics
- DSP Volumes
- ... more Dagstuhl publications on DBLP
Dagstuhl Seminars and Perspective Workshops (2003 - 2010)
Since 2011, proceedings are published as part of the Dagstuhl Reports and the Dagstuhl Manifestos journals.
10501Christian Glaßer, Jean-Eric Pin, Nicole Schweikardt, Victor L. Selivanov, Wolfgang Thomas:
Advances and Applications of Automata on Words and Trees, 12.12. - 17.12.2010. Dagstuhl Seminar Proceedings 10501, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents]- 10492Bengt Ahlgren, Holger Karl, Dirk Kutscher, Börje Ohlman, Sara Oueslati, Ignacio Solis:
Information-Centric Networking, 05.12. - 08.12.2010. Dagstuhl Seminar Proceedings 10492, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10491Jörg-Rüdiger Sack, Bettina Speckmann, E. Emiel van Loon, Robert Weibel:
Representation, Analysis and Visualization of Moving Objects, 05.12. - 10.12.2010. Dagstuhl Seminar Proceedings 10491, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10481Peter Bürgisser, Leslie Ann Goldberg, Mark Jerrum:
Computational Counting, 28.11. - 03.12.2010. Dagstuhl Seminar Proceedings 10481, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10471Daniel A. Keim, Stefan Wrobel:
Scalable Visual Analytics, 21.11. - 26.11.2010. Dagstuhl Seminar Proceedings 10471, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10461Jason Dykes, Matthias Müller-Hannemann, Alexander Wolff:
Schematization in Cartography, Visualization, and Computational Geometry, 14.11. - 19.11.2010. Dagstuhl Seminar Proceedings 10461, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10451Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams:
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010. Dagstuhl Seminar Proceedings 10451, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10441Thore Husfeldt, Dieter Kratsch, Ramamohan Paturi, Gregory B. Sorkin:
Exact Complexity of NP-hard Problems, 31.10. - 05.11.2010. Dagstuhl Seminar Proceedings 10441, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10431Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw:
Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010. Dagstuhl Seminar Proceedings 10431, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10421Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner:
Model-Based Testing in Practice, 17.10. - 22.10.2010. Dagstuhl Seminar Proceedings 10421, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10412Stefan Wölfl, Anthony G. Cohn, Jochen Renz, Georg Sutcliffe:
QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning, 10.10. - 13.10.2010. Dagstuhl Seminar Proceedings 10412, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10411Daniel Cremers, Marcus A. Magnor, Lihi Zelnik-Manor:
Computational Video, 10.10. - 15.10.2010. Dagstuhl Seminar Proceedings 10411, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10403Kevin C. Almeroth, Gunnar Karlsson, Cecilia Mascolo, Jörg Ott:
Impact of Human Mobility on Communications: Measurement, Analysis, Modeling, and Simulation, 06.10. - 09.10.2010. Dagstuhl Seminar Proceedings 10403, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10402Falko Dressler, Frank Kargl, Jörg Ott, Ozan K. Tonguz, Lars Wischhof:
Inter-Vehicular Communication, 03.10. - 06.10.2010. Dagstuhl Seminar Proceedings 10402, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10401Rachid Alami, Rüdiger Dillmann, Thomas C. Henderson, Alexandra Kirsch:
Learning, Planning and Sharing Robot Knowledge for Human-Robot Interaction, 03.10. - 08.10.2010. Dagstuhl Seminar Proceedings 10401, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10381Goetz Graefe, Arnd Christian König, Harumi Anne Kuno, Volker Markl, Kai-Uwe Sattler:
Robust Query Processing, 19.09. - 24.09.2010. Dagstuhl Seminar Proceedings 10381, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10373Jettie Hoonhout, Effie Lai-Chong Law, Virpi Roto, Arnold P. O. S. Vermeeren:
Demarcating User eXperience, 15.09. - 18.09.2010. Dagstuhl Seminar Proceedings 10373, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10372Jon Crowcroft, James Kempf, Paulo Mendes, Rute C. Sofia:
User-Centric Networking, 12.09. - 15.09.2010. Dagstuhl Seminar Proceedings 10372, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10371Claus Brenner, Wolfram Burgard, Marc Pollefeys, Christoph Stiller:
Dynamic Maps, 12.09. - 17.09.2010. Dagstuhl Seminar Proceedings 10371, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10361Anne Auger, Jonathan L. Shapiro, L. Darrell Whitley, Carsten Witt:
Theory of Evolutionary Algorithms, 05.09. - 10.09.2010. Dagstuhl Seminar Proceedings 10361, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10351Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann:
Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010. Dagstuhl Seminar Proceedings 10351, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10341Matt Bishop, Lizzie Coles-Kemp, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst:
Insider Threats: Strategies for Prevention, Mitigation, and Response, 22.08. - 26.08.2010. Dagstuhl Seminar Proceedings 10341, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10302Barbara Hammer, Pascal Hitzler, Wolfgang Maass, Marc Toussaint:
Learning paradigms in dynamic environments, 25.07. - 30.07.2010. Dagstuhl Seminar Proceedings 10302, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10301William E. Hefley, Steffen Lamparter, Christos Nikolaou, Stefan Tai:
Perspectives Workshop: Service Value Networks, 25.07. - 30.07.2010. Dagstuhl Seminar Proceedings 10301, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10292Alberto Avritzer, Aad P. A. van Moorsel, Katinka Wolter:
Resilience Assessment and Evaluation, 18.07. - 23.07.2010. Dagstuhl Seminar Proceedings 10292, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10291Jean-Pierre Chanod, Milena Dobreva, Andreas Rauber, Seamus Ross:
Automation in Digital Preservation, 18.07. - 23.07.2010. Dagstuhl Seminar Proceedings 10291, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10281Peter M. Athanas, Jürgen Becker, Jürgen Teich, Ingrid Verbauwhede:
Dynamically Reconfigurable Architectures, 11.07. - 16.07.2010. Dagstuhl Seminar Proceedings 10281, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10271Bernd Becker, Luca Cardelli, Holger Hermanns
, Sofiène Tahar:
Verification over discrete-continuous boundaries, 04.07. - 09.07.2010. Dagstuhl Seminar Proceedings 10271, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10261Giuseppe F. Italiano, David S. Johnson, Petra Mutzel, Peter Sanders:
Algorithm Engineering, 27.06. - 02.07.2010. Dagstuhl Seminar Proceedings 10261, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10252Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz:
Game Semantics and Program Verification, 20.06. - 25.06.2010. Dagstuhl Seminar Proceedings 10252, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10241Andreas Kerren, Catherine Plaisant, John T. Stasko:
Information Visualization, 13.06. - 18.06.2010. Dagstuhl Seminar Proceedings 10241, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10232Keye Martin, Michael W. Mislove:
The Semantics of Information, 06.06. - 11.06.2010. Dagstuhl Seminar Proceedings 10232, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10231Alberto Apostolico, Andreas W. M. Dress, Laxmi Parida:
Structure Discovery in Biology: Motifs, Networks & Phylogenies, 06.06. - 11.06.2010. Dagstuhl Seminar Proceedings 10231, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10211Anupam Gupta, Stefano Leonardi, Berthold Vöcking, Roger Wattenhofer:
Flexible Network Design, 24.05. - 28.05.2010. Dagstuhl Seminar Proceedings 10211, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10201K. Mani Chandy, Opher Etzion, Rainer von Ammon:
Event Processing, 16.05. - 21.05.2010. Dagstuhl Seminar Proceedings 10201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10191Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel:
Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond, 09.05. - 12.05.2010. Dagstuhl Seminar Proceedings 10191, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10181Jesús Labarta, Barton P. Miller, Bernd Mohr, Martin Schulz:
Program Development for Extreme-Scale Computing, 02.05. - 07.05.2010. Dagstuhl Seminar Proceedings 10181, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10171Edith Elkind, Nimrod Megiddo, Peter Bro Miltersen, Vijay V. Vazirani, Bernhard von Stengel:
Equilibrium Computation, 25.04. - 30.04.2010. Dagstuhl Seminar Proceedings 10171, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10161Nikolaj S. Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov:
Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010. Dagstuhl Seminar Proceedings 10161, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10152Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, Frank Tip:
Relationships, Objects, Roles, and Queries in Modern Programming Languages, 11.04. - 16.04.2010. Dagstuhl Seminar Proceedings 10152, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10151Serge Abiteboul, Agnes Koschmider, Andreas Oberweis, Jianwen Su:
Enabling Holistic Approaches to Business Process Lifecycle Management, 11.04. - 16.04.2010. Dagstuhl Seminar Proceedings 10151, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10141Sandro Etalle, Alexander Pretschner, Ravi S. Sandhu, Marianne Winslett:
Distributed Usage Control, 06.04. - 09.04.2010. Dagstuhl Seminar Proceedings 10141, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10131John A. Bateman, Anthony G. Cohn, James Pustejovsky:
Spatial Representation and Reasoning in Language: Ontologies and Logics of Space, 28.03. - 01.04.2010. Dagstuhl Seminar Proceedings 10131, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10121Glenn Geers, Monika Sester, Stephan Winter, Ouri Wolfson:
Computational Transportation Science, 21.03. - 26.03.2010. Dagstuhl Seminar Proceedings 10121, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10111Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie:
Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010. Dagstuhl Seminar Proceedings 10111, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10102Peter Lendermann, Leon F. McGinnis, Lars Mönch, Arnd Schirrmann:
Grand Challenges for Discrete Event Logistics Systems, 7.03. - 12.03.2010. Dagstuhl Seminar Proceedings 10102, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2010 [contents] - 10101Felix Brandt, Vincent Conitzer, Lane A. Hemaspaandra, Jean-François Laslier, William S. Zwicker:
Computational Foundations of Social Choice, 07.03. - 12.03.2010. Dagstuhl Seminar Proceedings 10101, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10091Lars Arge, Erik D. Demaine, Raimund Seidel:
Data Structures, 28.02. - 05.03.2010. Dagstuhl Seminar Proceedings 10091, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10081Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri:
Cognitive Robotics, 21.02. - 26.02.2010. Dagstuhl Seminar Proceedings 10081, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10071Susanne Albers, Sanjoy K. Baruah, Rolf H. Möhring, Kirk Pruhs:
Scheduling, 14.02. - 19.02.2010. Dagstuhl Seminar Proceedings 10071, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10061Benjamin Rossman, Thomas Schwentick, Denis Thérien, Heribert Vollmer:
Circuits, Logic, and Games, 07.02. - 12.02.2010. Dagstuhl Seminar Proceedings 10061, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10051Bengt Jonsson, Jörg Kreiker, Marta Z. Kwiatkowska:
Quantitative and Qualitative Analysis of Network Protocols, 31.01. - 05.02.2010. Dagstuhl Seminar Proceedings 10051, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10042Karl Aberer, Avigdor Gal, Manfred Hauswirth, Kai-Uwe Sattler, Amit P. Sheth:
Semantic Challenges in Sensor Networks, 24.01. - 29.01.2010. Dagstuhl Seminar Proceedings 10042, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10041François Bry, Clemens H. Cap, Ingo Dahm, Julia Maintz, Sebastian Schaffert:
Perspectives Workshop: Digital Social Networks, 24.01. - 29.01.2010. Dagstuhl Seminar Proceedings 10041, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10031Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen:
Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010. Dagstuhl Seminar Proceedings 10031, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10021Monique Calisti, Frank Dignum, Ryszard Kowalczyk, Frank Leymann, Rainer Unland:
Service-Oriented Architecture and (Multi-)Agent Systems Technology, 10.01. - 15.01.2010. Dagstuhl Seminar Proceedings 10021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 10011Nigel Davies, Antonio Krüger, Marc Langheinrich, Albrecht Schmidt, Martin Strohbach:
Pervasive Public Displays, 03.01. - 08.01.2010. Dagstuhl Seminar Proceedings 10011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 09511Erik D. Demaine, MohammadTaghi Hajiaghayi, Dániel Marx:
Parameterized complexity and approximation algorithms, 13.12. - 17.12.2009. Dagstuhl Seminar Proceedings 09511, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09502Ernst-Erich Doberkat, Alexander Kurz:
Coalgebraic Logics, 06.12. - 09.12.2009. Dagstuhl Seminar Proceedings 09502, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09501Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav:
Software Synthesis, 06.12. - 11.12.2009. Dagstuhl Seminar Proceedings 09501, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09491Lubos Brim, Stefan Edelkamp, Eric A. Hansen, Peter Sanders:
Graph Search Engineering, 29.11. - 04.12.2009. Dagstuhl Seminar Proceedings 09491, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09481Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden:
SYNCHRON 2009, 22.11. - 27.11.2009. Dagstuhl Seminar Proceedings 09481, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09471B. Malcolm Brown, Erich L. Kaltofen, Shin'ichi Oishi, Siegfried M. Rump:
Computer-assisted proofs - tools, methods and applications, 15.11. - 20.11.2009. Dagstuhl Seminar Proceedings 09471, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09461Bernd Becker, V. Bertacoo, Rolf Drechsler, Masahiro Fujita:
Algorithms and Applications for Next Generation SAT Solvers, 08.11. - 13.11.2009. Dagstuhl Seminar Proceedings 09461, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09451Gautam Das, Joachim Gudmundsson, Rolf Klein, Christian Knauer, Michiel H. M. Smid:
Geometric Networks, Metric Space Embeddings and Spatial Data Mining, 01.11. - 06.11.2009. Dagstuhl Seminar Proceedings 09451, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09441Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin:
The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009. Dagstuhl Seminar Proceedings 09441, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09432Astrid Kreissig, Iman Poernomo, Ralf H. Reussner:
Quantitative Software Design, 20.10. - 23.10.2009. Dagstuhl Seminar Proceedings 09432, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09431Darius Burschka, Heiner Deubel, Danica Kragic, Markus Vincze:
From Form to Function, 18.10. - 23.10.2009. Dagstuhl Seminar Proceedings 09431, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09421Manindra Agrawal, Lance Fortnow, Thomas Thierauf, Christopher Umans:
Algebraic Methods in Computational Complexity, 11.10. - 16.10.2009. Dagstuhl Seminar Proceedings 09421, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09411Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow:
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009. Dagstuhl Seminar Proceedings 09411, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09401Dominik Janzing, Steffen L. Lauritzen, Bernhard Schölkopf:
Machine learning approaches to statistical dependences and causality, 27.09. - 02.10.2009. Dagstuhl Seminar Proceedings 09401, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09391Thomas Müller-Gronbach, Leszek Plaskota, Joseph F. Traub:
Algorithms and Complexity for Continuous Problems, 20.09. - 25.09.2009. Dagstuhl Seminar Proceedings 09391, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09381Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock:
Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. Dagstuhl Seminar Proceedings 09381, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09371Sándor P. Fekete, Stefan Fischer, Martin A. Riedmiller, Subhash Suri:
Algorithmic Methods for Distributed Cooperative Systems, 06.09. - 11.09.2009. Dagstuhl Seminar Proceedings 09371, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09361Cormac Flanagan, Madhusan Parthasarathy, Shaz Qadeer:
Design and Validation of Concurrent Systems, 30.08. - 04.09.2009. Dagstuhl Seminar Proceedings 09361, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09351Giacomo Bonanno, James P. Delgrande, Hans Rott:
Information processing, rational belief change and social interaction, 23.08. - 27.08.2009. Dagstuhl Seminar Proceedings 09351, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09341Michael Beetz, Oliver Brock, Gordon Cheng, Jan Peters:
Cognition, Control and Learning for Robot Manipulation in Human Environments, 16.08. - 21.08.2009. Dagstuhl Seminar Proceedings 09341, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09311Samuel L. Braunstein, Hoi-Kwong Lo, Kenny Paterson, Peter Y. A. Ryan:
Classical and Quantum Information Assurance Foundations and Practice, 26.07. - 31.07.2009. Dagstuhl Seminar Proceedings 09311, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09302Bernhard Burgeth, David H. Laidlaw:
New Developments in the Visualization and Processing of Tensor Fields, 19.07. - 24.07.2009. Dagstuhl Seminar Proceedings 09302, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09301Peter W. O'Hearn, Arnd Poetzsch-Heffter, Mooly Sagiv:
Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009. Dagstuhl Seminar Proceedings 09301, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09291Margaret A. Boden, Mark d'Inverno, Jon McCormack:
Computational Creativity: An Interdisciplinary Approach, 12.07. - 17.07.2009. Dagstuhl Seminar Proceedings 09291, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09282Jorge Guajardo, Bart Preneel, Ahmad-Reza Sadeghi, Pim Tuyls:
Foundations for Forgery-Resilient Cryptographic Hardware, 05.07. - 08.07.2009. Dagstuhl Seminar Proceedings 09282, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09281Rudolf Ahlswede, Ferdinando Cicalese, Ugo Vaccaro:
Search Methodologies, 05.07. - 10.07.2009. Dagstuhl Seminar Proceedings 09281, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09271John Domingue, Dieter Fensel, James A. Hendler, Rudi Studer:
Perspectives Workshop: Semantic Web Reflections and Future Directions, 28.06. - 03.07.2009. Dagstuhl Seminar Proceedings 09271, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09261Cynthia Barnhart, Uwe Clausen, Ulrich Lauther, Rolf H. Möhring:
Models and Algorithms for Optimization in Logistics, 21.06. - 26.06.2009. Dagstuhl Seminar Proceedings 09261, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09251David S. Ebert, M. Eduard Gröller, Hans Hagen, Arie E. Kaufman:
Scientific Visualization, 14.06. - 19.06.2009. Dagstuhl Seminar Proceedings 09251, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09221Johannes Buchmann, John Cremona, Michael E. Pohst:
Algorithms and Number Theory, 24.05. - 29.05.2009. Dagstuhl Seminar Proceedings 09221, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09211Daniel A. Keim, Aiko Pras, Jürgen Schönwälder, Pak Chung Wong:
Visualization and Monitoring of Network Traffic, 17.05. - 20.05.2009. Dagstuhl Seminar Proceedings 09211, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09201Artur Andrzejak, Kurt Geihs, Onn Shehory, John Wilkes:
Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009. Dagstuhl Seminar Proceedings 09201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09192Markus Fiedler, Kalevi Kilkki, Peter Reichl:
From Quality of Service to Quality of Experience, 05.05. - 08.05.2009. Dagstuhl Seminar Proceedings 09192, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09191Franck Cappello, Laxmikant V. Kalé, Frank Mueller, Keshav Pingali, Alexander Reinefeld:
Fault Tolerance in High-Performance Computing and Grids, 03.05. - 08.05.2009. Dagstuhl Seminar Proceedings 09191, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09181Jürgen Branke, Barry L. Nelson, Warren Buckler Powell, Thomas J. Santner:
Sampling-based Optimization in the Presence of Uncertainty, 26.04. - 30.04.2009. Dagstuhl Seminar Proceedings 09181, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09171Jérémy Barbay, Rolf Klein, Alejandro López-Ortiz, Rolf Niedermeier:
Adaptive, Output Sensitive, Online and Parameterized Algorithms, 19.04. - 24.04.2009. Dagstuhl Seminar Proceedings 09171, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09161Sébastien Mustière, Monika Sester, Frank van Harmelen, Peter van Oosterom:
Generalization of spatial information, 13.04. - 17.04.2009. Dagstuhl Seminar Proceedings 09161, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09142Stephan Diehl, Michael R. Fellows, Ulrike Stege:
Perspectives Workshop: Preventing the Brainware Crisis, 31.03. - 03.04.2009. Dagstuhl Seminar Proceedings 09142, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09141Dan Boneh, Úlfar Erlingsson, Martin Johns, Benjamin Livshits:
Web Application Security, 29.03. - 03.04.2009. Dagstuhl Seminar Proceedings 09141, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09131Hans Michael Gerndt, Omer F. Rana, Gregor von Laszewski, Wolfgang Ziegler:
Service Level Agreements in Grids, 22.03. - 27.03.2009. Dagstuhl Seminar Proceedings 09131, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09121Guido Boella, Pablo Noriega, Gabriella Pigozzi, Harko Verhagen:
Normative Multi-Agent Systems, 15.03. - 20.03.2009. Dagstuhl Seminar Proceedings 09121, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09111Pankaj Kumar Agarwal, Helmut Alt, Monique Teillaud:
Computational Geometry, 08.03. - 13.03.2009. Dagstuhl Seminar Proceedings 09111, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09102Jari Arkko, Marcelo Bagnulo Braun, Scott Brim, Lars Eggert, Christian Vogt, Lixia Zhang:
Perspectives Workshop: Naming and Addressing in a Future Internet, 01.03. - 04.03.2009. Dagstuhl Seminar Proceedings 09102, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09101Nicholas J. Belkin, Norbert Fuhr, Joemon M. Jose, C. J. van Rijsbergen:
Interactive Information Retrieval, 01.03. - 06.03.2009. Dagstuhl Seminar Proceedings 09101, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09091Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami:
Formal Methods in Molecular Biology, 22.02. - 27.02.2009. Dagstuhl Seminar Proceedings 09091, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09081Michael Biehl, Barbara Hammer, Sepp Hochreiter, Stefan C. Kremer, Thomas Villmann:
Similarity-based learning on structures, 15.02. - 20.02.2009. Dagstuhl Seminar Proceedings 09081, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09073Ruth Breu, John C. Mitchell, Janos Sztipanovits, Alfred Winter:
Model-Based Design of Trustworthy Health Information Systems, 11.02. - 14.02.2009. Dagstuhl Seminar Proceedings 09073, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09072Panayotis Antoniadis, David Hausheer, Kohei Shiomoto, Burkhard Stiller, Jean C. Walrand:
Bandwidth on Demand, 08.02. - 11.02.2009. Dagstuhl Seminar Proceedings 09072, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09071Kevin R. Fall, Cecilia Mascolo, Jörg Ott, Lars C. Wolf:
Delay and Disruption-Tolerant Networking (DTN) II, 08.02. - 11.02.2009. Dagstuhl Seminar Proceedings 09071, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09061Uwe Naumann, Olaf Schenk, Horst D. Simon, Sivan Toledo:
Combinatorial Scientific Computing, 01.02. - 06.02.2009. Dagstuhl Seminar Proceedings 09061, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09052Olivier Festor, Aiko Pras, Burkhard Stiller:
Management of the Future Internet, 27.01. - 30.01.2009. Dagstuhl Seminar Proceedings 09052, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09051Eleanor Selfridge-Field, Frans Wiering, Geraint A. Wiggins:
Knowledge Representation for Intelligent Music Processing, 25.01. - 30.01.2009. Dagstuhl Seminar Proceedings 09051, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2009 [contents] - 09041Kalyanmoy Deb, Salvatore Greco, Kaisa Miettinen, Eckart Zitzler:
Hybrid and Robust Approaches to Multiobjective Optimization, 18.01. - 23.01.2009. Dagstuhl Seminar Proceedings 09041, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09031Helena Handschuh, Stefan Lucks, Bart Preneel, Phillip Rogaway:
Symmetric Cryptography, 11.01. - 16.01.2009. Dagstuhl Seminar Proceedings 09031, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 09021Frank Leymann, Tony Shan, Willem-Jan van den Heuvel, Olaf Zimmermann:
Software Service Engineering, 04.01. - 07.01.2009. Dagstuhl Seminar Proceedings 09021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 08492Stephan Dahlke, Ingrid Daubechies, Michael Elad, Gitta Kutyniok, Gerd Teschke:
Structured Decompositions and Efficient Algorithms, 30.11. - 05.12.2008. Dagstuhl Seminar Proceedings 08492, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08491Ran Canetti, Shafi Goldwasser, Günter Müller, Rainer Steinwandt:
Theoretical Foundations of Practical Information Security, 30.11. - 05.12.2008. Dagstuhl Seminar Proceedings 08491, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08471Bart Kuijpers, Dino Pedreschi, Yücel Saygin, Stefano Spaccapietra:
Geographic Privacy-Aware Knowledge Discovery and Delivery, 16.11. - 21.11.2008. Dagstuhl Seminar Proceedings 08471, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08461Jürgen Dix, Edmund H. Durfee, Cees Witteveen:
Planning in Multiagent Systems, 09.11. - 14.11.2008. Dagstuhl Seminar Proceedings 08461, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08451Wolfgang Bitterlich, Jörg-Rüdiger Sack, Monika Sester, Robert Weibel:
Representation, Analysis and Visualization of Moving Objects, 02.11. - 07.11.2008. Dagstuhl Seminar Proceedings 08451, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08441Bruce R. Childers, Jack W. Davidson, Koen De Bosschere, Mary Lou Soffa:
Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10. - 31.10.2008. Dagstuhl Seminar Proceedings 08441, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08431Fedor V. Fomin, Kazuo Iwama, Dieter Kratsch:
Moderately Exponential Time Algorithms, 19.10. - 24.10.2008. Dagstuhl Seminar Proceedings 08431, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08421Christoph Koch, Birgitta König-Ries, Volker Markl, Maurice van Keulen:
Uncertainty Management in Information Systems, 12.10. - 17.10.2008. Dagstuhl Seminar Proceedings 08421, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08412Matthias Jarke, Kalle Lyytinen, John Mylopoulos:
Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems, 08.10. - 11.10.2008. Dagstuhl Seminar Proceedings 08412, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08393Thomas Hoeren, R. K. Murti Poolla, Gottfried Vossen:
Perspectives Workshop: Virtual games, interactive hosted services and user-generated content in Web 2.0, 24.09. - 27.09.2008. Dagstuhl Seminar Proceedings 08393, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08391Harith Alani, Steffen Staab, Gerd Stumme:
Social Web Communities, 21.09. - 26.09.2008. Dagstuhl Seminar Proceedings 08391, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08381Peter Bro Miltersen, Rüdiger Reischuk, Georg Schnitger, Dieter van Melkebeek:
Computational Complexity of Discrete Problems, 14.09. - 19.09.2008. Dagstuhl Seminar Proceedings 08381, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08372Arnold Baca, Martin Lames, Keith Lyons, Bernhard Nebel, Josef Wiemeyer:
Computer Science in Sport - Mission and Methods, 07.09. - 10.09.2008. Dagstuhl Seminar Proceedings 08372, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08371