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] - 08371Bernadette Charron-Bost, Shlomi Dolev, Jo C. Ebergen, Ulrich Schmid:
Fault-Tolerant Distributed Algorithms on VLSI Chips, 07.09. - 10.09.2008. Dagstuhl Seminar Proceedings 08371, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08361Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni:
Programming Multi-Agent Systems, 31.08. - 05.09.2008. Dagstuhl Seminar Proceedings 08361, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08351Holger Schlingloff, Tanja E. J. Vos, Joachim Wegener:
Evolutionary Test Generation, 24.08. - 29.08.2008. Dagstuhl Seminar Proceedings 08351, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08341Artur Czumaj, S. Muthu Muthukrishnan, Ronitt Rubinfeld, Christian Sohler:
Sublinear Algorithms, 17.08. - 22.08.2008. Dagstuhl Seminar Proceedings 08341, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08332Henri E. Bal, Lubos Brim, Martin Leucker:
Distributed Verification and Grid Computing, 10.08. - 14.08.2008. Dagstuhl Seminar Proceedings 08332, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08331Uwe Aßmann, Jean Bézivin, Richard F. Paige, Bernhard Rumpe, Douglas C. Schmidt:
Perspectives Workshop: Model Engineering of Complex Systems (MECS), 10.08. - 13.08.2008. Dagstuhl Seminar Proceedings 08331, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08302Matt Bishop, Dieter Gollmann, Jeffrey Hunker, Christian W. Probst:
Countering Insider Threats, 20.07. - 25.07.2008. Dagstuhl Seminar Proceedings 08302, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08301Alexander Schliep, Amin Shokrollahi, Nicolas Thierry-Mieg:
Group Testing in the Life Sciences, 20.07. - 25.07.2008. Dagstuhl Seminar Proceedings 08301, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08292Marc Hassenzahl, Gitte Lindgaard, Axel Platz, Noam Tractinsky:
The Study of Visual Aesthetics in Human-Computer Interaction, 13.07. - 16.07.2008. Dagstuhl Seminar Proceedings 08292, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08291Daniel Cremers, Bodo Rosenhahn, Alan L. Yuille:
Statistical and Geometrical Approaches to Visual Motion Analysis, 13.07. - 18.07.2008. Dagstuhl Seminar Proceedings 08291, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08281Sven Apel, Don S. Batory, Goetz Graefe, Gunter Saake, O. Spynczyk:
Software Engineering for Tailor-made Data Management, 06.07. - 11.07.2008. Dagstuhl Seminar Proceedings 08281, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08271Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner:
Topological and Game-Theoretic Aspects of Infinite Computations, 29.06. - 04.07.2008. Dagstuhl Seminar Proceedings 08271, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08261Stefan Böttcher, Markus Lohrey, Sebastian Maneth, Wojciech Rytter:
Structure-Based Compression of Complex Massive Data, 22.06. - 27.06.2008. Dagstuhl Seminar Proceedings 08261, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08251Susanne Boll, Mohan S. Kankanhalli, Gopal Pingali, Svetha Venkatesh:
Contextual and Social Media Understanding and Usage, 15.06. - 20.06.2008. Dagstuhl Seminar Proceedings 08251, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08241Christof Fetzer, Tim Harris, Maurice Herlihy, Nir Shavit:
Transactional Memory: From Implementation to Application, 08.06. - 13.06.2008. Dagstuhl Seminar Proceedings 08241, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08231Guido Brunnett, Sabine Coquillart, Greg Welch:
Virtual Realities, 01.06. - 06.06.2008. Dagstuhl Seminar Proceedings 08231, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08221Gerald E. Farin, Stefanie Hahmann, Jörg Peters, Wenping Wang:
Geometric Modeling, 25.05. - 30.05.2008. Dagstuhl Seminar Proceedings 08221, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08201Martin E. Dyer, Mark Jerrum, Marek Karpinski:
Design and Analysis of Randomized and Approximation Algorithms, 11.05. - 16.05.2008. Dagstuhl Seminar Proceedings 08201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08191Stephen P. Borgatti, Stephen G. Kobourov, Oliver Kohlbacher, Petra Mutzel:
Graph Drawing with Applications to Bioinformatics and Social Sciences, 04.05. - 09.05.2008. Dagstuhl Seminar Proceedings 08191, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08181Lois M. L. Delcambre, Roland H. Kaschek, Heinrich C. Mayr:
The Evolution of Conceptual Modeling, 27.04. - 30.04.2008. Dagstuhl Seminar Proceedings 08181, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08171Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu:
Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008. Dagstuhl Seminar Proceedings 08171, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08161Florian Martin, Hanne Riis Nielson, Claudio Riva, Markus Schordan:
Scalable Program Analysis, 13.04. - 18.04.2008. Dagstuhl Seminar Proceedings 08161, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08142Jesús Bermejo Muñoz, Björn Lundell, Frank van der Linden:
Combining the Advantages of Product Lines and Open Source, 02.04. - 05.04.2008. Dagstuhl Seminar Proceedings 08142, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08141Kirstie L. Bellman, Michael G. Hinchey, Christian Müller-Schloer, Hartmut Schmeck, Rolf P. Würtz:
Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008. Dagstuhl Seminar Proceedings 08141, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - 08131Michael Ashburner, Ulf Leser, Dietrich Rebholz-Schuhmann:
Ontologies and Text Mining for Life Sciences: Current Status and Future Perspectives, 24.03. - 28.03.2008. Dagstuhl Seminar Proceedings 08131, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 08111Sihem Amer-Yahia, Divesh Srivastava, Gerhard Weikum:
Ranked XML Querying, 09.03. - 14.03.2008. Dagstuhl Seminar Proceedings 08111, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 08102Georg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel:
Perspectives Workshop: Network Attack Detection and Defense, 2.3. - 6.3.2008. Dagstuhl Seminar Proceedings 08102, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 08101Christian G. Huber, Oliver Kohlbacher, Michal Linial, Kathrin Marcus, Knut Reinert:
Computational Proteomics, 02.03. - 07.03.2008. Dagstuhl Seminar Proceedings 08101, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 08091Anthony G. Cohn, David C. Hogg, Ralf Möller, Bernd Neumann:
Logic and Probability for Scene Interpretation, 24.02. - 29.02.2008. Dagstuhl Seminar Proceedings 08091, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 08081Lars Arge, Robert Sedgewick, Raimund Seidel:
Data Structures, 17.02. - 22.02.2008. Dagstuhl Seminar Proceedings 08081, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 08071Jane W.-S. Liu, Rolf H. Möhring, Kirk Pruhs:
Scheduling, 10.02. - 15.02.2008. Dagstuhl Seminar Proceedings 08071, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 08061Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett:
Types, Logics and Semantics for State, 03.02. - 08.02.2008. Dagstuhl Seminar Proceedings 08061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 08051Dirk V. Arnold, Anne Auger, Jonathan E. Rowe, Carsten Witt:
Theory of Evolutionary Algorithms, 27.01. - 01.02.2008. Dagstuhl Seminar Proceedings 08051, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 08043Burkhard Stiller:
Perspectives Workshop: Telecommunication Economics, 23.1. - 26.1.2008. Dagstuhl Seminar Proceedings 08043, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 08042Jürgen Dix, Simon Parsons, Henry Prakken, Guillermo Ricardo Simari:
Perspectives Workshop: Theory and Practice of Argumentation Systems, 20.01. - 23.01.2008. Dagstuhl Seminar Proceedings 08042, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 08041Luc De Raedt, Barbara Hammer, Pascal Hitzler, Wolfgang Maass:
Recurrent Neural Networks - Models, Capacities, and Applications, 20.01. - 25.01.2008. Dagstuhl Seminar Proceedings 08041, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 08031Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee:
Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008. Dagstuhl Seminar Proceedings 08031, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 08021Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein:
Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008. Dagstuhl Seminar Proceedings 08021, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 07491Abraham Bernstein, Harald C. Gall, Andreas Zeller:
Mining Programs and Processes, 02.12. - 07.12.2007. Dagstuhl Seminar Proceedings 07491, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07471P. Jean-Jacques Herings, Marcin Jurdzinski, Peter Bro Miltersen, Éva Tardos, Bernhard von Stengel:
Equilibrium Computation, 18.11. - 23.11.2007. Dagstuhl Seminar Proceedings 07471, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 07462Arthur I. Karshmer, Jürgen Nehmer, Hartmut Raffler, Gerhard Tröster:
Assisted Living Systems - Models, Architectures and Engineering Approaches, 14.11. - 17.11.2007. Dagstuhl Seminar Proceedings 07462, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 07461Dario Bini, Beatrice Meini, Vaidyanathan Ramaswami, Marie-Ange Remiche, Peter G. Taylor:
Numerical Methods for Structured Markov Chains, 11.11. - 14.11.2007. Dagstuhl Seminar Proceedings 07461, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 07451Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz:
Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007. Dagstuhl Seminar Proceedings 07451, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07441Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi:
Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007. Dagstuhl Seminar Proceedings 07441, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 07431Ulle Endriss, Jérôme Lang, Francesca Rossi, Tuomas Sandholm:
Computational Issues in Social Choice, 21.10. - 26.10.2007. Dagstuhl Seminar Proceedings 07431, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07421Liqun Chen, Steve Kremer, Mark Dermot Ryan:
Formal Protocol Verification Applied, 14.10. - 19.10.2007. Dagstuhl Seminar Proceedings 07421, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 07411Manindra Agrawal, Harry Buhrman, Lance Fortnow, Thomas Thierauf:
Algebraic Methods in Computational Complexity, 07.10. - 12.10.2007. Dagstuhl Seminar Proceedings 07411, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 07401Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis:
Deduction and Decision Procedures, 30.09. - 05.10.2007. Dagstuhl Seminar Proceedings 07401, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07391Martin Dietzfelbinger, Shang-Hua Teng, Eli Upfal, Berthold Vöcking:
Probabilistic Methods in the Design and Analysis of Algorithms, 23.09. - 28.09.2007. Dagstuhl Seminar Proceedings 07391, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07381Johannes Blömer, Dan Boneh, Ronald Cramer, Ueli M. Maurer:
Cryptography, 16.09. - 21.09.2007. Dagstuhl Seminar Proceedings 07381, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 07361Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff:
Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007. Dagstuhl Seminar Proceedings 07361, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 07351Giacomo Bonanno, James P. Delgrande, Jérôme Lang, Hans Rott:
Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007. Dagstuhl Seminar Proceedings 07351, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07341Adolfy Hoisie, Barton P. Miller, Bernd Mohr:
Code Instrumentation and Modeling for Parallel Performance Analysis, 19.08. - 24.08.2007. Dagstuhl Seminar Proceedings 07341, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07311David Chaum, Miroslaw Kutylowski, Ronald L. Rivest, Peter Y. A. Ryan:
Frontiers of Electronic Voting, 29.07. - 03.08.2007. Dagstuhl Seminar Proceedings 07311, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 07291David S. Ebert, Hans Hagen, Kenneth I. Joy, Daniel A. Keim:
Scientific Visualization, 15.07. - 20.07.2007. Dagstuhl Seminar Proceedings 07291, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 07281Erik D. Demaine, Gregory Z. Gutin, Dániel Marx, Ulrike Stege:
Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs, 08.07. - 13.07.2007. Dagstuhl Seminar Proceedings 07281, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07271Peter Cramton, Rudolf Müller, Éva Tardos, Moshe Tennenholtz:
Computational Social Systems and the Internet, 1.7. - 6.7.2007. Dagstuhl Seminar Proceedings 07271, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07261Steven J. Brams, Kirk Pruhs, Gerhard J. Woeginger:
Fair Division, 24.06. - 29.06.2007. Dagstuhl Seminar Proceedings 07261, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07241Michaela Huhn, Hardi Hungar, Doron A. Peled:
Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007. Dagstuhl Seminar Proceedings 07241, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 07221Jean-Daniel Fekete, Andreas Kerren, Chris North, John T. Stasko:
Information Visualization - Human-Centered Issues in Visual Representation, Interaction, and Evaluation, 28.05. - 01.06.2007. Dagstuhl Seminar Proceedings 07221, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07212Bernd Bank, Max J. Egenhofer, Bart Kuijpers:
Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007. Dagstuhl Seminar Proceedings 07212, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07211Andreas Brandstädt, Klaus Jansen, Dieter Kratsch, Jeremy P. Spinrad:
Exact, Approximative, Robust and Certifying Algorithms on Particular Graph Classes, 20.05. - 25.05.2007. Dagstuhl Seminar Proceedings 07211, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07191K. Mani Chandy, Opher Etzion, Rainer von Ammon:
Event Processing, 6.5. - 11.5.2007. Dagstuhl Seminar Proceedings 07191, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07181Michael R. Berthold, Katharina Morik, Arno Siebes:
Parallel Universes and Local Patterns, 01.05. - 04.05.2007. Dagstuhl Seminar Proceedings 07181, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07171Markus H. Gross, Heinrich Müller, Hans-Peter Seidel, Harry Shum:
Visual Computing - Convergence of Computer Graphics and Computer Vision. Dagstuhl Seminar Proceedings 07171, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 07161Luc De Raedt, Thomas G. Dietterich, Lise Getoor, Kristian Kersting, Stephen H. Muggleton:
Probabilistic, Logical and Relational Learning - A Further Synthesis, 15.04. - 20.04.2007. Dagstuhl Seminar Proceedings 07161, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 07151Subhash Suri, Roger Wattenhofer, Peter Widmayer:
Geometry in Sensor Networks, 09.04. - 13.04.2007. Dagstuhl Seminar Proceedings 07151, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07132Mark A. Musen, Michael Schroeder, Barry Smith:
Towards Interoperability of Biomedical Ontologies, 27.03. - 30.03.2007. Dagstuhl Seminar Proceedings 07132, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07131Michael Biehl, Barbara Hammer, Michel Verleysen, Thomas Villmann:
Similarity-based Clustering and its Application to Medicine and Biology, 25.03. - 30.03.2007. Dagstuhl Seminar Proceedings 07131, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07122Guido Boella, Leendert W. N. van der Torre, Harko Verhagen:
Normative Multi-agent Systems, 18.03. - 23.03.2007. Dagstuhl Seminar Proceedings 07122, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07112Edmund K. Burke, Karen M. Daniels, Graham Kendall:
Cutting, Packing, Layout and Space Allocation, 13.03. - 16.03.2007. Dagstuhl Seminar Proceedings 07112, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07101Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele:
Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007. Dagstuhl Seminar Proceedings 07101, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07091Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld:
Mobility, Ubiquity and Security, 25.02. - 02.03.2007. Dagstuhl Seminar Proceedings 07091, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07081Margaret M. Burnett, Gregor Engels, Brad A. Myers, Gregg Rothermel:
End-User Software Engineering, 18.02. - 23.02.2007. Dagstuhl Seminar Proceedings 07081, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07071Andreas Frommer, Michael W. Mahoney, Daniel B. Szyld:
Web Information Retrieval and Linear Algebra Algorithms, 11.02. - 16.02.2007. Dagstuhl Seminar Proceedings 07071, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07061Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing:
Autonomous and Adaptive Web Services, 04.02. - 09.02.2007. Dagstuhl Seminar Proceedings 07061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07051Richard Hull, Peter Thiemann, Philip Wadler:
Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007. Dagstuhl Seminar Proceedings 07051, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07041Luca Benini, Naehyuck Chang, Ulrich Kremer, Christian W. Probst:
Power-aware Computing Systems, 21.01. - 26.01.2007. Dagstuhl Seminar Proceedings 07041, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07021Eli Biham, Helena Handschuh, Stefan Lucks, Vincent Rijmen:
Symmetric Cryptography, 07.01. - 12.01.2007. Dagstuhl Seminar Proceedings 07021, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 07011Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
Runtime Verification, 02.01. - 06.01.2007. Dagstuhl Seminar Proceedings 07011, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 06501Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowinski:
Practical Approaches to Multi-Objective Optimization, 10.12. - 15.12.2006. Dagstuhl Seminar Proceedings 06501, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06491Lou Burnard, Milena Dobreva, Norbert Fuhr, Anke Lüdeling:
Digital Historical Corpora - Architecture, Annotation, and Retrieval, 03.12. - 08.12.2006. Dagstuhl Seminar Proceedings 06491, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06481Joachim Gudmundsson, Rolf Klein, Giri Narasimhan, Michiel H. M. Smid, Alexander Wolff:
Geometric Networks and Metric Space Embeddings, 26.11. - 01.12.2006. Dagstuhl Seminar Proceedings 06481, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06472Peter A. Boncz, Torsten Grust, Jérôme Siméon, Maurice van Keulen:
XQuery Implementation Paradigms, 19.11. - 22.11.2006. Dagstuhl Seminar Proceedings 06472, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06461Nick R. Jennings, Gregory E. Kersten, Axel Ockenfels, Christof Weinhardt:
Negotiation and Market Engineering, 12.11. - 17.11.2006. Dagstuhl Seminar Proceedings 06461, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06451Thomas Schwentick, Denis Thérien, Heribert Vollmer:
Circuits, Logic, and Games, 08.11. - 10.11.2006. Dagstuhl Seminar Proceedings 06451, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06441Bengt Ahlgren, Lars Eggert, Anja Feldmann, Andrei V. Gurtov, Thomas R. Henderson:
Naming and Addressing for Next-Generation Internetworks, 29.10. - 01.11.2006. Dagstuhl Seminar Proceedings 06441, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06431Stefan Böttcher, Le Gruenwald, Pedro José Marrón, Evaggelia Pitoura:
Scalable Data Management in Evolving Networks, 22.10. - 27.10.2006. Dagstuhl Seminar Proceedings 06431, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06421Sándor P. Fekete, Rudolf Fleischer, Rolf Klein, Alejandro López-Ortiz:
Robot Navigation, 15.10. - 20.10.2006. Dagstuhl Seminar Proceedings 06421, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06401Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer:
Complexity of Constraints, 01.10. - 06.10.2006. Dagstuhl Seminar Proceedings 06401, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06391Stephan Dahlke, Klaus Ritter, Ian H. Sloan, Joseph F. Traub:
Algorithms and Complexity for Continuous Problems, 24.09. - 29.09.2006. Dagstuhl Seminar Proceedings 06391, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06381Arnold Baca, Larry Katz, Jürgen Perl, Otto Spaniol:
Computer Science in Sport, 17.09. - 20.09.2006. Dagstuhl Seminar Proceedings 06381, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06371Christian Cachin, Felix C. Freiling, Jaap-Henk Hoepman:
From Security to Dependability, 10.09. - 15.09.2006. Dagstuhl Seminar Proceedings 06371, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06361André DeHon, Jean-Louis Giavitto, Frédéric Gruau:
Computing Media and Languages for Space-Oriented Computation, 03.09. - 08.09.2006. Dagstuhl Seminar Proceedings 06361, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06351Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa:
Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006. Dagstuhl Seminar Proceedings 06351, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06341Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen:
Computational Structures for Modelling Space, Time and Causality, 20.08. - 25.08.2006. Dagstuhl Seminar Proceedings 06341, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06311Joachim Denzler, Joachim Hornegger, Josef Kittler, Calvin R. Maurer Jr.:
Sensor Data and Information Fusion in Computer Vision and Medicine, 30.07. - 04.08.2006. Dagstuhl Seminar Proceedings 06311, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06302Siobhán Clarke, Leon Moonen, Ganesan Ramalingam:
Aspects For Legacy Applications, 26.07. - 29.07.2006. Dagstuhl Seminar Proceedings 06302, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06301Rainer Koschke, Ettore Merlo, Andrew Walenstein:
Duplication, Redundancy, and Similarity in Software, 23.07. - 26.07.2006. Dagstuhl Seminar Proceedings 06301, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06291Frank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst:
The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006. Dagstuhl Seminar Proceedings 06291, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06271Wolfram Decker, Mike Dewar, Erich L. Kaltofen, Stephen M. Watt:
Challenges in Symbolic Computation Software, 02.07. - 07.07.2006. Dagstuhl Seminar Proceedings 06271, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06261Rafael H. Bordini, Mehdi Dastani, John-Jules Ch. Meyer:
Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006. Dagstuhl Seminar Proceedings 06261, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06251Hans-Dieter Burkhard, Martin A. Riedmiller, Uwe Schwiegelshohn, Manuela M. Veloso:
Multi-Robot Systems: Perception, Behaviors, Learning, and Action, 19.06. - 23.06.2006. Dagstuhl Seminar Proceedings 06251, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06241Bodo Rosenhahn, Reinhard Klette, Dimitris N. Metaxas:
Human Motion - Understanding, Modeling, Capture and Animation. 13th Workshop, 11.06. - 16.06.2006. Dagstuhl Seminar Proceedings 06241, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06231Erich Rome, Patrick Doherty, Georg Dorffner, Joachim Hertzberg:
Towards Affordance-Based Robot Control, 05.06. - 09.06.2006. Dagstuhl Seminar Proceedings 06231, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06221Bruce Gooch, László Neumann, Werner Purgathofer, Mateu Sbert:
Computational Aesthetics in Graphics, Visualization and Imaging, 28.05. - 02.06.2006. Dagstuhl Seminar Proceedings 06221, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06201Rudolf Ahlswede, Alberto Apostolico, Vladimir I. Levenshtein:
Combinatorial and Algorithmic Foundations of Pattern and Association Discovery, 14.05. - 19.05.2006. Dagstuhl Seminar Proceedings 06201, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06191Jean-Raymond Abrial, Uwe Glässer:
Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006. Dagstuhl Seminar Proceedings 06191, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06172Stefan Edelkamp, Stefan Leue, Willem Visser:
Directed Model Checking, 26.04. - 29.04.2006. Dagstuhl Seminar Proceedings 06172, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 06171Tim Crawford, Remco C. Veltkamp:
Content-Based Retrieval, 23.04. - 28.04.2006. Dagstuhl Seminar Proceedings 06171, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06161David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher:
Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006. Dagstuhl Seminar Proceedings 06161, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06141Peter M. Athanas, Jürgen Becker, Gordon J. Brebner, Jürgen Teich:
Dynamically Reconfigurable Architectures, 02.04. - 07.04.2006. Dagstuhl Seminar Proceedings 06141, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06131Anthony D. Joseph, Ralf Steinmetz, Klaus Wehrle:
Peer-to-Peer-Systems and -Applications, 26.03. - 29.03.2006. Dagstuhl Seminar Proceedings 06131, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06121Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum:
Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006. Dagstuhl Seminar Proceedings 06121, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06111Matthias Krause, Pavel Pudlák, Rüdiger Reischuk, Dieter van Melkebeek:
Complexity of Boolean Functions, 12.03. - 17.03.2006. Dagstuhl Seminar Proceedings 06111, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06101Jörg-Rüdiger Sack, Monika Sester, Peter van Oosterom, Michael F. Worboys:
Spatial Data: mining, processing and communicating, 05.03. - 10.03.2006. Dagstuhl Seminar Proceedings 06101, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06091Lars Arge, Robert Sedgewick, Dorothea Wagner:
Data Structures, 26.02. - 03.03.2006. Dagstuhl Seminar Proceedings 06091, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06081Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm:
Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006. Dagstuhl Seminar Proceedings 06081, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06061Dirk V. Arnold, Thomas Jansen, Michael D. Vose, Jonathan E. Rowe:
Theory of Evolutionary Algorithms, 05.02. - 10.02.2006. Dagstuhl Seminar Proceedings 06061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06051Marcus Hutter, Wolfgang Merkle, Paul M. B. Vitányi:
Kolmogorov Complexity and Applications, 29.01. - 03.02.2006. Dagstuhl Seminar Proceedings 06051, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06031Kirstie L. Bellman, Peter Hofmann, Christian Müller-Schloer, Hartmut Schmeck, Rolf P. Würtz:
Organic Computing - Controlled Emergence, 15.01. - 20.01.2006. Dagstuhl Seminar Proceedings 06031, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 06021Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol:
Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006. Dagstuhl Seminar Proceedings 06021, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05501Michael Gerndt, Allen D. Malony, Barton P. Miller, Wolfgang E. Nagel:
Automatic Performance Analysis, 12.-16. December 2005. Dagstuhl Seminar Proceedings 05501, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05491Anthony G. Cohn, Christian Freksa, Bernhard Nebel:
Spatial Cognition: Specialization and Integration, 04.12. - 09.12.2005. Dagstuhl Seminar Proceedings 05491, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 05471Christian G. Huber, Oliver Kohlbacher, Knut Reinert:
Computational Proteomics, 20.-25. November 2005. Dagstuhl Seminar Proceedings 05471, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05462Francisco Curbera, Bernd J. Krämer, Mike P. Papazoglou:
Service Oriented Computing (SOC), 15.-18. November 2005. Dagstuhl Seminar Proceedings 05462, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05451David W. Binkley, Mark Harman, Jens Krinke:
Beyond Program Slicing, 06.11. - 11.11.2005. Dagstuhl Seminar Proceedings 05451, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05441Jacek Blazewicz, Johann Christoph Freytag, Martin Vingron:
Managing and Mining Genome Information: Frontiers in Bioinformatics, 30. October - 4. November 2005. Dagstuhl Seminar Proceedings 05441, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05431Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov:
Deduction and Applications, 23.-28. October 2005. Dagstuhl Seminar Proceedings 05431, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05421Gustavo Alonso, Christian S. Jensen, Bernhard Mitschang:
Data Always and Everywhere - Management of Mobile, Ubiquitous, Pervasive, and Sensor Data, 16.10. - 21.10.2005. Dagstuhl Seminar Proceedings 05421, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05411Shlomi Dolev, Rafail Ostrovsky, Andreas Pfitzmann:
Anonymous Communication and its Applications, 09.10. - 14.10.2005. Dagstuhl Seminar Proceedings 05411, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05402Manfred Broy, Manfred Nagl, Hans Dieter Rombach, Matthias Jarke:
Perspectives Workshop, 05.10. - 08.10.2005. Dagstuhl Seminar Proceedings 05402, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - 05391Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump:
Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005. Dagstuhl Seminar Proceedings 05391, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05382Karin Harbusch, Kari-Jouko Räihä, Kumiko Tanaka-Ishii:
Efficient Text Entry, 21.-24. September 2005. Dagstuhl Seminar Proceedings 05382, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05381Leonidas J. Guibas, Uwe D. Hanebeck, Thomas C. Henderson:
Form and Content in Sensor Networks, 18.09. - 23.09.2005. Dagstuhl Seminar Proceedings 05381, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05371François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach:
Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005. Dagstuhl Seminar Proceedings 05371, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05361Stefano Leonardi, Friedhelm Meyer auf der Heide, Dorothea Wagner:
Algorithmic Aspects of Large and Complex Networks, 4.-9. September 2005. Dagstuhl Seminar Proceedings 05361, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05321James P. Delgrande, Jérôme Lang, Hans Rott, Jean-Marc Tallon:
Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics, 7.-12. August 2005. Dagstuhl Seminar Proceedings 05321, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - 05301Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger:
Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005. Dagstuhl Seminar Proceedings 05301, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05291Artur Czumaj, S. Muthu Muthukrishnan, Ronitt Rubinfeld, Christian Sohler:
Sublinear Algorithms, 17.07. - 22.07.2005. Dagstuhl Seminar Proceedings 05291, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05281John W. Fowler, Barry L. Nelson, Michael L. Pinedo, Oliver Rose:
Simulation & Scheduling: Companions or Competitors for Improving the Performance of Manufacturing Systems, 10.-15. July 2005. Dagstuhl Seminar Proceedings 05281, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05271Carole A. Goble, Carl Kesselman, York Sure:
Semantic Grid: The Convergence of Technologies, 3.-8. July 2005. Dagstuhl Seminar Proceedings 05271, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - 05261Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller:
Multi-Version Program Analysis, 26. June - 1. July 2005. Dagstuhl Seminar Proceedings 05261, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05241Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi:
Synthesis and Planning, 12.-17. June 2005. Dagstuhl Seminar Proceedings 05241, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05221Stefanie Hahmann, Guido Brunnett, Gerald E. Farin, Ron Goldman:
Geometric Modeling, 29.05. - 03.06.2005. Dagstuhl Seminar Proceedings 05221, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - 05201Martin E. Dyer, Mark Jerrum, Marek Karpinski:
Design and Analysis of Randomized and Approximation Algorithms, 15.05. - 20.05.2005. Dagstuhl Seminar Proceedings 05201, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - 05191Michael Jünger, Stephen G. Kobourov, Petra Mutzel:
Graph Drawing, 8.-13. May 2005. Dagstuhl Seminar Proceedings 05191, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05181Nigel Davies, Thomas Kirste, Heidrun Schumann:
Mobile Computing and Ambient Intelligence: The Challenge of Multimedia, 1.-4. May 2005. Dagstuhl Seminar Proceedings 05181, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 05171Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski:
Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005. Dagstuhl Seminar Proceedings 05171, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - 05161James R. Cordy, Ralf Lämmel, Andreas Winter:
Transformation Techniques in Software Engineering, 17.-22. April 2005. Dagstuhl Seminar Proceedings 05161, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05152Mario Gerla, Christoph Lindemann, Antony I. T. Rowstron:
Perspectives Workshop: Peer-to-Peer Mobile Ad Hoc Networks - New Research Issues, 9.-12. April 2005. Dagstuhl Seminar Proceedings 05152, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - 05151Graham Katz, James Pustejovsky, Frank Schilder:
Annotating, Extracting and Reasoning about Time and Events, 10.-15. April 2005. Dagstuhl Seminar Proceedings 05151, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - 05142Marcus Brunner, Lars Eggert, Kevin R. Fall, Jörg Ott, Lars C. Wolf:
Disruption Tolerant Networking, 3.-6. April 2005. Dagstuhl Seminar Proceedings 05142, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - 05141Luca Benini, Ulrich Kremer, Christian W. Probst, Peter Schelkens:
Power-aware Computing Systems, 3.-8. April 2005. Dagstuhl Seminar Proceedings 05141, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - 05101Erik R. Altman, James C. Dehnert, Christoph W. Kessler, Jens Knoop:
Scheduling for Parallel Architectures: Theory, Applications, Challenges. Dagstuhl Seminar Proceedings 05101, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - 05081José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing:
Foundations of Global Computing, 20.-25. February 2005. Dagstuhl Seminar Proceedings 05081, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05061Frank Neven, Thomas Schwentick, Dan Suciu:
Foundations of Semistructured Data, 6.-11. February 2005. Dagstuhl Seminar Proceedings 05061, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 05051Luc De Raedt, Thomas G. Dietterich, Lise Getoor, Stephen H. Muggleton:
Probabilistic, Logical and Relational Learning - Towards a Synthesis, 30. January - 4. February 2005. Dagstuhl Seminar Proceedings 05051, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05031Susanne Albers, Rolf H. Möhring, Georg Ch. Pflug, Rüdiger Schultz:
Algorithms for Optimization with Incomplete Information, 16.-21. January 2005. Dagstuhl Seminar Proceedings 05031, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 05021Thierry Coquand, Henri Lombardi, Marie-Françoise Roy:
Mathematics, Algorithms, Proofs, 9.-14. January 2005. Dagstuhl Seminar Proceedings 05021, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 05011Daniel Lehmann, Rudolf Müller, Tuomas Sandholm:
Computing and Markets, 3.-7. January 2005. Dagstuhl Seminar Proceedings 05011, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 04511Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski:
Architecting Systems with Trustworthy Components, 12.-17. December 2004. Dagstuhl Seminar Proceedings 04511, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 04491Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner:
Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004. Dagstuhl Seminar Proceedings 04491, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 04461Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Ralph E. Steuer:
Practical Approaches to Multi-Objective Optimization, 7.-12. November 2004. Dagstuhl Seminar Proceedings 04461, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 04451Michel Cosnard, Vladimir Getov, Domenico Laforenza, Alexander Reinefeld:
Future Generation Grids, 01.11. - 05.11.2004. Dagstuhl Seminar Proceedings 04451, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - 04441Margaret H. Dunham, Birgitta König-Ries, Evaggelia Pitoura, Peter L. Reiher, Can Türker:
Mobile Information Management, 24.-29. October 2004. Dagstuhl Seminar Proceedings 04441, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 04421Harry Buhrman, Lance Fortnow, Thomas Thierauf:
Algebraic Methods in Computational Complexity, 10.-15. October 2004. Dagstuhl Seminar Proceedings 04421, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 04411Matthias Bossardt, Georg Carle, David Hutchison, Hermann de Meer, Bernhard Plattner:
Service Management and Self-Organization in IP-based Networks. Dagstuhl Seminar Proceedings 04411, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 04401Thomas Müller-Gronbach, Erich Novak, Knut Petras, Joseph F. Traub:
Algorithms and Complexity for Continuous Problems, 26. September - 1. October 2004. Dagstuhl Seminar Proceedings 04401, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 04391Yannis Kalfoglou, W. Marco Schorlemmer, Amit P. Sheth, Steffen Staab, Michael Uschold:
Semantic Interoperability and Integration. Dagstuhl Seminar Proceedings 04391, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 04381Thorsten Altenkirch, Martin Hofmann, John Hughes:
Dependently Typed Programming, 12.09. - 17.09.2004. Dagstuhl Seminar Proceedings 04381, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - 04371Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans:
Perspectives of Model-Based Testing, 5.-10. September 2004. Dagstuhl Seminar Proceedings 04371, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 04351Ralph Kopperman, Michael B. Smyth, Dieter Spreen, Julian Webster:
Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings 04351, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 04301Lars Arge, Michael A. Bender, Erik D. Demaine, Charles E. Leiserson, Kurt Mehlhorn:
Cache-Oblivious and Cache-Aware Algorithms, 18.07. - 23.07.2004. Dagstuhl Seminar Proceedings 04301, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 04292Rakesh Agrawal, Johann-Christoph Freytag, Raghu Ramakrishnan:
Perspectives Workshop: Data Mining: The Next Generation, 11.07. - 16.07.2004. Dagstuhl Seminar Proceedings 04292, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - 04281Julio Collado-Vides, Ralf Hofestädt, Christoph W. Sensen:
Integrative Bioinformatics - Aspects of the Virtual Cell, 04.07. - 09.07.2004. Dagstuhl Seminar Proceedings 04281, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - 04271Gianni Bosi, Ronen I. Brafman, Jan Chomicki, Werner Kießling:
Preferences: Specification, Inference, Applications, 27. June - 2. July 2004. Dagstuhl Seminar Proceedings 04271, IBFI, Schloss Dagstuhl, Germany 2006 [contents] - 04261Leo G. Kroon, Frank Geraets, Dorothea Wagner, Christos D. Zaroliagis:
Algorithmic Methods for Railway Optimization, 20.06. - 25.06.2004. Dagstuhl Seminar Proceedings 04261, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - 04251Kostas Daniilidis, Reinhard Klette, Ales Leonardis:
Imaging Beyond the Pin-hole Camera. 12th Seminar on Theoretical Foundations of Computer Vision, 13.06. - 18.06.2004. Dagstuhl Seminar Proceedings 04251, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - 04241Barbara König, Ugo Montanari, Philippa Gardner:
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004. Dagstuhl Seminar Proceedings 04241, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 04231Jacek Blazewicz, Klaus H. Ecker, Erwin Pesch, Denis Trystram:
Scheduling in Computer and Manufacturing Systems, 31.05. - 04.06.2004. Dagstuhl Seminar Proceedings 04231, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - 04221Andreas Brandstädt, Derek G. Corneil, Klaus Jansen, Jeremy P. Spinrad:
Robust and Approximative Algorithms an Particular Graph Classes, 23.05. - 28.05.2004. Dagstuhl Seminar Proceedings 04221, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - 04211John Cremona, Michael E. Pohst:
Algorithms and Number Theory, 16.05. - 21.05.2004. Dagstuhl Seminar Proceedings 04211, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - 04201Carsten Griwodz, Thomas Peter Plagemann, Ralf Steinmetz:
Content Distribution Infrastructures, 11.05. - 14.05.2004. Dagstuhl Seminar Proceedings 04201, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - 04181Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum:
Atomicity in System Design and Execution, 25.04. - 30.04.2004. Dagstuhl Seminar Proceedings 04181, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - 04172Joachim Weickert, Hans Hagen:
Perspectives Workshop: Visualization and Image Processing of Tensor Fields, 18.04. - 23.04.2004. Dagstuhl Seminar Proceedings 04172, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - 04171Jürgen Dix, Thomas Eiter, Enrico Franconi:
Logic Based Information Agents, 18.04. - 23.04.2004. Dagstuhl Seminar Proceedings 04171, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - 04161Jean-François Boulicaut, Katharina Morik, Arno Siebes:
Detecting Local Patterns, 12.04. - 16.04.2004. Dagstuhl Seminar Proceedings 04161, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - 04131Reinhard Klette, Ryszard Kozera, Lyle Noakes, Joachim Weickert:
Geometric Properties from Incomplete Data, 21.03. - 26.03.2004. Dagstuhl Seminar Proceedings 04131, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - 04122Alois Ferscha, Stephan Olariu, Tom Pfeifer:
Wireless Sensor Networks and Applications. Dagstuhl Seminar Proceedings 04122, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 04121Zsófia Ruttkay, Elisabeth André, W. Lewis Johnson, Catherine Pelachaud:
Evaluating Embodied Conversational Agents, 14.03. - 19.03.2004. Dagstuhl Seminar Proceedings 04121, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 04101Jean Bézivin, Reiko Heckel:
Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004. Dagstuhl Seminar Proceedings 04101, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - 04091Susanne Albers, Robert Sedgewick, Dorothea Wagner:
Data Structures, 22.-27. February 2004. Dagstuhl Seminar Proceedings 04091, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - 04081Hans-Georg Beyer, Thomas Jansen, Colin R. Reeves, Michael D. Vose:
Theory of Evolutionary Algorithms, 15.-20. February 2004. Dagstuhl Seminar Proceedings 04081, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 04061Thomas Lickteig, Klaus Meer, Luis Miguel Pardo:
Real Computation and Complexity, 1.-6. February 2004. Dagstuhl Seminar Proceedings 04061, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 04051James D. Herbsleb, Walter F. Tichy:
Perspectives Workshop: Empirical Theory and the Science of Software Engineering, 25.-29. January 2004. Dagstuhl Seminar Proceedings 04051, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 04041Fernando J. Barros, Axel Lehmann, Peter Liggesmeyer, Alexander Verbraeck, Bernard P. Zeigler:
Component-Base Modeling and Simulation, 18.-23. January 2004. Dagstuhl Seminar Proceedings 04041, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 04021Jitendra Malik, Hanan Samet, Remco C. Veltkamp, Andrew Zisserman:
Content-Based Retrieval, 4.-9. January 2004. Dagstuhl Seminar Proceedings 04021, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 03471Lothar Thiele, Reinhard Wilhelm:
Perspectives Workshop: Design of Systems with Predictable Behaviour, 16.-19. November 2003. Dagstuhl Seminar Proceedings 03471, IBFI, Schloss Dagstuhl, Germany 2004 [contents] - 03411Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld:
Language-Based Security, 5.-10. October 2003. Dagstuhl Seminar Proceedings 03411, IBFI, Schloss Dagstuhl, Germany 2005 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-06 20:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
