Dagstuhl Seminar Proceedings

SchlossDagstuhl - Where Informatics Meets.

External Conferences & Workshops

09004: Niklas Holsti (Ed.): 9th Intl. Workshop on Worst-Case Execution Time Analysis, WCET 2009, Dublin, Ireland, July 1-3, 2009. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2009
Contents
09003: Andrej Bauer, Peter Hertling, Ker-I Ko (Eds.): Sixth International Conference on Computability and Complexity in Analysis, CCA 2009, August 18-22, 2009, Ljubljana, Slovenia. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2009
Contents
09002: Jens Clausen, Gabriele Di Stefano (Eds.): ATMOS 2009 - 9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems, IT University of Copenhagen, Denmark, September 10, 2009. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2009
Contents
08003: Raimund Kirner (Ed.): 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Prague, Czech Republic, July 1, 2008. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
08002: Matteo Fischetti, Peter Widmayer (Eds.): ATMOS 2008 - 8th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems, Karlsruhe, Germany, September 18, 2008. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
07002: Christine Rochange (Ed.): 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Pisa, Italy, July 3, 2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07001: Christian Liebchen, Ravindra K. Ahuja, Juan A. Mesa (Eds.): ATMOS 2007 - 7th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems, November 15-16, 2007, Sevilla, Spain. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06903: Reinhard Wilhelm (Ed.): 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 5, 2005, Palma de Mallorca, Spain. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06902: Frank Mueller (Ed.): 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 4, 2006, Dresden, Germany. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06901: Leo G. Kroon, Rolf H. Möhring (Eds.): 5th Workshop on Algorithmic Methods and Models for Optimization of Railways, ATMOS 2005, September 14, 2005, Palma de Mallorca, Spain. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06002: Riko Jacob, Matthias Müller-Hannemann (Eds.): ATMOS 2006 - 6th Workshop on Algorithmic Methods and Models for Optimization of Railways, September 14, 2006, ETH Zürich, Zurich, Switzerland, Selected Papers. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06000: Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper (Eds.): Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents

Workshops at Dagstuhl

