Dagstuhl Seminar Reports, Volume 1, DagSemRep

• Wolfgang Gentzsch and Paul J. Wolfgang Architecture and Performance (Dagstuhl Seminar 9025) 10.4230/DagSemRep.1
• Karin Harbusch and Wolfgang Wahlster Tree Adjoining Grammars (Dagstuhl Seminar 9033) 10.4230/DagSemRep.2
• Hankin Chris and Wilhelm Reinhard Functional Languages: Optimization for Parallelism (Dagstuhl Seminar 9036) 10.4230/DagSemRep.3
• Alt Helmut and Welzl Emo Algorithmic Geometry (Dagstuhl Seminar 9041) 10.4230/DagSemRep.4
• Jean Berstel, Jean-Eric Pin, and Wolgang Thoma Automata Theory and Applications in Logic and Complexity (Dagstuhl Seminar 9103) 10.4230/DagSemRep.5
• Bernd Becker and Christoph Meinel Entwerfen, Prüfen, Testen (Dagstuhl Seminar 9108) 10.4230/DagSemRep.6
• Jean-Pierre Finance, Stefan Jähnichen, Jacques Loeckx, and Martin Wirsing Logical Theory for Program Construction (Dagstuhl Seminar 9109) 10.4230/DagSemRep.7
• Ernst W. Mayr and Meyer auf der Heide Friedhelm Parallel and Distributed Algorithms (Dagstuhl Seminar 9110) 10.4230/DagSemRep.8
• Manfred Broy, Peter Deussen, Ernst-Rüdiger Olderog, and Willem-Paul de Roever Concurrent Systems: Semantics, Specification, and Synthesis (Dagstuhl Seminar 9111) 10.4230/DagSemRep.9
• Krzysztof Apt, Klaus Indermark, and Mario Rodríguez Artalejo Integration of Functional and Logic Programming (Dagstuhl Seminar 9112) 10.4230/DagSemRep.10
• Erich Novak, Josef F. Traub, and Henryk Wozniakowski Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9116) 10.4230/DagSemRep.11
• Bernhard Nebel, Christof Peltason, and Kai von Luck Terminological Logics (Dagstuhl Seminar 9119) 10.4230/DagSemRep.12
• Robert Giegerich and Susan L. Graham Code Generation - Concepts, Tools, Techniques (Dagstuhl Seminar 9121) 10.4230/DagSemRep.13
• Marek Karpinski, Michael Luby, and Umesh Vazirani Randomized Algorithms (Dagstuhl Seminar 9124) 10.4230/DagSemRep.14
• Johann Christoph Freytag, David Maier, and Gottfried Vossen Query Processing in Object-Oriented, Complex Object, and Nested Relation Databases (Dagstuhl Seminar 9125) 10.4230/DagSemRep.15
• Manfred Droste and Yuri Gurevich Semantics of Programming Languages and Model Theory (Dagstuhl Seminar 9126) 10.4230/DagSemRep.16
• Gerald Farin, Hans Hagen, and Hartmut Noltemeier Geometric Modelling (Dagstuhl Seminar 9127) 10.4230/DagSemRep.17
• Arthur I. Karshmer and Jürgen Nehmer Operating Systems of the 90s and Beyond (Dagstuhl Seminar 9128) 10.4230/DagSemRep.18
• Hans Hagen and Heinrich Müller Scientific Visualization (Dagstuhl Seminar 9135) 10.4230/DagSemRep.19
• Thomas Lengauer, Rolf H. Möhring, and Bryan Preas Theory and Practice of Physical Design of VLSI Systems (Dagstuhl Seminar 9136) 10.4230/DagSemRep.20
• Francois Bancilhon, Peter Lockemann, and Dionysis Tsichritzis Directions of Future Database Research (Dagstuhl Seminar 9137) 10.4230/DagSemRep.21
• Helmut Alt, Bernard Chazelle, and Emo Welzl Computational Geometry (Dagstuhl Seminar 9141) 10.4230/DagSemRep.22
• Franz-Josef Brandenburg, Jean Berstel, and Detlef Wotschke Trends and Applications in Formal Language Theory (Dagstuhl Seminar 9142) 10.4230/DagSemRep.23
• Hubert Comon, Harald Ganzinger, Claude Kirchner, Hélène Kirchner, Jean-Louis Lassez, and Gert Smolka Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143) 10.4230/DagSemRep.24
• Hartmut Noltemeier, Thomas Ottmann, and Derick Wood Data Structures (Dagstuhl Seminar 9145) 10.4230/DagSemRep.25
• Andreas Dress, Marek Karpinski, and Michael Singer Efficient Interpolation Algorithms (Dagstuhl Seminar 9149) 10.4230/DagSemRep.26
• Bruno Buchberger, James Davenport, and Fritz Schwarz Algorithms of Computeralgebra (Dagstuhl Seminar 9151) 10.4230/DagSemRep.27
• Kevin Compton, Jean-Eric Pin, and Wolfgang Thomas Automata Theory: Infinite Computations (Dagstuhl Seminar 9202) 10.4230/DagSemRep.28
• Hans Langmaack, Erich Neuhold, and Manfred Paul Software Construction - Foundation and Application (Dagstuhl Seminar 9203) 10.4230/DagSemRep.29
• Klaus Ambos-Spies, Steven Homer, and Uwe Schöning Structure and Complexity Theory (Dagstuhl Seminar 9206) 10.4230/DagSemRep.30
• Bernhelm Booß, Wolfgang Coy, and Jörg-Martin Pflüger Limits of Information-technological Models (Dagstuhl Seminar 9207) 10.4230/DagSemRep.31
• Nico Habermann and Walter Tichy Future Directions in Software Engineering (Dagstuhl Seminar 9208) 10.4230/DagSemRep.32
• Richard Cole, Ernst W. Mayr, and Friedhelm Meyer auf der Heide Parallel and Distributed Algorithms (Dagstuhl Seminar 9210) 10.4230/DagSemRep.33
• Paul Klint, Thomas Reps, and Gregor Sneltig Programming Environments (Dagstuhl Seminar 9211) 10.4230/DagSemRep.34
• Hans-Dieter Ehrich, Joseph A. Goguen, and Amilcar Sernadas Foundations of Information Systems Specification and Design (Dagstuhl Seminar 9212) 10.4230/DagSemRep.35
• Werner Damm, Chris Hankin, and John Hughes Functional Languages: Compiler Technology and Parallelism (Dagstuhl Seminar 9213) 10.4230/DagSemRep.36
• Thomas Beth, Whithfield Diffie, and Gustavus J. Simmons System Security (Dagstuhl Seminar 9214) 10.4230/DagSemRep.37
• Clarence A. Ellis and Matthias Jarke Distributed Cooperation in Integrated Information Systems (Dagstuhl Seminar 9215) 10.4230/DagSemRep.38
• Johannes Buchmann, Harald Niederreiter, Andrew M. Odlyzko, and Horst G. Zimmer Algorithms and Number Theory (Dagstuhl Seminar 9226) 10.4230/DagSemRep.39
• Egon Börger, Yuri Gurevich, Hans Kleine-Büning, and M. M. Richter Computer Science Logic (Dagstuhl Seminar 9229) 10.4230/DagSemRep.40
• Joachim von zur Gathen, Marek Karpinski, and Dexter Kozen Algebraic Complexity and Parallelism (Dagstuhl Seminar 9230) 10.4230/DagSemRep.41
• Franz Baader, Jörg Siekmann, and Wayne Snyder 6th International Workshop on Unification (Dagstuhl Seminar 9231) 10.4230/DagSemRep.42
• James H. Davenport, Fritz Krückeberg, Ramon E. More, and Siegfried M. Rump Symbolic, Algebraic and Validated Numerical Computation (Dagstuhl Seminar 9232) 10.4230/DagSemRep.43
• Robin Cohen, Bob Kass, Cécile Paris, and Wolfgang Wahlster Third International Workshop on User Modellng (UM'92) (Dagstuhl Seminar 9233) 10.4230/DagSemRep.44
• Rüdiger Reischuk and Dietmar Uhlig Complexity and Realization of Boolean Functions (Dagstuhl Seminar 9235) 10.4230/DagSemRep.45
• Thomas Lengauer, Dietmar Schomburg, and Michael S. Waterman Molecular Bioinformatics (Dagstuhl Seminar 9237) 10.4230/DagSemRep.46
• Victor R. Basili, H. Dieter Rombach, and Richard W. Selby Experimental Software Engineering Issues (Dagstuhl Seminar 9238) 10.4230/DagSemRep.47
• Yvonne Dittrich, Heiner Hastedt, and Peter Schefe Informatik und Philosophie (Dagstuhl Seminar 9239) 10.4230/DagSemRep.48
• Robert P. Daley, Ulrich Furbach, and Klaus Peter Jantke Analogical and Inductive Inference 1992 (Dagstuhl Seminar 9241) 10.4230/DagSemRep.49
• Erich Novak, Steve Smale, and Joseph F. Traub Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9242) 10.4230/DagSemRep.50
• José Encarnação and James Foley Multimedia - System Architectures and Applications (Dagstuhl Seminar 9245) 10.4230/DagSemRep.51
• Franz J. Rammig, Jorgen Staunstrup, and Gerhard Zimmermann Self-Timed Design (Dagstuhl Seminar 9249) 10.4230/DagSemRep.52
• Bruno Courcelle, Hartmut Ehrig, Grzegorz Rozenberg, and Hans Jürgen Schneider Graph-Transformations in Computer Science (Dagstuhl Seminar 9301) 10.4230/DagSemRep.53
• André Arnold, Lutz Priese, and Roland Vollmer Automata Theory: Distributed Models (Dagstuhl Seminar 9302) 10.4230/DagSemRep.54
• Wojciech Cellary, Krishnamurthy Vidyasankar, and Gottfried Vossen Versioning in Database Management Systems (Dagstuhl Seminar 9305) 10.4230/DagSemRep.55
• Bernd Becker, Randal Bryant, and Christoph Meinel Computer Aided Design and Test (Dagstuhl Seminar 9307) 10.4230/DagSemRep.56
• Manfred Pinkal, Remko Scha, and Lenhart Schubert Semantic Formalisms in Natural Language Processing (Dagstuhl Seminar 9308) 10.4230/DagSemRep.57
• Wolfgang Bibel, Koichi Furukawa, and Mark Stickel Deduction (Dagstuhl Seminar 9310) 10.4230/DagSemRep.58
• Helmut Alt, Bernard Chazelle, and Emo Welzl Computational Geometry (Dagstuhl Seminar 9312) 10.4230/DagSemRep.59
• Hans Kamp and James Pustejovsky Universals in the Lexicon: At the Intersection of Lexical Semantic Theories (Dagstuhl Seminar 9313) 10.4230/DagSemRep.60
• Wolfgang Strasser and Friedrich Wahl Graphics & Robotics (Dagstuhl Seminar 9316) 10.4230/DagSemRep.61
• Catriel Beeri, Andreas Heuer, Gunter Saake, and Susan Urban Formal Aspects of Object Base Dynamics (Dagstuhl Seminar 9317) 10.4230/DagSemRep.62
• Ronald V. Book, Edwin Pednault, and Detlef Wotschke Descriptional Complexity (Dagstuhl Seminar 9318) 10.4230/DagSemRep.63
• Hartmut Ehrig, Friedrich von Henke, José Meseguer, and Martin Wirsing Specification and Semantics (Dagstuhl Seminar 9321) 10.4230/DagSemRep.64
• Manfred Droste and Yuri Gurevich Semantics of Programming Languages and Algebra (Dagstuhl Seminar 9323) 10.4230/DagSemRep.65
• Christian Lengauer, Patrice Quinton, Yves Robert, and Lothar Thiele Parallelization Techniques for Uniform Algorithms (Dagstuhl Seminar 9325) 10.4230/DagSemRep.66
• Gerald Farin, Hans Hagen, and Hartmut Noltemeier Geometric Modelling (Dagstuhl Seminar 9326) 10.4230/DagSemRep.67
• Philippe Flajolet, Rainer Kemp, and Helmut Prodinger "Average-Case"-Analysis of Algorithms (Dagstuhl Seminar 9328) 10.4230/DagSemRep.68
• John W. Gray, Andrew M. Pitts, and Kurt Sieber Interactions between Category Theory and Computer Science (Dagstuhl Seminar 9329) 10.4230/DagSemRep.69
• Dov M. Gabbay and Hans Jürgen Ohlbach Automated Practical Reasoning and Argumentation (Dagstuhl Seminar 9334) 10.4230/DagSemRep.70
• André Danthine, Wofgang Effelsberg, and Otto Spaniol Architecture and Protocols for High-Speed Networks (Dagstuhl Seminar 9335) 10.4230/DagSemRep.71
• Richard Cole, Ernst W. Mayr, and Friedhelm Meyer auf der Heide Parallel and Distributed Algorithms (Dagstuhl Seminar 9337) 10.4230/DagSemRep.72
• Victor Marek, Anil Nerode, and Peter H. Schmitt Non-Classical Logics in Computer Science (Dagstuhl Seminar 9338) 10.4230/DagSemRep.73
• Andrew M. Odlyzko, Claus P. Schnorr, and Adi Shamir Cryptography (Dagstuhl Seminar 9339) 10.4230/DagSemRep.74
• Jorge Angeles, Günter Hommer, and Peter Kovacs Computational Kinematics (Dagstuhl Seminar 9341) 10.4230/DagSemRep.75
• Thomas Lengauer, Majid Sarrafzadeh, and Dorothea Wagner Combinatorial Methods for Integrated Circuits Design (Dagstuhl Seminar 9342) 10.4230/DagSemRep.76
• Susanne Biundo and Richard Waldinger Deductive Approaches to Plan Generation and Plan Recognition (Dagstuhl Seminar 9343) 10.4230/DagSemRep.77
• Peter Gritzmann, David Johnson, Victor Klee, and Christoph Meinel Counting Issues: Theory and Application (Dagstuhl Seminar 9349) 10.4230/DagSemRep.78
• Brigitte Endres-Niggermeyer, Jerry Hobbs, and Karen Sparck Jones Summarizing Text for Intelligent Communication (Dagstuhl Seminar 9350) 10.4230/DagSemRep.79
• Chris Brink and Gunther Schmidt Relational Methods in Computer Science (Dagstuhl Seminar 9403) 10.4230/DagSemRep.80
• André Arnold, Helmut Seidl, and Bernhard Steffen Algorithms in Automata Theory (Dagstuhl Seminar 9406) 10.4230/DagSemRep.81
• Klaus Ambos-Spies, Steven Homer, and Uwe Schöning Structure and Complexity (Dagstuhl Seminar 9407) 10.4230/DagSemRep.82
• Hartmut Noltemeier, Thomas Ottmann, and Derick Wood Data Structures (Dagstuhl Seminar 9409) 10.4230/DagSemRep.83
• Jean-Pierre Finance, Stefan Jähnichen, Jacques Loeckx, Douglas Smith, and Martin Wirsing Logical Theory for Program Construction (Dagstuhl Seminar 9410) 10.4230/DagSemRep.84
• Reinhard Klette, Walter G. Kropatsch, and Franc Solina Theoretical Foundations of Computer Vision (Dagstuhl Seminar 9411) 10.4230/DagSemRep.85
• Alex Buchmann, Sharma Chakravarthy, and Klaus Dittrich Active Databases (Dagstuhl Seminar 9412) 10.4230/DagSemRep.86
• Fridhelm Meyer auf der Heide, Hans Jürgen Prömel, and Uli Upfal Expander Graphs, Random Graphs and Their Application in Computer Science (Dagstuhl Seminar 9415) 10.4230/DagSemRep.87
• Jan van Leeuwen, Kurt Mehlhorn, and Thomas Reps Incremental Computation and Dynamic Algorithms (Dagstuhl Seminar 9418) 10.4230/DagSemRep.88
• Robert Giegerich and John Hughes Functional Programming in the Real World (Dagstuhl Seminar 9420) 10.4230/DagSemRep.89
• Hans Hagen, Heinrich Müller, and Gregory N. Nielson Scientific Visualization (Dagstuhl Seminar 9421) 10.4230/DagSemRep.90
• Thomas Dietterich, Wolfgang Maass, Hans-Ulrich Simon, and Manfred Warmuth Theory and Praxis of Machine Learning (Dagstuhl Seminar 9426) 10.4230/DagSemRep.91
• José Encarnação, James Foley, and Ralf Guido Herrtwich Fundamentals and Perspectives of Multimedia Systems (Dagstuhl Seminar 9427) 10.4230/DagSemRep.92
• Wolfgang Hoeppner, Helmut Horacek, and Johanna Moore Principles of Natural Language Generation (Dagstuhl Seminar 9430) 10.4230/DagSemRep.93
• Alan Lesgold and Franz Schmalhofer Expert- and Tutoring-Systems as Media for Embodying and Sharing Knowledge (Dagstuhl Seminar 9431) 10.4230/DagSemRep.94
• Hans-Dieter Ehrich, Gregor Engels, Jan Paredaens, and Peter Wegner Fundamentals of Object-Oriented Languages, Systems, and Methods (Dagstuhl Seminar 9434) 10.4230/DagSemRep.95
• Kenneth Birman, Flaviu Cristian, Friedemann Mattern, and André Schiper Unifying Theory and Practice in Distributed Systems (Dagstuhl Seminar 9436) 10.4230/DagSemRep.96
• Reinhard Keil-Slawik, Ina Wagner, and Liam Bannon Interdisciplinary Foundations of Systems Design and Evaluation (Dagstuhl Seminar 9438) 10.4230/DagSemRep.97
• Manfred Broy and Leslie Lamport Specification Problem (Dagstuhl Seminar 9439) 10.4230/DagSemRep.98
• Mattias Jarke, Peri Loucopoulos, John Mylopoulos, and Alistair Sutcliffe System Requirements: Analysis, Management, and Exploitation (Dagstuhl Seminar 9440) 10.4230/DagSemRep.99
• Johannes Buchmann, Harald Niederreiter, Andrew M. Odlyzko, and Horst Günther Zimmer Algorithms and Number Theory (Dagstuhl Seminar 9441) 10.4230/DagSemRep.100
• Stefan Heinrich, Joseph F. Traub, and Henryk Wozniakowski Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9442) 10.4230/DagSemRep.101
• Horst Bunke, Takeo Kanade, and Hartmut Noltemeier Environment Modelling and Motion Planning for Autonomous Robots (Dagstuhl Seminar 9443) 10.4230/DagSemRep.102
• Wolfgang Maass, Christoph von der Malsburg, Eduardo Sontag, and Ingo Wegener Neural Computing (Dagstuhl Seminar 9445) 10.4230/DagSemRep.103
• Gérard Berry, Willem-Paul de Roever, Axel Poigné, and Amir Pnueli Synchronous Languages (Dagstuhl Seminar 9448) 10.4230/DagSemRep.104
• Bernd Becker, Randy Bryant, Oliver Coudert, and Christoph Meinel Computer Aided Design and Test (Dagstuhl Seminar 9507) 10.4230/DagSemRep.105
• David Garlan, Walter Tichy, and Frances Paulisch Software Architectures (Dagstuhl Seminar 9508) 10.4230/DagSemRep.106
• William John Cullyer, Wolfgang A. Halang, and Bernd J. Krämer High Integrity Programmable Electronic Systems (Dagstuhl Seminar 9509) 10.4230/DagSemRep.107
• Jozef Gruska, Hiroshi Umeo, and Roland Vollmar Cellular Automata (Dagstuhl Seminar 9510) 10.4230/DagSemRep.108
• Helmut Alt, Bernard Chazelle, and Raimund Seidel Computational Geometry (Dagstuhl Seminar 9511) 10.4230/DagSemRep.109
• Wolfgang Bibel, Koichi Furukawa, and Mark Stickel Deduction (Dagstuhl Seminar 9512) 10.4230/DagSemRep.110
• Burkhard Freitag, Clifford B. Jones, Christian Lengauer, and Hans-Jörg Schek Object-Orientation with Parallelism and Persistence (Dagstuhl Seminar 9514) 10.4230/DagSemRep.111
• Jim Doran, G. Nigel Gilbert, Ulrich Mueller, and Klaus G. Troitzsch Social Science Microsimulation: A Challenge for Computer Science (Dagstuhl Seminar 9518) 10.4230/DagSemRep.112
• Rudi Studer and Mark A. Musen Shareable and Reusable Problem Solving Methods (Dagstuhl Seminar 9519) 10.4230/DagSemRep.113
• Jacek Blazewicz and Klaus Ecker Scheduling in Computer & Manufacturing Systems (Dagstuhl Seminar 9520) 10.4230/DagSemRep.114
• Heniz Bilner, Gianfranco Ciardo, Christoph Lindemann, and Kishor S. Trivedi Performance and Dependability Modeling with Stochastic Petri Nets (Dagstuhl Seminar 9521) 10.4230/DagSemRep.115
• Martin Aigner, Joel Spencer, and Eberhard Triesch Computing with Faulty Inputs (Dagstuhl Seminar 9522) 10.4230/DagSemRep.116
• Jean-Raymond Abrial, Egon Börger, and Hans Langmaack Methods for Semantics and Specification (Dagstuhl Seminar 9523) 10.4230/DagSemRep.117
• Wolfgang Effelsberg, Domenico Ferrari, Otto Spaniol, and André Danthine Architecture and Protocols for High Performance Networks (Dagstuhl Seminar 9525) 10.4230/DagSemRep.118
• Philippe Flajolet, Rainer Kemp, Helmut Prodinger, and Robert Sedgewick `Average-Case'-Analysis of Algorithms (Dagstuhl Seminar 9527) 10.4230/DagSemRep.119
• Dan Gusfield, Thomas Lengauer, and Chris Sander Molecular Bioinformatics (Dagstuhl Seminar 9528) 10.4230/DagSemRep.120
• Jan Chomicki, Gunter Saake, and Christina Sernadas Role of Logics in Information Systems (Dagstuhl Seminar 9529) 10.4230/DagSemRep.121
• Alan Bundy, Robert S. Boyer, Deepak Kapur, and Christoph Walther Automation of Proof by Mathematical Induction (Dagstuhl Seminar 9530) 10.4230/DagSemRep.122
• Patrick Cousot, Rhadia Cousot, and Alan Mycroft Abstract Interpretation (Dagstuhl Seminar 9535) 10.4230/DagSemRep.123
• Pere Brunet, Dieter Roller, and Jarek Rossignac CAD Tools for Products (Dagstuhl Seminar 9536) 10.4230/DagSemRep.124
• Cynthia Dwork, Ernst W. Mayr, and Friedhelm Meyer auf der Heide Parallel and Distributed Algorithms (Dagstuhl Seminar 9537) 10.4230/DagSemRep.125
• Chris Hankin and Hanne Riis Nielson New Trends In the Integration of Paradigms (Dagstuhl Seminar 9538) 10.4230/DagSemRep.126
• Ulrich Herzog, Guy Latouche, Phuoc Tran-Gia, and Vaydanat Ramaswami Applied Stochastic Modelling in Telecommunication and Manufacturing Systems (Dagstuhl Seminar 9539) 10.4230/DagSemRep.127
• Greg R. Carmichael, Granino A. Korn, and Achim Sydow Modelling and Simulation of Complex Environmental Problems (Dagstuhl Seminar 9540) 10.4230/DagSemRep.128
• Julio Collado-Vides, Ralf Hofestädt, Markus Löffler, and Michael Mavrovouniotis Modelling and Simulation of Gene and Cell Regulation (Dagstuhl Seminar 9543) 10.4230/DagSemRep.130
• Felipe Cucker, Thomas Lickteig, and Michael Shub Real Computation and Complexity (Dagstuhl Seminar 9545) 10.4230/DagSemRep.131
• Klaus Echtle, Winfried Görke, Jean-Claude Laprie, and Winfrid Schneeweiss Quantitative Aspects of Designing and Validating Dependable Computing Systems -- Calculations, Measurements, and Simulations (Dagstuhl Seminar 9546) 10.4230/DagSemRep.132
• Johannes Buchmann, Rüdiger Loos, and Roman Mäder Computeralgebra - Software (Dagstuhl Seminar 9606) 10.4230/DagSemRep.133
• Olivier Danvy, Robert Glück, and Peter Thiemann Partial Evaluation (Dagstuhl Seminar 9607) 10.4230/DagSemRep.134
• Peter B. Andersen, Mihai Nadin, and Frieder Nake Informatics and Semiotics (Dagstuhl Seminar 9608) 10.4230/DagSemRep.135
• Stefan Näher, Hartmut Noltemeier, and Ian Munro Data Structures (Dagstuhl Seminar 9609) 10.4230/DagSemRep.136
• Anthony J. Bonner, Andreas Heuer, and Letizia Tanca New Trends in Database Languages (Dagstuhl Seminar 9610) 10.4230/DagSemRep.137
• Danny Dolev, Rüdiger Reischuk, Fred B. Schneider, and H. Raymond Strong Time Services (Dagstuhl Seminar 9611) 10.4230/DagSemRep.138
• Ruzena Bajcsy, Reinhard Klette, Walter G. Kropatsch, and Franc Solina Theoretical Foundations of Computer Vision (Dagstuhl Seminar 9612) 10.4230/DagSemRep.139
• Volker Claus, Jörn Hopf, and Hans-Paul Schwefel Evolutionary Algorithms and their Application (Dagstuhl Seminar 9613) 10.4230/DagSemRep.140
• Umeshwar Dayal, Alfons Kemper, Guido Moerkotte, and Gerhard Weikum Performance Enhancement in Object Bases (Dagstuhl Seminar 9614) 10.4230/DagSemRep.141
• Christian Lengauer, Lothar Thiele, Michael Wolfe, and Hans Zima Loop Parallelization (Dagstuhl Seminar 9616) 10.4230/DagSemRep.142
• Edward A. Lee, Giovanni de Micheli, Wofgang Rosenstiel, and Lothar Thiele Design Automation for Embedded Systems (Dagstuhl Seminar 9617) 10.4230/DagSemRep.143
• Manfred Droste, Ernst-Rüdiger Olderog, Bernhard Steffen, and Glynn Winskel Semantics of Concurrent Systems - Foundations and Applications (Dagstuhl Seminar 9619) 10.4230/DagSemRep.144
• Takao Nishizeki, Roberto Tamassia, and Dorothea Wagner Graph Algorithms and Applications (Dagstuhl Seminar 9620) 10.4230/DagSemRep.145
• Michael Hanus, John W. Lloyd, and Juan José Moreno Navarro Integration of Functional and Logic Languages (Dagstuhl Seminar 9621) 10.4230/DagSemRep.146
• Hanspeter Bieri, Guido Brunnett, Tony DeRose, and Gerald Farin Geometric Modelling (Dagstuhl Seminar 9622) 10.4230/DagSemRep.147
• Patrick M. Hanrahan, Heinrich Müller, and Claude Puech Rendering (Dagstuhl Seminar 9624) 10.4230/DagSemRep.148
• Amos Fiat and Gerhard Woeginger On-line Algorithms (Dagstuhl Seminar 9626) 10.4230/DagSemRep.149
• Jürgen Dix, Don Loveland, Jack Minker, and David Warren Disjunctive Logic Programming and Databases: Nonmonotonic Aspects (Dagstuhl Seminar 9627) 10.4230/DagSemRep.150
• Hartmut Ehrig, Friedrich von Henke, José Meseguer, and Martin Wirsing Specification and Semantics (Dagstuhl Seminar 9628) 10.4230/DagSemRep.151
• Frank Leymann, Hans-Jörg Schek, and Gottfried Vossen Transactional Workflows (Dagstuhl Seminar 9629) 10.4230/DagSemRep.152
• Andreas Brennecke and Reinhard Keil-Slawik The History of Software Engineering (Dagstuhl Seminar 9635) 10.4230/DagSemRep.153
• Horst Bunke, Robert C. Bolles, and Hartmut Noltemeier Modelling and Planning for Sensor Based Intelligent Robot Systems (Dagstuhl Seminar 9636) 10.4230/DagSemRep.154
• Hartmut Ehrig, Ugo Montanari, Grzegorz Rozenberg, and Hans Jürgen Schneider Graph Transformations in Computer Science (Dagstuhl Seminar 9637) 10.4230/DagSemRep.155
• Rocco De Nicola, Ursula Goltz, and Frits Vaandrager Expressiveness in Concurrency (Dagstuhl Seminar 9638) 10.4230/DagSemRep.156
• Hendrik Decker, Jorge Bocca, Michael Kifer, and Andrei Voronkov Logic Databases and the Meaning of Change (Dagstuhl Seminar 9639) 10.4230/DagSemRep.157
• Eric Allender, Uwe Schöning, and Klaus W. Wagner Structure and Complexity (Dagstuhl Seminar 9640) 10.4230/DagSemRep.158
• Erich Nowak, Joseph F. Traub, and Grzegorz W. Wasilkowski Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9643) 10.4230/DagSemRep.159
• Christopher Gold, Jack Snoeyink, and Frank Wagner Computational Cartography (Dagstuhl Seminar 9645) 10.4230/DagSemRep.160
• Jim Hendler and Jana Koehler Control of Search in AI Planning (Dagstuhl Seminar 9647) 10.4230/DagSemRep.161
• Willem-Paul de Roever, Nicolas Halbwachs, and Klaus Winkelmann Synchronous Languages (Dagstuhl Seminar 9650) 10.4230/DagSemRep.162
• Thomas G. Dietterich, Wolfgang Maass, Hans Ulrich Simon, and Robert S. Sutton Theory and Practice of Machine Learning (Dagstuhl Seminar 9702) 10.4230/DagSemRep.163
• Kohei Honda, Martin Odersky, Benjamin Pierce, Gert Smolla, and Philip Wadler High-Level Concurrent Languages (Dagstuhl Seminar 97041) 10.4230/DagSemRep.164
• Peter Grtizmann and Maurice Nivat Discrete Tomography: Algorithms and Complexity (Dagstuhl Seminar 97042) 10.4230/DagSemRep.165
• Bernd Becker, Randy Bryant, Masahiro Fujita, and Christoph Meinel Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 9705) 10.4230/DagSemRep.166
• Nils Dahlbäck, Norbert Reithinger, and Marilyn Walker Standards for Dialogue Coding in Natural Language Processing (Dagstuhl Seminar 9706) 10.4230/DagSemRep.167
• Rolf Klein, Raimund Seidel, and Seth Teller Computational Geometry (Dagstuhl Seminar 9707) 10.4230/DagSemRep.168
• Murray Cole, Sergei Gorlatch, Christian Lengauer, and David Skillicorn Theory and Practice of Higher-Order Parallel Programming (Dagstuhl Seminar 9708) 10.4230/DagSemRep.169
• Wolfgang Bibel, Ulrich Furbach, Ryuzo Hasegawa, and Mark Stickel Deduction (Dagstuhl Seminar 9709) 10.4230/DagSemRep.170
• Stefan Jähnichen, Jacques Loeckx, and Martin Wirsing Logic for System Engineering (Dagstuhl Seminar 9710) 10.4230/DagSemRep.171
• David Mix Barrington, Noam Nisan, Rüdiger Reischuk, and Ingo Wegener Complexity of Boolean Functions (Dagstuhl Seminar 9711) 10.4230/DagSemRep.172
• Naser S. Barghouti, Klaus Dittrich, David Maier, and Wilhelm Schäfer Software Engineering and Database Technology (Dagstuhl Seminar 9712) 10.4230/DagSemRep.173
• Hans-Dieter Erich, Yulin Feng, David Kung, and Grit Denker Object-Oriented Software Development (Dagstuhl Seminar 9715) 10.4230/DagSemRep.174
• Norbert Fuhr, Alan F. Smeaton, and Keith van Rijsbergen Evaluation of Multimedia Information Retrieval (Dagstuhl Seminar 9716) 10.4230/DagSemRep.175
• Ker-I Ko, Anil Nerode, and Klaus Weihrauch Computability and Complexity in Analysis (Dagstuhl Seminar 9717) 10.4230/DagSemRep.176
• G. Nigel Gilbert, Ulrich Mueller, Klaus G. Troitzsch, and Ramzi Suleiman Social Science Microsimulation: Tools for Modeling, Parameter Optimization, and Sensitivity Analysis (Dagstuhl Seminar 9719) 10.4230/DagSemRep.177
• Egon Börger, Paul Joannou, and Dave Parnas Practical Methods for Code Documentation and Inspection (Dagstuhl Seminar 9720) 10.4230/DagSemRep.178
• Eberhard Becker, Wolfram Decker, David Eisenbud, Hendrik W. Lenstra, and Barry Trager Computational Aspects of Commutative Algebra and Algebraic Geometry (Dagstuhl Seminar 9722) 10.4230/DagSemRep.179
• Jacek Blazewicz, Klaus H. Ecker, Wieslaw Kubiak, and Denis Trystram Scheduling in Computer and Manufacturing Systems (Dagstuhl Seminar 9723) 10.4230/DagSemRep.180
• Hans Hagen, Gregory Nielson, and Frits Post Scientific Visualization (Dagstuhl Seminar 9724) 10.4230/DagSemRep.181
• André Danthine, Wolfgang Effelsberg, Domenico Ferrari, and Otto Spaniol High-Performance Networks for Multimedia Applications (Dagstuhl Seminar 9725) 10.4230/DagSemRep.182
• Opher Etzion, Sushil Jajodia, and Suryanarayana Sripada Temporal Databases (Dagstuhl Seminar 9726) 10.4230/DagSemRep.183
• Nicolas Georganas, Thomas C. Little, Kurt Rothermel, and Ralf Steinmetz Multimedia Synchronization and Resource Management in Advanced Multimedia Environments (Dagstuhl Seminar 9727) 10.4230/DagSemRep.184
• Philippe Flajolet, Rainer Kemp, Hosam M. Mahmoud, and Helmut Prodinger `Average-Case'-Analysis of Algorithms (Dagstuhl Seminar 9728) 10.4230/DagSemRep.185
• Ed Coffman, Ernst W. Mayr, and Uwe Schwiegelshohn Parallel Scheduling (Dagstuhl Seminar 9729) 10.4230/DagSemRep.186
• Yuval Rabani, David Shmoys, and Gerhard Woeginger Combinatorial Approximation Algorithms (Dagstuhl Seminar 9734) 10.4230/DagSemRep.187
• Ernst W. Mayr, Friedhelm Meyer auf der Heide, and Larry Rudolph Parallel and Distributed Algorithms (Dagstuhl Seminar 9737) 10.4230/DagSemRep.188
• Günter Haring, Christoph Lindemann, and Martin Reiser Performance Evaluation - Origins and Directions (Dagstuhl Seminar 9738) 10.4230/DagSemRep.189
• Andrew Odlyzko, Claus Peter Schnorr, Adi Shamir, and Jacques Stern Cryptography (Dagstuhl Seminar 9739) 10.4230/DagSemRep.190
• Friedemann Mattern, Kurt Rothermel, Fred B. Schneider, and Brent Welch Mobile Software-Agents (Dagstuhl Seminar 9742) 10.4230/DagSemRep.192
• Hubert Comon, Dexter Kozen, Helmut Seidl, and Mosche Y. Vardi Applications of Tree Automata in Rewriting, Logic and Programming (Dagstuhl Seminar 9743) 10.4230/DagSemRep.193
• Daniele Mundici, Peter H. Schmitt, and Lotfi Zadeh Multiple Valued Logic (Dagstuhl Seminar 9744) 10.4230/DagSemRep.194
• Götz Alefeld, O. Mahrenholtz, and Roland Vollmar Parallel Processing in the Engineering Sciences - Methods and Applications (Dagstuhl Seminar 9745) 10.4230/DagSemRep.195
• Henrik I. Christensen, David Hogg, and Bernd Neumann Knowledge-Based Computer Vision (Dagstuhl Seminar 9750) 10.4230/DagSemRep.196
• Michael Jünger, Gerhard Reinelt, Heiko Rieger, and Giovanni Rinaldi Algorithmic Techniques in Physics (Dagstuhl Seminar 9751) 10.4230/DagSemRep.197
• Peter A. Gloor, Robert D. Harding, and Thomas Ottmann New Media in (Computer) Science Teaching at University Level (Dagstuhl Seminar 98051) 10.4230/DagSemRep.198
• Matthias Jarke, X. Tung Bui, and John M. Carroll Scenario-Management (Dagstuhl Seminar 98061) 10.4230/DagSemRep.199
• Hand-Dieter Ehrich, Ursula Goltz, and José Meseguer Information Systems as Reactive Systems (Dagstuhl Seminar 98071) 10.4230/DagSemRep.200
• Karl-Heinz Brenner, Hossam ElGindy, Hartmut Schmeck, and Heiko Schröder Dynamically Reconfigurable Architectures (Dagstuhl Seminar 98081) 10.4230/DagSemRep.201
• Ian Munro, Stefan Näher, and Peter Widmayer Data Structures (Dagstuhl Seminar 98091) 10.4230/DagSemRep.202
• Hausi Müller and Herbert Weber Continuous Engineering for Industrial Scale Software Systems (Dagstuhl Seminar 98092) 10.4230/DagSemRep.203
• Hausi Müller, Thomas Reps, and Gergor Snelting Program Comprehension and Software Reengineering (Dagstuhl Seminar 98101) 10.4230/DagSemRep.204
• Robert M. Haralick, Reinhard Klette, M. Siegfried Stiehl, and Max A. Viergever Evaluation and Validation of Computer Vision Algorithms (Dagstuhl Seminar 98111) 10.4230/DagSemRep.205
• Ulrich Herzog, Guy Latouche, Vaidyanat Ramaswami, and Phuoc Tran-Gia Advanced Stochastic Modelling Applied to Telecommunication-Networks and Distributed Systems (Dagstuhl Seminar 98131) 10.4230/DagSemRep.206
• Michael I. Schwartzbach, Mooly Sagiv, Karsten Weihe, and Kurt Mehlhorn Programs with Recursively Defined Data Structures (Dagstuhl Seminar 98161) 10.4230/DagSemRep.207
• Mehdi Jazayeri, Rüdiger Loos, David Musser, and Alex Stepanov Generic Programming (Dagstuhl Seminar 98171) 10.4230/DagSemRep.208
• Stephen Brookes, Manfred Droste, and Michael Mislove Domain Theory and Its Applications (Dagstuhl Seminar 98181) 10.4230/DagSemRep.209
• Thomas Beth and Gilles Brassard Quantum Algorithms (Dagstuhl Seminar 98191) 10.4230/DagSemRep.210
• Peter Mathé, Klaus Ritter, and Joseph F. Traub Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 98201) 10.4230/DagSemRep.211
• Markus Gross, Heinrich Müller, Peter Schröder, and Hans-Peter Seidel Hierarchical Methods in Computer Graphics (Dagstuhl Seminar 98211) 10.4230/DagSemRep.212
• Neil D. Jones, Oege de Moor, and James S. Royer Programs: Improvements, Complexity, and Meanings (Dagstuhl Seminar 98231) 10.4230/DagSemRep.213
• Felipe Cucker, Thomas Lickteig, Marie-Francoise Roy, and Michael Shub Real Computation and Complexity (Dagstuhl Seminar 98241) 10.4230/DagSemRep.214
• Julio Collado-Vides, Ralf Hofestädt, Michael Mavrovouniotis, and Gerhard Michal Modelling and Simulation of Gene and Cell Regulation and Metabolic Pathways (Dagstuhl Seminar 98251) 10.4230/DagSemRep.215
• Luca Cardelli, Achim Jung, Peter O'Hearn, and Jens Palsberg The Semantic Challenge of Object-Oriented Programming (Dagstuhl Seminar 98261) 10.4230/DagSemRep.216
• Jörg Desel, Andreas Oberweis, Wolfgang Reisig, and Grzegorz Rosenberg Petri Nets and Business Process Management (Dagstuhl Seminar 98271) 10.4230/DagSemRep.217
• Hartmut Ehrig, Gergor Engels, Fernando Orejas, and Martin Wirsing Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 98281) 10.4230/DagSemRep.218
• Takao Nishizeki, Roberto Tamassia, and Dorothea Wagner Graph Algorithms and Applications (Dagstuhl Seminar 98301) 10.4230/DagSemRep.219
• Anish Arora, Shlomi Dolev, and Willem-Paul de Roever Self-Stabilization (Dagstuhl Seminar 98331) 10.4230/DagSemRep.220
• Jeanne Ferrante, Wolfgang K. Giloi, Sanjay Rajopadhye, and Lothar Thiele Tiling for Optimal Resource Utilization (Dagstuhl Seminar 98341) 10.4230/DagSemRep.221
• Guy Even, Peter Kornerup, and Wolfgang Paul Architectural and Arithmetic Support for Multimedia (Dagstuhl Seminar 98351) 10.4230/DagSemRep.222
• Ed Brinksma, Jan Peleska, and Michael Siegel Test Automation for Reactive Systems - Theorie and Practice (Dagstuhl Seminar 98361) 10.4230/DagSemRep.223
• Robert C. Bolles, Horst Bunke, Henrik I. Christensen, and Hartmut Noltemeier Modelling and Planning for Sensor-Based Intelligent Robot Systems (Dagstuhl Seminar 98391) 10.4230/DagSemRep.224
• Harald Niederreiter, Andrew Odlyzko, and Michael E. Pohst Algorithms and Number Theory (Dagstuhl Seminar 98431) 10.4230/DagSemRep.225
• Hubertus Franke, Bernd Kleinjohann, and János Sztipanovits Adaptation and Evolution in Embedded Information Systems (Dagstuhl Seminar 98441) 10.4230/DagSemRep.226
• Pere Brunet, Chris Hoffmann, and Dieter Roller CAD-Tools and Methods for Systems Development (Dagstuhl Seminar 98461) 10.4230/DagSemRep.227
• Oliver Günther, Timos Sellis, and Babis Theodoulidis Integrating Spatial and Temporal Databases (Dagstuhl Seminar 98471) 10.4230/DagSemRep.228
• Bernd Becker, Christoph Meinel, Shin-Ichi Minato, and Fabio Somenzi Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 99041) 10.4230/DagSemRep.229
• Ernst Denert, Daniel Hoffman, Jochen Ludewig, and David L. Parnas Software Engineering Research and Education: Seeking a new Agenda (Dagstuhl Seminar 99071) 10.4230/DagSemRep.230
• Philip Wadler and Karsten Weihe Component-based Programming under Different Paradigms (Dagstuhl Seminar 99081) 10.4230/DagSemRep.231
• Ulrich Furbach, Harald Ganzinger, Ryuzo Hasegawa, and Deepak Kapur Deduction (Dagstuhl Seminar 99091) 10.4230/DagSemRep.232
• Michael Goodrich, Rolf Klein, and Raimund Seidel Computational Geometry (Dagstuhl Seminar 99102) 10.4230/DagSemRep.233
• Paolo Ciancarini, Stefan Conrad, and Wilhelm Hasselbrin Systems Integration (Dagstuhl Seminar 99111) 10.4230/DagSemRep.234
• Joachim M. Buhmann, Wolfgang Maass, Helge Ritter, and Naftali Tishby Unsupervised Learning (Dagstuhl Seminar 99121) 10.4230/DagSemRep.235
• Riis Nielson Hanne and Mooly Sagiv Program Analysis (Dagstuhl Seminar 99151) 10.4230/DagSemRep.236
• D. K. Arvind, Kemal Ebcioglu, Christian Lengauer, Keshav Pingali, and Robert S. Schreiber Instruction-Level Parallelism and Parallelizing Compilation (Dagstuhl Seminar 99161) 10.4230/DagSemRep.237
• Murray Cole, Sergei Gorlatch, Jan Prins, and David Skillcorn High Level Parallel Programming: Applicability, Analysis and Performance (Dagstuhl Seminar 99171) 10.4230/DagSemRep.238
• Andrew Campbell, Ernst Rolf, Stephen Pink, and Martina Zitterbart Mobile Multimedia Communication - Systems and Networks (Dagstuhl Seminar 99061) 10.4230/DagSemRep.239
• Hanspeter Bieri, Guido Brunnet, and Gerald Farin Geometric Modelling (Dagstuhl Seminar 99201) 10.4230/DagSemRep.240
• Andreas Brandstädt, Stephan Olariu, and Jeremy P. Spinrad Graph Decompositions and Algorithmic Applications (Dagstuhl Seminar 99231) 10.4230/DagSemRep.241
• Egon Börger, Bärbeö Hörger, David Parnas, and Dieter Rombach Requirements Capture, Documentation and Validation (Dagstuhl Seminar 99241) 10.4230/DagSemRep.242
• Amos Fiat, Anna Karlin, and Gerhard Woeginger Competitive Algorithms (Dagstuhl Seminar 99251) 10.4230/DagSemRep.243
• Serge Abiteboul, Dana Florescu, Alon Levy, and Guido Moerkotte Foundations for Information Integration (Dagstuhl Seminar 99261) 10.4230/DagSemRep.244
• Paul Fishwick, Adelinde Uhrmacher, and Bernard GF. Zeigler Agent Oriented Approaches in Distributed Modeling and Simulation: Challenges and Methodologies (Dagstuhl Seminar 99271) 10.4230/DagSemRep.245
• Bruce Maggs, Friedhelm Meyer auf der Heide, and Ernst W. Mayr Parallel and Distributed Algorithms (Dagstuhl Seminar 99291) 10.4230/DagSemRep.246
• Walter Oberschelp, Wilhelm Seggewiss, and Reinhard Wilhelm Astromomie und Informatik (Dagstuhl Seminar 99321) 10.4230/DagSemRep.247
• Valeria de Paiva, Josef von Genabith, Eike Ritter, and Richard Crouch Linear Logic and Applications (Dagstuhl Seminar 99341) 10.4230/DagSemRep.248
• Elisa Bertino, Andreas Heuer, M. Tamer Özsu, and Gunter Saake Multimedia Database Support for Digital Libraries (Dagstuhl Seminar 99351) 10.4230/DagSemRep.249
• Christiane Floyd, Yvonne Dittrich, and Ralf Klischewski Social Thinking - Software Practice. Approaches Relating Software Development, Work, and Organisational Change (Dagstuhl Seminar 99361) 10.4230/DagSemRep.250
• Nicolas Spyratos, Krishnamurthy Vidyasankar, and Gottfried Vossen Declarative Data Access on the Web (Dagstuhl Seminar 99371) 10.4230/DagSemRep.251
• Martien Molenaar, Marc van Kreveld, Frank Wagner, and Rob Weibel Computational Cartography (Dagstuhl Seminar 99381) 10.4230/DagSemRep.252
• Georg Gottlob, Erich Grädel, Moshe Vardi, and Victor Vianu Finite Model Theory, Databases, and Computer-Aided Verification (Dagstuhl Seminar 99401) 10.4230/DagSemRep.253
• Edmund M. Clarke, Ursula Goltz, Peter Niebert, and Wojciech Penczek Temporal Logics for Distributed Systems - Paradigms and Algorithms (Dagstuhl Seminar 99411) 10.4230/DagSemRep.254
• Jacek Blazewicz, Klaus H. Ecker, Ed G. Coffman Jr., and Gerd Finke Scheduling in Computer and Manufacturing Systems (Dagstuhl Seminar 99431) 10.4230/DagSemRep.256
• D. M. Barrington, Rüdiger Reischuk, and Ingo Wegener Complexity of Boolean Functions (Dagstuhl Seminar 99441) 10.4230/DagSemRep.257
• Stephan Jähnichen, Michel Lemoine, Tom Maibaum, and Martin Wirsing Rigorous Analysis and Design for Software Intensive Systems (Dagstuhl Seminar 99451) 10.4230/DagSemRep.258
• Ker-I Ko, Anil Nerode, and Klaus Weihrauch Computability and Complexity in Analysis (Dagstuhl Seminar 99461) 10.4230/DagSemRep.259
• Götz Alefeld, Jiri Rohn, Siegfried M. Rump, and Tesuro Yamamoto Symbolic-algebraic Methods and Verification Methods - Theory and Applications (Dagstuhl Seminar 99471) 10.4230/DagSemRep.260
• Hans Burkhardt, Hans-Peter Kriegel, and Remco Veltkamp Content-Based Image and Video Retrieval (Dagstuhl Seminar 99491) 10.4230/DagSemRep.261
• Krysztof Apt, Michael Jünger, Pascal van Hentenryck, and Laurence A. Wolsey Constraint Programming and Integer Programming (Dagstuhl Seminar 00031) 10.4230/DagSemRep.262
• Klaus Jansen, Jose Rolim, and Madhu Sudan Linear, Semidefinite Programming and Randomization Methods for Combinatorial Optimization Problems (Dagstuhl Seminar 00041) 10.4230/DagSemRep.263
• Reinhard Wilhelm Informatics 10 Years Back, 10 Years Ahead (Dagstuhl Seminar 00352) 10.4230/DagSemRep.264
• Hans-Georg Beyer, Kenneth De Jong, David B. Fogel, and Ingo Wegener Theory of Evolutionary Algorithms (Dagstuhl Seminar 00071) 10.4230/DagSemRep.265
• Hans-Dieter Ehrich, Ursula Goltz, José Meseguer, and Amir Pnueli Specification of Distributed Information Systems (Dagstuhl Seminar 00081) 10.4230/DagSemRep.266
• Susanne Albers, Ian Munro, and Peter Widmayer Data Structures (Dagstuhl Seminar 00091) 10.4230/DagSemRep.267
• Alfred Bruckstein, Thomas Huang, Reinhard Klette, and SongDe Ma Multi-Image Search, Filtering, Reasoning and Visualisation (Dagstuhl Seminar 00111) 10.4230/DagSemRep.268
• Dieter Fensel, Jim Hendler, Henry Lieberman, and Wolfgang Wahlster Semantics for the Web (Dagstuhl Seminar 00121) 10.4230/DagSemRep.269
• Andrea Bondavalli, Mario Dal Cin, Klaus Echtle, and Erik Maehle Validation of Dependable Behavior of Safety- and Mission-Critical Computing Systems (Dagstuhl Seminar 00131) 10.4230/DagSemRep.270
• Ahmed Bouajjani and Javier Esparza Verification of Infinite-state Systems (Dagstuhl Seminar 00141) 10.4230/DagSemRep.271
• Ulrich Herzog, Guy Latouche, Vaidyanathan Ramaswami, and Phuoc Tran-Gia Advanced Stochastic Modelling in Telecommunications (Dagstuhl Seminar 00151) 10.4230/DagSemRep.272
• Marta Kwiatkowska, Ulrich Herzog, Christoph Meinel, and Moshe Vardi Probabilistic Methods in Verification (Dagstuhl Seminar 00181) 10.4230/DagSemRep.273
• Andrew Campbell, Domenico Ferrari, Stefan Fischer, and Lars Wolf Quality of Service in Networks and Distributed Systems (Dagstuhl Seminar 00191) 10.4230/DagSemRep.274
• Ralph Kopperman, Mike Smyth, and Dieter Spreen Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization (Dagstuhl Seminar 00231) 10.4230/DagSemRep.276
• Wolfgang Effelsberg, Edward Fox, Nicolas D. Georganas, and Ralf Steinmetz Multimedia for Multimedia: Learning and Teaching at the University in the Next Decade (Dagstuhl Seminar 00241) 10.4230/DagSemRep.277
• Michael Cohen, Heinrich Müller, Claude Puech, and Hans-Peter Seidel Image Synthesis and Interactive 3D Graphics (Dagstuhl Seminar 00251) 10.4230/DagSemRep.278
• Gordon Brebner, Karl-Heinz Brenner, Hossam El Gindy, and Hartmut Schmeck Dynamically Reconfigurable Architectures (Dagstuhl Seminar 00261) 10.4230/DagSemRep.279
• Günter Hommel and Lonnie R. Welch Stochastic and Dynamic Real-Time Systems (Dagstuhl Seminar 00271) 10.4230/DagSemRep.280
• Matthias Jarke, Dan E. O'Leary, and Rudi Studer Knowledge Management: An Interdisciplinary Approach (Dagstuhl Seminar 00281) 10.4230/DagSemRep.281
• Jan Chomicki, Ron van der Meyden, and Gunter Saake Logics for Emerging Applications of Databases (Dagstuhl Seminar 00291) 10.4230/DagSemRep.282
• Michael R. Berthold, Rudolf Kruse, Xiahui Liu, and Helen Szczerbicka Intelligent Data Analysis (Dagstuhl Seminar 00331) 10.4230/DagSemRep.283
• Susan Flynn-Hummer, Vladimi Getov, Francois Irigoin, and Christian Lengauer High Performance Computing and Java (Dagstuhl Seminar 00341) 10.4230/DagSemRep.284
• Rudolf Fleischer, Bernard Moret, and Erik Meineche Schmidt Experimental Algorithmics (Dagstuhl Seminar 00371) 10.4230/DagSemRep.285
• Carole Dulong, Rajiv Gupta, Robert Kennedy, Jens Knoop, and Jim Pierce Code Optimisation: Trends, Challenges and Perspectives (Dagstuhl Seminar 00381) 10.4230/DagSemRep.286
• Stefan Heinrich, Sergei Pereverzev, Joseph Traub, and Grzegorz Wasilkowski Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 00391) 10.4230/DagSemRep.287
• Hartmut Ehrig, Gregor Engels, Fernando Orejas, and Martin Wirsing Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 00411) 10.4230/DagSemRep.288
• Horst Bunke, Henrik Iskov Christensen, Gregory Hager, and Rolf Klein Modelling of Sensor-Based Intelligent Robot Systems (Dagstuhl Seminar 00421) 10.4230/DagSemRep.289
• Anish Arora, Joffroy Beauquier, Shlomi Dolev, Ted Herman, and Willem-Paul de Roever Self-Stabilization (Dagstuhl Seminar 00431) 10.4230/DagSemRep.290
• Uwe Aßmann, Laurie Hendren, Barbara Ryder, and Frank Tip Effective Implementation of Object-Oriented Programming Languages (Dagstuhl Seminar 00451) 10.4230/DagSemRep.291
• Volker Diekert, Manfred Droste, Anca Muscholl, and Doron Peled Logic, Algebra, and Formal Verification of Concurrent Systems (Dagstuhl Seminar 00481) 10.4230/DagSemRep.292
• Douglas Brutlag, Thomas Lengauer, and Martin Vingron Bioinformatics (Dagstuhl Seminar 00491) 10.4230/DagSemRep.293
• Pierpaolo Degano, Roberto Gorrieri, Chris Hankin, Flemming Nielson, and Hanne Riis Nielson Security through Analysis and Verification (Dagstuhl Seminar 00501) 10.4230/DagSemRep.294
• Leopoldo Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, and Bernhard Thalheim Semantics in Databases (Dagstuhl Seminar 01021) 10.4230/DagSemRep.295
• Jürgen Ebert, Kostas Kontogiannis, and John Mylopoulos Interoperability of Reengineering Tools (Dagstuhl Seminar 01041) 10.4230/DagSemRep.296
• Bernd Becker, Masahiro Fujita, Christoph Meinel, and Fabio Somenzi Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051) 10.4230/DagSemRep.297
• Roland C. Backhouse, Dexter Kozen, and Bernhard Möller Applications of Kleene Algebra (Dagstuhl Seminar 01081) 10.4230/DagSemRep.298
• Michael Jünger, Gerhard Reinelt, Heiko Rieger, and Giovanni Rinaldi Algorithmic Techniques in Physics (Dagstuhl Seminar 01091) 10.4230/DagSemRep.299
• Ulrich Furbach, Harald Ganzinger, Ryuzo Hasegawa, and Deepak Kapur Deduction (Dagstuhl Seminar 01101) 10.4230/DagSemRep.300
• Kevin W. Bowyer, Murray H. Loew, H. Siegfried Stiehl, and Max A. Viergever Methodology of Evaluation in Computational Medical Imaging (Dagstuhl Seminar 01111) 10.4230/DagSemRep.301
• Rolf Klein and Günter Rote Computational Geometry (Dagstuhl Seminar 01121) 10.4230/DagSemRep.302
• David Pym, Eike Ritter, and Thomas Streicher Semantic Foundations of Proof-search (Dagstuhl Seminar 01141) 10.4230/DagSemRep.303
• Klaus Pohl, Günter Böckle, Paul Clements, Henk Obbink, and Dieter Rombach Product Family Development (Dagstuhl Seminar 01161) 10.4230/DagSemRep.304
• Marc van Kreveld, Robert Weibel, and Michael Worboys Computational Cartography and Spatial Modelling (Dagstuhl Seminar 01191) 10.4230/DagSemRep.305
• Joe Buhler, Harald Niederreiter, and Michael E. Post Algorithms and Number Theory (Dagstuhl Seminar 01201) 10.4230/DagSemRep.306
• Stephan Diehl, Peter Eades, and John Stasko Software Visualization (Dagstuhl Seminar 01211) 10.4230/DagSemRep.307
• Stefan Jähnichen, Jeff Kramer, Michel Lemoine, and Martin Wirsing Can Formal Methods Cope with Software-Intensive Systems? (Dagstuhl Seminar 01221) 10.4230/DagSemRep.308
• Martin Dyer, Mark Jerrum, and Marek Karpinski Design and Analysis of Randomized and Approximation Algorithms (Dagstuhl Seminar 01231) 10.4230/DagSemRep.309
• Francine D. Berman, Alexander Reinefeld, and Uwe Schwiegelshohn Management of Metacomputers (Dagstuhl Seminar 01241) 10.4230/DagSemRep.310
• Werner Purgathofer, Mateu Sbert, and Pete Shirley Stochastic Methods in Rendering (Dagstuhl Seminar 01242) 10.4230/DagSemRep.311
• Andreas Brandstädt and Jeremy P. Spinrad Graph Decompositions and Algorithmic Applications (Dagstuhl Seminar 01251) 10.4230/DagSemRep.312
• Ralf Hofestädt, John Reinitz, and Nikolay Kolchanov Information and Simulation Systems for the Analysis of Gene Regulation and Metabolic Pathways (Dagstuhl Seminar 01261) 10.4230/DagSemRep.313
• Ulrik Brandes, David Krackhardt, Roberto Tamassia, and Dorothea Wagner Link Analysis and Visualization (Dagstuhl Seminar 01271) 10.4230/DagSemRep.314
• Joachim Buhmann and Bernhard Schölkopf Inference Principles and Model Selection (Dagstuhl Seminar 01301) 10.4230/DagSemRep.315
• Rodney G. Downey, Michael R. Fellows, Rolf Niedermeier, and Peter Rossmanith Parameterized Complexity (Dagstuhl Seminar 01311) 10.4230/DagSemRep.316
• Gilles Barthe, Peter Dybjer, and Peter Thiemann Dependent Type Theory meets Practical Programming (Dagstuhl Seminar 01341) 10.4230/DagSemRep.317
• Alberto Mendelzon, Thomas Schwentick, and Dan Suciu Foundations of Semistructured Data (Dagstuhl Seminar 01361) 10.4230/DagSemRep.318
• Gaetano Borriello, Hans Gellersen, and Friedemann Mattern Ubiquitous Computing (Dagstuhl Seminar 01371) 10.4230/DagSemRep.319
• Micah Adler, Friedhelm Meyer auf der Heide, and Dorothea Wagner Algorithmic Aspects of Large and Complex Networks (Dagstuhl Seminar 01381) 10.4230/DagSemRep.320
• David Basin, Grit Denker, Jon Millen, and Gavin Lowe Specification and Analysis of Secure Cryptographic Protocols (Dagstuhl Seminar 01391) 10.4230/DagSemRep.321
• Reinhard Kahle, Peter Schröder-Heister, and Robert F. Stärk Proof Theory in Computer Science (Dagstuhl Seminar 01411) 10.4230/DagSemRep.322
• Michael Joswig and Nobuki Takayama Integration of Algebra and Geometry Software Systems (Dagstuhl Seminar 01421) 10.4230/DagSemRep.323
• Michael Beetz, Malik Ghallab, Joachim Hertzberg, and Martha E. Pollack Plan-based Control of Robotic Agents (Dagstuhl Seminar 01431) 10.4230/DagSemRep.324
• Tom L. Dean, Bernhard Nebel, and Moshe Y. Vardi Exploration of Large State Spaces (Dagstuhl Seminar 01451) 10.4230/DagSemRep.326
• Vasco Brattka, Peter Hertling, Mariko Yasugi, and Ning Zhong Computability and Complexity in Analysis (Dagstuhl Seminar 01461) 10.4230/DagSemRep.327
• Willem-Paul de Roever, Nicolas Halbwachs, Gérard Berry, and Klaus Winkelmann Synchronous Languages (Dagstuhl Seminar 01491) 10.4230/DagSemRep.328
• Hans-Peter Kriegel, Jitendra Malik, Linda Shapiro, and Remco Veltkamp Content-Based Image and Video Retrieval (Dagstuhl Seminar 02021) 10.4230/DagSemRep.329
• Hans-Georg Beyer, Kenneth A. De Jong, Colin Reeves, and Ingo Wegener Theory of Evolutionary Algorithms (Dagstuhl Seminar 02031) 10.4230/DagSemRep.330
• Wiebe van der Hoek and Michael J. Wooldridge The Logic of Rational Agency (Dagstuhl Seminar 02041) 10.4230/DagSemRep.331
• Harold Boley, Benjamin N. Grosof, Said Tabet, and Gerd Wagner Rule Markup Techniques for the Semantic Web (Dagstuhl Seminar 02061) 10.4230/DagSemRep.332
• Erik D. Demaine, Rudolf Fleischer, Avierzi Fraenkel, and Richard Nowakowski Algorithmic Combinatorial Game Theory (Dagstuhl Seminar 02081) 10.4230/DagSemRep.334
• Susanne Albers, Robert Sedgewick, and Peter Widmayer Data Structures (Dagstuhl Seminar 02091) 10.4230/DagSemRep.335
• Andreas R. Blass, Egon Börger, and Yuri Gurevich Theory and Application of Abstract State Machines (Dagstuhl Seminar 02101) 10.4230/DagSemRep.336
• Gregor Engels, Ursula Goltz, and Rob van Glabeek Concurrency and Dynamic Behaviour Modelling: Pragmatics & Semantics (Dagstuhl Seminar 02111) 10.4230/DagSemRep.337
• Johan Hastad, Matthias Krause, David A. M. Barrington, and Rüdiger Reischuk Complexity of Boolean Functions (Dagstuhl Seminar 02121) 10.4230/DagSemRep.338
• Tetsuo Asano, Reinhard Klette, and Christian Ronse Theoretical Foundations of Computer Vision -- Geometry, Morphology, and Computational Imaging (Dagstuhl Seminar 02151) 10.4230/DagSemRep.339
• Guido Brunnett, Gerald Farin, Ron Goldman, and Stefanie Hahmann Geometric Modelling (Dagstuhl Seminar 02201) 10.4230/DagSemRep.341
• Ralph Kopperman, Michael B. Smyth, and Dieter Spreen Mathematical Structures for Computable Topology and Geometry (Dagstuhl Seminar 02221) 10.4230/DagSemRep.342
• Jacek Blazewicz, Ed G. Coffman Jr., Klaus Ecker, and Denis Trystram Scheduling in Computer and Manufacturing Systems (Dagstuhl Seminar 02231) 10.4230/DagSemRep.343
• Daniel Lehmann, Rudolf Müller, Tuomas Sandholm, and Rakesh V. Vohra Electronic Market Design (Dagstuhl Seminar 02241) 10.4230/DagSemRep.344
• Evripidis Bampis, Klaus Jansen, Giuseppe Persiano, Roberto Solis-Oba, and Gordon T. Wilfong Approximation and Randomized Algorithms in Communication Networks (Dagstuhl Seminar 02251) 10.4230/DagSemRep.345
• David S. Johnson, Jan Karel Lenstra, and Gerhard J. Woeginger The Travelling Salesman Problem (Dagstuhl Seminar 02261) 10.4230/DagSemRep.346
• Susanne Albers, Amos Fiat, and Gerhard J. Woeginger Online Algorithms (Dagstuhl Seminar 02271) 10.4230/DagSemRep.347
• Paul A. Fishwick, Roger Malina, and Christa Sommerer Aesthetic Computing (Dagstuhl Seminar 02291) 10.4230/DagSemRep.348
• Hans Michael Gerndt, Valdimir S. Getov, Adolfy Hoisie, Allen D. Malony, and Barton P. Miller Performance Analysis and Distributed Computing (Dagstuhl Seminar 02341) 10.4230/DagSemRep.349
• Richard Fujimoto, W. H. Lunceford Jr., Ernst H. Page, and Adelinde Uhrmacher Grand Challenges for Modelling and Simulation (Dagstuhl Seminar 02351) 10.4230/DagSemRep.350
• Barbara Paech, David Parnas, Jesse H. Poore, H. Dieter Rombach, and Rudolf van Megen Supporting Customer-Supplier Relationships: Requirements Engineering and Quality Assurance (Dagstuhl Seminar 02361) 10.4230/DagSemRep.352
• Jon Louis Bentley, Rudolf Fleischer, Bernard Moret, and Erik Meineche Schmidt Experimental Algorithmics (Dagstuhl Seminar 02371) 10.4230/DagSemRep.353
• Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, and Miroslaw Truszczynski Nonmonotonic Reasoning, Answer Set Programming and Constraints (Dagstuhl Seminar 02381) 10.4230/DagSemRep.354
• Ueli Maurer, Adi Shamir, Jacques Stern, and Moti Yung Cryptography (Dagstuhl Seminar 02391) 10.4230/DagSemRep.355
• Leszek Plakote, Klaus Ritter, Ian H. Sloan, and Joseph F. Traub Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 02401) 10.4230/DagSemRep.356
• Harry Buhrman, Lance Fortnow, and Thomas Thierauf Algebraic Methods in Quantum and Classical Models of Computation (Dagstuhl Seminar 02421) 10.4230/DagSemRep.357
• Andrew T. Campbell, Stefan Fischer, Klara Nahrstedt, and Lars Wolf Quality of Service in Networks and Distributed Systems (Dagstuhl Seminar 02441) 10.4230/DagSemRep.358
• Stuart Anderson, Robin E. Bloomfield, Maritta Heisel, and Bernd Krämer Dependability of Component Based Systems (Dagstuhl Seminar 02451) 10.4230/DagSemRep.359
• Ross B. Altman, David Gilbert, and Thomas Lengauer Computational Biology (Dagstuhl Seminar 02471) 10.4230/DagSemRep.360
• Jürgen Dix and Michael Fischer Programming Multi Agent Systems based on Logic (Dagstuhl Seminar 02481) 10.4230/DagSemRep.361
• Thierry Coquand, Henri Lombardi, and Marie-Françoise Roy Verification and Constructive Algebra (Dagstuhl Seminar 03021) 10.4230/DagSemRep.362
• René Alt, Andreas Frommer, Ralph Baker Kearfott, and Wolfram Luther Numerical Software with Result Verification (Dagstuhl Seminar 03041) 10.4230/DagSemRep.363
• Rolf Apweiler, Thure Etzold, Johann-Christoph Freytag, Carole Goble, and Peter Schwarz Information and Process Integration: A Life Science Perspective (Dagstuhl Seminar 03051) 10.4230/DagSemRep.364
• Rick Kazman, Rainer Koschke, and Arie van Deursen Software Architecture: Recovery and Modelling (Dagstuhl Seminar 03061) 10.4230/DagSemRep.365
• Thomas M. Conte, Christine Eisenbeis, and Mary Lou Soffa Emerging Technologies: Can Optimization Technology meet their Demands? (Dagstuhl Seminar 03071) 10.4230/DagSemRep.366
• Hans-Dieter Ehrich, John-Jules Ch. Meyer, and Mark D. Ryan Objects, Agents and Features (Dagstuhl Seminar 03081) 10.4230/DagSemRep.367
• Ralph Johnson, Gregor Snelting, and Frank Tip Program Analysis for Object-Oriented Evolution (Dagstuhl Seminar 03091) 10.4230/DagSemRep.368
• Markus Müller-Olm, Hanne Riis Nielson, and David Schmidt Reasoning about Shape (Dagstuhl Seminar 03101) 10.4230/DagSemRep.369
• Friedel Hoßfeld, Christopher R. Johnson, Hans Petter, and Unlrich Rüde Challenges in High Performance Simulations for Science and Engineering (Dagstuhl Seminar 03111) 10.4230/DagSemRep.370
• Michael Clause, Rolf Klein, and Ian H. Witten Multimedia Retrieval (Dagstuhl Seminar 03112) 10.4230/DagSemRep.371
• Dan Halperin and Günter Rote Computational Geometry (Dagstuhl Seminar 03121) 10.4230/DagSemRep.372
• Don Batory, Charles Consel, Christian Lengauer, and Martin Odersky Domain-Specific Program Generation (Dagstuhl Seminar 03131) 10.4230/DagSemRep.373
• Andreas Goerdt, Pavel Pudlák, Uwe Schöning, and Osamu Watanabe The Propositional Satisfiability Problem -- Algorithms and Lower Bounds (Dagstuhl Seminar 03141) 10.4230/DagSemRep.374
• Günter Böckle, Peter Knauber, Linda Northrop, Klaus Pohl, and Frank van der Linden Product Family Development (Dagstuhl Seminar 03151) 10.4230/DagSemRep.375
• Deepak Kapur, Andreas Podelski, and Andrei Voronkov Deduction and Infinite-state Model Checking (Dagstuhl Seminar 03171) 10.4230/DagSemRep.376
• Bruno Durand, Leonid A. Levin, Wolfgang Merkle, Alexander Shen, and Paul M. B. Vitanyi Centennial Seminar on Kolmogorov Complexity and Applications (Dagstuhl Seminar 03181) 10.4230/DagSemRep.377
• Caroline Haythornthwaite, Wolffried Stucky, and Gottfried Vossen Conceptual and Technical Aspects of Electronic Learning (Dagstuhl Seminar 03191) 10.4230/DagSemRep.378
• Craig Boutilier, Boudewijn Haverkort, Marta Kwiatkowska, and Moshe Y. Vardi Probabilistic Methods in Verification and Planning (Dagstuhl Seminar 03201) 10.4230/DagSemRep.379
• Ioana Banicescu, Keshav Pingali, Thomas Rauber, and Gudula Rünger Adaptivity in Parallel Scientific Computing (Dagstuhl Seminar 03211) 10.4230/DagSemRep.380
• George-Pierre Bonneau, Thomas Ertl, and Gregory M. Nielson Scientific Visualization: Extracting Information and Knowledge from Scientific Data Sets (Dagstuhl Seminar 03231) 10.4230/DagSemRep.381
• Leopoldo Bertossi, Philippe Besnard, Anthony Hunter, and Torsten Schaub Inconsistency Tolerance (Dagstuhl Seminar 03241) 10.4230/DagSemRep.382
• Michael Beetz, Malik Ghallab, Joachim Hertzberg, and Martha E. Pollack Plan-Based Control of Robotic Agents (Dagstuhl Seminar 03261) 10.4230/DagSemRep.383
• Markus Gross, Dinesh Manocha, Heinrich Müller, and Hans-Peter Seidel Hierarchical Methods in Computer Graphics (Dagstuhl Seminar 03271) 10.4230/DagSemRep.384
• Verena V. Hafner, Fumiya Iida, Yasuo Kuniyoshi, Rolf Pfeifer, and Luc Steels Embodied Artificial Intelligence (Dagstuhl Seminar 03281) 10.4230/DagSemRep.385
• Marek Karpinski, Christos H. Papadimitriou, and Vijay V. Vazirani Algorithmic Game Theory and the Internet (Dagstuhl Seminar 03291) 10.4230/DagSemRep.386
• Peter M. Athanas, Jürgen Becker, Gordon Brebner, and Hossam El Gindy Dynamically Reconfigurable Architectures (Dagstuhl Seminar 03301) 10.4230/DagSemRep.387
• Michael R. Fellows, Michael Hallett, Rold Niedermeier, and Naomi Nishimura Fixed Parameter Algorithms (Dagstuhl Seminar 03311) 10.4230/DagSemRep.388
• Martin Karsten, Lee McKnight, Peter Reichl, and Burkhard Stiller Internet Economics (Dagstuhl Seminar 03321) 10.4230/DagSemRep.389
• Susan L. Graham and Reinhard Wilhelm Software Optimization (Dagstuhl Seminar 03351) 10.4230/DagSemRep.390
• Micah Adler, Friedhelm Meyer auf der Heide, and Dorothea Wagner Algorithmic Aspects of Large and Complex Networks (Dagstuhl Seminar 03361) 10.4230/DagSemRep.391
• Michael Gertz, M. Tamer Özsu, Gunter Saake, and Kai-Uwe Sattler Data Quality on the Web (Dagstuhl Seminar 03362) 10.4230/DagSemRep.392
• Francis Bordeleau and Stefan Leue Scenarios: Models, Transformations and Tools (Dagstuhl Seminar 03371) 10.4230/DagSemRep.393
• Alexander K. Hartmann, Kurt Mehlhorn, and Heiko Rieger New Optimization Algorithms in Physics (Dagstuhl Seminar 03381) 10.4230/DagSemRep.394
• Jaroslav Nesetril and Gerhard J. Woeginger Graph Colorings (Dagstuhl Seminar 03391) 10.4230/DagSemRep.395
• Monika Sester, Jack Snoeyink, Peter van Oosterom, and Michael Worboys Computational Cartography and Spatial Modelling (Dagstuhl Seminar 03401) 10.4230/DagSemRep.396
• Anindya Banerjee, Heiko Mantel, David A. Naumann, and Andrei Sabelfeld Language-Based Security (Dagstuhl Seminar 03411) 10.4230/DagSemRep.397
• Nick Higham, Volker Mehrmann, Siegfried M. Rump, and Daniel B. Szyld Theoretical and Computational Aspects of Matrix Algorithms (Dagstuhl Seminar 03421) 10.4230/DagSemRep.398
• Jens Knoop, Jaejin Lee, Samuel P. Midkiff, and David Padua Hardware and Software Consistency Models: Programmability and Performance (Dagstuhl Seminar 03431) 10.4230/DagSemRep.399
• Henrik Christensen and Hans-Hellmut Nagel Cognitive Vision Systems (Dagstuhl Seminar 03441) 10.4230/DagSemRep.400
• David Basin, Harald Ganzinger, John R. Harrison, and Amir Pnueli Applied Deductive Verification (Dagstuhl Seminar 03451) 10.4230/DagSemRep.401
• Manfred Broy, Ursula Goltz, and Luciano Lavagno Software Intensive Embedded Systems - with Special Emphasis on Automotive (Dagstuhl Seminar 03461) 10.4230/DagSemRep.402
• Lothar Thiele and Reinhard Wilhelm Design of Systems with Predictable Behaviour (Dagstuhl Seminar 03471) 10.4230/DagSemRep.403
• Matthias Jarke, Alfred Kobsa, Klaus Miesenberger, and Carlos A. Velasco e-Accessibility - new Devices, new Technologies and new Challenges in the Information Society (Dagstuhl Seminar 03481) 10.4230/DagSemRep.404
• Jong-Deok Choi, Barbara G. Ryder, and Andreas Zeller Understanding Program Dynamics (Dagstuhl Seminar 03491) 10.4230/DagSemRep.405
• Rudolf Fleischer and Rolf Klein Robot Navigation (Dagstuhl Seminar 03501) 10.4230/DagSemRep.406
• Thomas Lickteig, Klaus Meer, and Luis Miguel Pardo Real Computation and Complexity (Dagstuhl Seminar 04061) 10.4230/DagSemRep.407