08131: Michael Ashburner, Ulf Leser, Dietrich Rebholz-Schuhmann (Eds.): Ontologies and Text Mining for Life Sciences: Current Status and Future Perspectives, 24.03. - 28.03.2008. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
08102: Georg Carle, Falko Dressler, Richard A. Kemmerer, Hartmut König, Christopher Kruegel (Eds.): Perspectives Workshop: Network Attack Detection and Defense, 2.3. - 6.3.2008. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
08071: Jane W.-S. Liu, Rolf H. Möhring, Kirk Pruhs (Eds.): Scheduling, 10.02. - 15.02.2008. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
08061: Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett (Eds.): Types, Logics and Semantics for State, 03.02. - 08.02.2008. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
08043: Burkhard Stiller (Ed.): Perspectives Workshop: Telecommunication Economics, 23.1. - 26.1.2008. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
08041: Luc De Raedt, Barbara Hammer, Pascal Hitzler, Wolfgang Maass (Eds.): Recurrent Neural Networks - Models, Capacities, and Applications, 20.01. - 25.01.2008. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
08031: Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (Eds.): Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
08021: Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein (Eds.): Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
07471: P. Jean-Jacques Herings, Marcin Jurdzinski, Peter Bro Miltersen, Éva Tardos, Bernhard von Stengel (Eds.): Equilibrium Computation, 18.11. - 23.11.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), S chloss Dagstuhl, Germany 2008
Contents
07462: Arthur I. Karshmer, Jürgen Nehmer, Hartmut Raffler, Gerhard Tröster (Eds.): Assisted Living Systems - Models, Architectures and Engineering Approaches, 14.11. - 17.11.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
07461: Dario Bini, Beatrice Meini, Vaidyanathan Ramaswami, Marie-Ange Remiche, Peter G. Taylor (Eds.): Numerical Methods for Structured Markov Chains, 11.11. - 14.11.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
07451: Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (Eds.): Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07441: Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi (Eds.): Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
07431: Ulle Endriss, Jérôme Lang, Francesca Rossi, Tuomas Sandholm (Eds.): Computational Issues in Social Choice, 21.10. - 26.10.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07421: Liqun Chen, Steve Kremer, Mark Dermot Ryan (Eds.): Formal Protocol Verification Applied, 14.10. - 19.10.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
07411: Manindra Agrawal, Harry Buhrman, Lance Fortnow, Thomas Thierauf (Eds.): Algebraic Methods in Computational Complexity, 07.10. - 12.10.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
07401: Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis (Eds.): Deduction and Decision Procedures, 30.09. - 05.10.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07391: Martin Dietzfelbinger, Shang-Hua Teng, Eli Upfal, Berthold Vöcking (Eds.): Probabilistic Methods in the Design and Analysis of Algorithms, 23.09. - 28.09.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07381: Johannes Blömer, Dan Boneh, Ronald Cramer, Ueli M. Maurer (Eds.): Cryptography, 16.09. - 21.09.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
07361: Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff (Eds.): Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
07351: Giacomo Bonanno, James P. Delgrande, Jérôme Lang, Hans Rott (Eds.): Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07341: Adolfy Hoisie, Barton P. Miller, Bernd Mohr (Eds.): Code Instrumentation and Modeling for Parallel Performance Analysis, 19.08. - 24.08.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07311: David Chaum, Miroslaw Kutylowski, Ronald L. Rivest, Peter Y. A. Ryan (Eds.): Frontiers of Electronic Voting, 29.07. - 03.08.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
07291: David S. Ebert, Hans Hagen, Kenneth I. Joy, Daniel A. Keim (Eds.): Scientific Visualization, 15.07. - 20.07.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
07281: Erik D. Demaine, Gregory Gutin, Dániel Marx, Ulrike Stege (Eds.): Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs, 08.07. - 13.07.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07271: Peter Cramton, Rudolf Müller, Éva Tardos, Moshe Tennenholtz (Eds.): Computational Social Systems and the Internet, 1.7. - 6.7.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07261: Steven J. Brams, Kirk Pruhs, Gerhard J. Woeginger (Eds.): Fair Division, 24.06. - 29.06.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07241: Michaela Huhn, Hardi Hungar, Doron Peled (Eds.): Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
07221: Jean-Daniel Fekete, Andreas Kerren, Chris North, John T. Stasko (Eds.): Information Visualization - Human-Centered Issues in Visual Representation, Interaction, and Evaluation, 28.05. - 01.06.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07212: Bernd Bank, Max J. Egenhofer, Bart Kuijpers (Eds.): Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07211: Andreas Brandstädt, Klaus Jansen, Dieter Kratsch, Jeremy Spinrad (Eds.): Exact, Approximative, Robust and Certifying Algorithms on Particular Graph Classes, 20.05. - 25.05.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07191: K. Mani Chandy, Opher Etzion, Rainer von Ammon (Eds.): Event Processing, 6.5. - 11.5.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07181: Michael R. Berthold, Katharina Morik, Arno Siebes (Eds.): Parallel Universes and Local Patterns, 01.05. - 04.05.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07171: Markus H. Gross, Heinrich Müller, Hans-Peter Seidel, Harry Shum (Eds.): Visual Computing - Convergence of Computer Graphics and Computer Vision. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
07161: Luc De Raedt, Thomas G. Dietterich, Lise Getoor, Kristian Kersting, Stephen Muggleton (Eds.): Probabilistic, Logical and Relational Learning - A Further Synthesis, 15.04. - 20.04.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
07151: Subhash Suri, Roger Wattenhofer, Peter Widmayer (Eds.): Geometry in Sensor Networks, 09.04. - 13.04.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07131: Michael Biehl, Barbara Hammer, Michel Verleysen, Thomas Villmann (Eds.): Similarity-based Clustering and its Application to Medicine and Biology, 25.03. - 30.03.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07122: Guido Boella, Leendert W. N. van der Torre, Harko Verhagen (Eds.): Normative Multi-agent Systems, 18.03. - 23.03.2007. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07112: Edmund K. Burke, Karen M. Daniels, Graham Kendall (Eds.): Cutting, Packing, Layout and Space Allocation, 13.03. - 16.03.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07101: Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele (Eds.): Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07091: Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld (Eds.): Mobility, Ubiquity and Security, 25.02. - 02.03.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07081: Margaret M. Burnett, Gregor Engels, Brad A. Myers, Gregg Rothermel (Eds.): End-User Software Engineering, 18.02. - 23.02.2007. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07071: Andreas Frommer, Michael W. Mahoney, Daniel B. Szyld (Eds.): Web Information Retrieval and Linear Algebra Algorithms, 11.02. - 16.02.2007. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07061: Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing (Eds.): Autonomous and Adaptive Web Services, 04.02. - 09.02.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07051: Richard Hull, Peter Thiemann, Philip Wadler (Eds.): Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07041: Luca Benini, Naehyuck Chang, Ulrich Kremer, Christian W. Probst (Eds.): Power-aware Computing Systems, 21.01. - 26.01.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07021: Eli Biham, Helena Handschuh, Stefan Lucks, Vincent Rijmen (Eds.): Symmetric Cryptography, 07.01. - 12.01.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
07011: Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky (Eds.): Runtime Verification, 02.01. - 06.01.2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
Contents
06501: Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowinski (Eds.): Practical Approaches to Multi-Objective Optimization, 10.12. - 15.12.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06491: Lou Burnard, Milena Dobreva, Norbert Fuhr, Anke Lüdeling (Eds.): Digital Historical Corpora - Architecture, Annotation, and Retrieval, 03.12. - 08.12.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06481: Joachim Gudmundsson, Rolf Klein, Giri Narasimhan, Michiel H. M. Smid, Alexander Wolff (Eds.): Geometric Networks and Metric Space Embeddings, 26.11. - 01.12.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06472: Peter A. Boncz, Torsten Grust, Jérôme Siméon, Maurice van Keulen (Eds.): XQuery Implementation Paradigms, 19.11. - 22.11.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06461: Nick R. Jennings, Gregory E. Kersten, Axel Ockenfels, Christof Weinhardt (Eds.): Negotiation and Market Engineering, 12.11. - 17.11.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06451: Thomas Schwentick, Denis Thérien, Heribert Vollmer (Eds.): Circuits, Logic, and Games, 08.11. - 10.11.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06441: Bengt Ahlgren, Lars Eggert, Anja Feldmann, Andrei Gurtov, Thomas R. Henderson (Eds.): Naming and Addressing for Next-Generation Internetworks, 29.10. - 01.11.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06431: Stefan Böttcher, Le Gruenwald, Pedro José Marrón, Evaggelia Pitoura (Eds.): Scalable Data Management in Evolving Networks, 22.10. - 27.10.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06421: Sándor P. Fekete, Rudolf Fleischer, Rolf Klein, Alejandro López-Ortiz (Eds.): Robot Navigation, 15.10. - 20.10.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06401: Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer (Eds.): Complexity of Constraints, 01.10. - 06.10.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06391: Stephan Dahlke, Klaus Ritter, Ian H. Sloan, Joseph F. Traub (Eds.): Algorithms and Complexity for Continuous Problems, 24.09. - 29.09.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06381: Arnold Baca, Larry Katz, Jürgen Perl, Otto Spaniol (Eds.): Computer Science in Sport, 17.09. - 20.09.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06371: Christian Cachin, Felix C. Freiling, Jaap-Henk Hoepman (Eds.): From Security to Dependability, 10.09. - 15.09.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06361: André DeHon, Jean-Louis Giavitto, Frédéric Gruau (Eds.): Computing Media and Languages for Space-Oriented Computation, 03.09. - 08.09.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06351: Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa (Eds.): Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06341: Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen (Eds.): Computational Structures for Modelling Space, Time and Causality, 20.08. - 25.08.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06311: Joachim Denzler, Joachim Hornegger, Josef Kittler, Calvin R. Maurer Jr. (Eds.): Sensor Data and Information Fusion in Computer Vision and Medicine, 30.07. - 04.08.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06302: Siobhán Clarke, Leon Moonen, Ganesan Ramalingam (Eds.): Aspects For Legacy Applications, 26.07. - 29.07.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06301: Rainer Koschke, Ettore Merlo, Andrew Walenstein (Eds.): Duplication, Redundancy, and Similarity in Software, 23.07. - 26.07.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06291: Frank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst (Eds.): The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), S chloss Dagstuhl, Germany 2006
Contents
06271: Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt (Eds.): Challenges in Symbolic Computation Software, 02.07. - 07.07.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06261: Rafael H. Bordini, Mehdi Dastani, John-Jules Ch. Meyer (Eds.): Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06251: ...
06241: ...
06231: ...
06221: ...
06201: Rudolf Ahlswede, Alberto Apostolico, Vladimir I. Levenshtein (Eds.): Combinatorial and Algorithmic Foundations of Pattern and Association Discovery, 14.05. - 19.05.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06191: Jean-Raymond Abrial, Uwe Glässer (Eds.): Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06172: Stefan Edelkamp, Stefan Leue, Willem Visser (Eds.): Directed Model Checking, 26.04. - 29.04.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
06171: Tim Crawford, Remco C. Veltkamp (Eds.): Content-Based Retrieval, 23.04. - 28.04.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06161: David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher (Eds.): Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06141: Peter M. Athanas, Jürgen Becker, Gordon J. Brebner, Jürgen Teich (Eds.): Dynamically Reconfigurable Architectures, 02.04. - 07.04.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06131: Anthony D. Joseph, Ralf Steinmetz, Klaus Wehrle (Eds.): Peer-to-Peer-Systems and -Applications, 26.03. - 29.03.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06121: Cliff B. Jones, David B. Lomet, Alexander Romanovsky, Gerhard Weikum (Eds.): Atomicity: A Unifying Concept in Computer Science, 19.03. - 24.03.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06111: Matthias Krause, Pavel Pudlák, Rüdiger Reischuk, Dieter van Melkebeek (Eds.): Complexity of Boolean Functions, 12.03. - 17.03.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06101: Jörg-Rüdiger Sack, Monika Sester, Peter van Oosterom, Michael F. Worboys (Eds.): Spatial Data: mining, processing and communicating, 05.03. - 10.03.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06091: Lars Arge, Robert Sedgewick, Dorothea Wagner (Eds.): Data Structures, 26.02. - 03.03.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06081: Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm (Eds.): Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06061: Dirk V. Arnold, Thomas Jansen, Michael D. Vose, Jonathan E. Rowe (Eds.): Theory of Evolutionary Algorithms, 05.02. - 10.02.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06051: Marcus Hutter, Wolfgang Merkle, Paul M. B. Vitányi (Eds.): Kolmogorov Complexity and Applications, 29.01. - 03.02.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06031: Kirstie L. Bellman, Peter Hofmann, Christian Müller-Schloer, Hartmut Schmeck, Rolf P. Würtz (Eds.): Organic Computing - Controlled Emergence, 15.01. - 20.01.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
06021: Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (Eds.): Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05501: Michael Gerndt, Allen D. Malony, Barton P. Miller, Wolfgang E. Nagel (Eds.): Automatic Performance Analysis, 12.-16. December 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05491: Anthony G. Cohn, Christian Freksa, Bernhard Nebel (Eds.): Spatial Cognition: Specialization and Integration, 04.12. - 09.12.2005. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
Contents
05471: Christian G. Huber, Oliver Kohlbacher, Knut Reinert (Eds.): Computational Proteomics, 20.-25. November 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05462: Francisco Curbera, Bernd J. Krämer, Mike P. Papazoglou (Eds.): Service Oriented Computing (SOC), 15.-18. November 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05451: David Binkley, Mark Harman, Jens Krinke (Eds.): Beyond Program Slicing, 06.11. - 11.11.2005. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05441: Jacek Blazewicz, Johann Christoph Freytag, Martin Vingron (Eds.): Managing and Mining Genome Information: Frontiers in Bioinformatics, 30. October - 4. November 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05431: Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov (Eds.): Deduction and Applications, 23.-28. October 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05421: Gustavo Alonso, Christian S. Jensen, Bernhard Mitschang (Eds.): Data Always and Everywhere - Management of Mobile, Ubiquitous, Pervasive, and Sensor Data, 16.10. - 21.10.2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05411: Shlomi Dolev, Rafail Ostrovsky, Andreas Pfitzmann (Eds.): Anonymous Communication and its Applications, 09.10. - 14.10.2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05402: ...
05391: Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump (Eds.): Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05382: Karin Harbusch, Kari-Jouko Räihä, Kumiko Tanaka-Ishii (Eds.): Efficient Text Entry, 21.-24. September 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05381: Leonidas J. Guibas, Uwe D. Hanebeck, Thomas C. Henderson (Eds.): Form and Content in Sensor Networks, 18.09. - 23.09.2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05371: François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach (Eds.): Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05361: Stefano Leonardi, Friedhelm Meyer auf der Heide, Dorothea Wagner (Eds.): Algorithmic Aspects of Large and Complex Networks, 4.-9. September 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05321: James P. Delgrande, Jérôme Lang, Hans Rott, Jean-Marc Tallon (Eds.): Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics, 7.-12. August 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
Contents
05301: Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger (Eds.): Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05291: Artur Czumaj, S. Muthu Muthukrishnan, Ronitt Rubinfeld, Christian Sohler (Eds.): Sublinear Algorithms, 17.07. - 22.07.2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05281: John W. Fowler, Barry L. Nelson, Michael Pinedo, Oliver Rose (Eds.): Simulation & Scheduling: Companions or Competitors for Improving the Performance of Manufacturing Systems, 10.-15. July 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05271: Carole A. Goble, Carl Kesselman, York Sure (Eds.): Semantic Grid: The Convergence of Technologies, 3.-8. July 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
Contents
05261: Thomas Ball, Stephan Diehl, David Notkin, Andreas Zeller (Eds.): Multi-Version Program Analysis, 26. June - 1. July 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05241: Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi (Eds.): Synthesis and Planning, 12.-17. June 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05221: ...
05201: ...
05191: Michael Jünger, Stephen G. Kobourov, Petra Mutzel (Eds.): Graph Drawing, 8.-13. May 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05181: Nigel Davies, Thomas Kirste, Heidrun Schumann (Eds.): Mobile Computing and Ambient Intelligence: The Challenge of Multimedia, 1.-4. May 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany/IBFI, Schloss Dagstuhl, Germany 2005
Contents
05171: Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski (Eds.): Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
Contents
05161: James R. Cordy, Ralf Lämmel, Andreas Winter (Eds.): Transformation Techniques in Software Engineering, 17.-22. April 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05152: Mario Gerla, Christoph Lindemann, Antony I. T. Rowstron (Eds.): Perspectives Workshop: Peer-to-Peer Mobile Ad Hoc Networks - New Research Issues, 9.-12. April 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
Contents
05151: Graham Katz, James Pustejovsky, Frank Schilder (Eds.): Annotating, Extracting and Reasoning about Time and Events, 10.-15. April 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany/Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
Contents
05142: Marcus Brunner, Lars Eggert, Kevin R. Fall, Jörg Ott, Lars C. Wolf (Eds.): Disruption Tolerant Networking, 3.-6. April 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
Contents
05141: Luca Benini, Ulrich Kremer, Christian W. Probst, Peter Schelkens (Eds.): Power-aware Computing Systems, 3.-8. April 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
Contents
05101: Erik R. Altman, James C. Dehnert, Christoph W. Kessler, Jens Knoop (Eds.): Scheduling for Parallel Architectures: Theory, Applications, Challenges. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany/Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
Contents
05081: José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing (Eds.): Foundations of Global Computing, 20.-25. February 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany/Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05061: Frank Neven, Thomas Schwentick, Dan Suciu (Eds.): Foundations of Semistructured Data, 6.-11. February 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany/IBFI, Schloss Dagstuhl, Germany 2005
Contents
05051: Luc De Raedt, Thomas G. Dietterich, Lise Getoor, Stephen Muggleton (Eds.): Probabilistic, Logical and Relational Learning - Towards a Synthesis, 30. January - 4. February 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05031: Susanne Albers, Rolf H. Möhring, Georg Ch. Pflug, Rüdiger Schultz (Eds.): Algorithms for Optimization with Incomplete Information, 16.-21. January 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany/IBFI, Schloss Dagstuhl, Germany 2005
Contents
05021: Thierry Coquand, Henri Lombardi, Marie-Françoise Roy (Eds.): Mathematics, Algorithms, Proofs, 9.-14. January 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
05011: Daniel J. Lehmann, Rudolf Müller, Tuomas Sandholm (Eds.): Computing and Markets, 3.-7. January 2005. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany/IBFI, Schloss Dagstuhl, Germany 2005
Contents
04511: Ralf Reussner, Judith A. Stafford, Clemens A. Szyperski (Eds.): Architecting Systems with Trustworthy Components, 12.-17. December 2004. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
04491: Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner (Eds.): Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany/IBFI, Schloss Dagstuhl, Germany 2005
Contents
04461: Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Ralph E. Steuer (Eds.): Practical Approaches to Multi-Objective Optimization, 7.-12. November 2004. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany/IBFI, Schloss Dagstuhl, Germany 2005
Contents
04451: ...
04441: Margaret H. Dunham, Birgitta König-Ries, Evaggelia Pitoura, Peter L. Reiher, Can Türker (Eds.): Mobile Information Management, 24.-29. October 2004. IBFI, Schloss Dagstuhl, Germany 2005
Contents
04421: Harry Buhrman, Lance Fortnow, Thomas Thierauf (Eds.): Algebraic Methods in Computational Complexity, 10.-15. October 2004. IBFI, Schloss Dagstuhl, Germany 2005
Contents
04411: Matthias Bossardt, Georg Carle, David Hutchison, Hermann de Meer, Bernhard Plattner (Eds.): Service Management and Self-Organization in IP-based Networks. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany/IBFI, Schloss Dagstuhl, Germany 2005
Contents
04401: Thomas Müller-Gronbach, Erich Novak, Knut Petras, Joseph F. Traub (Eds.): Algorithms and Complexity for Continuous Problems, 26. September - 1. October 2004. IBFI, Schloss Dagstuhl, Germany 2005
Contents
04391: Yannis Kalfoglou, W. Marco Schorlemmer, Amit P. Sheth, Steffen Staab, Michael Uschold (Eds.): Semantic Interoperability and Integration. IBFI, Schloss Dagstuhl, Germany 2005
Contents
04381: ...
04371: Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans (Eds.): Perspectives of Model-Based Testing, 5.-10. September 2004. IBFI, Schloss Dagstuhl, Germany 2005
Contents
04351: Ralph Kopperman, Michael B. Smyth, Dieter Spreen, Julian Webster (Eds.): Spatial Representation: Discrete vs. Continuous Computational Models. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany/IBFI, Schloss Dagstuhl, Germany 2005
Contents
04301: Lars Arge, Michael A. Bender, Erik D. Demaine, Charles E. Leiserson, Kurt Mehlhorn (Eds.): Cache-Oblivious and Cache-Aware Algorithms, 18.07. - 23.07.2004. IBFI, Schloss Dagstuhl, Germany 2005
Contents
04292: ...
04281: ...
04271: Gianni Bosi, Ronen I. Brafman, Jan Chomicki, Werner Kießling (Eds.): Preferences: Specification, Inference, Applications, 27. June - 2. July 2004. IBFI, Schloss Dagstuhl, Germany 2006
Contents
04261: ...
04251: ...
04241: Barbara König, Ugo Montanari, Philippa Gardner (Eds.): Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004. IBFI, Schloss Dagstuhl, Germany 2005
Contents
04231: ...
04221: ...
04211: ...
04201: ...
04122: Alois Ferscha, Stephan Olariu, Tom Pfeifer (Eds.): Wireless Sensor Networks and Applications. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
04121: Zsófia Ruttkay, Elisabeth André, W. Lewis Johnson, Catherine Pelachaud (Eds.): Evaluating Embodied Conversational Agents, 14.03. - 19.03.2004. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
04101: Jean Bézivin, Reiko Heckel (Eds.): Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
Contents
04091: Susanne Albers, Robert Sedgewick, Dorothea Wagner (Eds.): Data Structures, 22.-27. February 2004. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
Contents
04081: Hans-Georg Beyer, Thomas Jansen, Colin R. Reeves, Michael D. Vose (Eds.): Theory of Evolutionary Algorithms, 15.-20. February 2004. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
04061: Thomas Lickteig, Klaus Meer, Luis Miguel Pardo (Eds.): Real Computation and Complexity, 1.-6. February 2004. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
04051: James D. Herbsleb, Walter F. Tichy (Eds.): Perspectives Workshop: Empirical Theory and the Science of Software Engineering, 25.-29. January 2004. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
04041: Fernando J. Barros, Axel Lehmann, Peter Liggesmeyer, Alexander Verbraeck, Bernard P. Zeigler (Eds.): Component-Base Modeling and Simulation, 18.-23. January 2004. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
04021: Jitendra Malik, Hanan Samet, Remco C. Veltkamp, Andrew Zisserman (Eds.): Content-Based Retrieval, 4.-9. January 2004. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
Contents
03471: Lothar Thiele, Reinhard Wilhelm (Eds.): Perspectives Workshop: Design of Systems with Predictable Behaviour, 16.-19. November 2003. IBFI, Schloss Dagstuhl, Germany 2004
Contents
03411: Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld (Eds.): Language-Based Security, 5.-10. October 2003. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany/IBFI, Schloss Dagstuhl, Germany 2005
Contents