Dagstuhl Seminar Reports

ISSN 1619-0203

407	Real Computation and Complexity (Dagstuhl Seminar 04061)
	(3 MB)	Dagstuhl Seminar Report, Number 407, pp. 1-25, doi: 10.4230/DagSemRep.407 Thomas Lickteig, Klaus Meer, and Luis Miguel Pardo (Eds.)

406	Robot Navigation (Dagstuhl Seminar 03501)
	(0.3 MB)	Dagstuhl Seminar Report, Number 406, pp. 1-4, doi: 10.4230/DagSemRep.406 Rudolf Fleischer, and Rolf Klein (Eds.)

405	Understanding Program Dynamics (Dagstuhl Seminar 03491)
	(0.4 MB)	Dagstuhl Seminar Report, Number 405, pp. 1-6, doi: 10.4230/DagSemRep.405 Jong-Deok Choi, Barbara G. Ryder, and Andreas Zeller (Eds.)

404	e-Accessibility - new Devices, new Technologies and new Challenges in the Information Society (Dagstuhl Seminar 03481)
	(0.3 MB)	Dagstuhl Seminar Report, Number 404, pp. 1-5, doi: 10.4230/DagSemRep.404 Matthias Jarke, Alfred Kobsa, Klaus Miesenberger, and Carlos A. Velasco (Eds.)

403	Design of Systems with Predictable Behaviour (Dagstuhl Seminar 03471)
	(0.3 MB)	Dagstuhl Seminar Report, Number 403, pp. 1-4, doi: 10.4230/DagSemRep.403 Lothar Thiele, and Reinhard Wilhelm (Eds.)

402	Software Intensive Embedded Systems - with Special Emphasis on Automotive (Dagstuhl Seminar 03461)
	(0.3 MB)	Dagstuhl Seminar Report, Number 402, pp. 1-5, doi: 10.4230/DagSemRep.402 Manfred Broy, Ursula Goltz, and Luciano Lavagno (Eds.)

401	Applied Deductive Verification (Dagstuhl Seminar 03451)
	(0.3 MB)	Dagstuhl Seminar Report, Number 401, pp. 1-6, doi: 10.4230/DagSemRep.401 David Basin, Harald Ganzinger, John R. Harrison, and Amir Pnueli (Eds.)

400	Cognitive Vision Systems (Dagstuhl Seminar 03441)
	(0.7 MB)	Dagstuhl Seminar Report, Number 400, pp. 1-27, doi: 10.4230/DagSemRep.400 Henrik Christensen, and Hans-Hellmut Nagel (Eds.)

399	Hardware and Software Consistency Models: Programmability and Performance (Dagstuhl Seminar 03431)
	(0.3 MB)	Dagstuhl Seminar Report, Number 399, pp. 1-5, doi: 10.4230/DagSemRep.399 Jens Knoop, Jaejin Lee, Samuel P. Midkiff, and David Padua (Eds.)

398	Theoretical and Computational Aspects of Matrix Algorithms (Dagstuhl Seminar 03421)
	(0.3 MB)	Dagstuhl Seminar Report, Number 398, pp. 1-5, doi: 10.4230/DagSemRep.398 Nick Higham, Volker Mehrmann, Siegfried M. Rump, and Daniel B. Szyld (Eds.)

397	Language-Based Security (Dagstuhl Seminar 03411)
	(0.3 MB)	Dagstuhl Seminar Report, Number 397, pp. 1-10, doi: 10.4230/DagSemRep.397 Anindya Banerjee, Heiko Mantel, David A. Naumann, and Andrei Sabelfeld (Eds.)

396	Computational Cartography and Spatial Modelling (Dagstuhl Seminar 03401)
	(0.4 MB)	Dagstuhl Seminar Report, Number 396, pp. 1-7, doi: 10.4230/DagSemRep.396 Monika Sester, Jack Snoeyink, Peter van Oosterom, and Michael Worboys (Eds.)

395	Graph Colorings (Dagstuhl Seminar 03391)
	(0.3 MB)	Dagstuhl Seminar Report, Number 395, pp. 1-6, doi: 10.4230/DagSemRep.395 Jaroslav Nesetril, and Gerhard J. Woeginger (Eds.)

394	New Optimization Algorithms in Physics (Dagstuhl Seminar 03381)
	(0.4 MB)	Dagstuhl Seminar Report, Number 394, pp. 1-9, doi: 10.4230/DagSemRep.394 Alexander K. Hartmann, Kurt Mehlhorn, and Heiko Rieger (Eds.)

393	Scenarios: Models, Transformations and Tools (Dagstuhl Seminar 03371)
	(0.3 MB)	Dagstuhl Seminar Report, Number 393, pp. 1-6, doi: 10.4230/DagSemRep.393 Francis Bordeleau, and Stefan Leue (Eds.)

392	Data Quality on the Web (Dagstuhl Seminar 03362)
	(0.5 MB)	Dagstuhl Seminar Report, Number 392, pp. 1-27, doi: 10.4230/DagSemRep.392 Michael Gertz, M. Tamer Özsu, Gunter Saake, and Kai-Uwe Sattler (Eds.)

391	Algorithmic Aspects of Large and Complex Networks (Dagstuhl Seminar 03361)
	(0.3 MB)	Dagstuhl Seminar Report, Number 391, pp. 1-5, doi: 10.4230/DagSemRep.391 Micah Adler, Friedhelm Meyer auf der Heide, and Dorothea Wagner (Eds.)

390	Software Optimization (Dagstuhl Seminar 03351)
	(0.3 MB)	Dagstuhl Seminar Report, Number 390, pp. 1-4, doi: 10.4230/DagSemRep.390 Susan L. Graham, and Reinhard Wilhelm (Eds.)

389	Internet Economics (Dagstuhl Seminar 03321)
	(0.3 MB)	Dagstuhl Seminar Report, Number 389, pp. 1-6, doi: 10.4230/DagSemRep.389 Martin Karsten, Lee McKnight, Peter Reichl, and Burkhard Stiller (Eds.)

388	Fixed Parameter Algorithms (Dagstuhl Seminar 03311)
	(0.3 MB)	Dagstuhl Seminar Report, Number 388, pp. 1-7, doi: 10.4230/DagSemRep.388 Michael R. Fellows, Michael Hallett, Rold Niedermeier, and Naomi Nishimura (Eds.)

387	Dynamically Reconfigurable Architectures (Dagstuhl Seminar 03301)
	(0.3 MB)	Dagstuhl Seminar Report, Number 387, pp. 1-5, doi: 10.4230/DagSemRep.387 Peter M. Athanas, Jürgen Becker, Gordon Brebner, and Hossam El Gindy (Eds.)

386	Algorithmic Game Theory and the Internet (Dagstuhl Seminar 03291)
	(0.4 MB)	Dagstuhl Seminar Report, Number 386, pp. 1-9, doi: 10.4230/DagSemRep.386 Marek Karpinski, Christos H. Papadimitriou, and Vijay V. Vazirani (Eds.)

385	Embodied Artificial Intelligence (Dagstuhl Seminar 03281)
	(0.3 MB)	Dagstuhl Seminar Report, Number 385, pp. 1-6, doi: 10.4230/DagSemRep.385 Verena V. Hafner, Fumiya Iida, Yasuo Kuniyoshi, Rolf Pfeifer, and Luc Steels (Eds.)

384	Hierarchical Methods in Computer Graphics (Dagstuhl Seminar 03271)
	(0.3 MB)	Dagstuhl Seminar Report, Number 384, pp. 1-6, doi: 10.4230/DagSemRep.384 Markus Gross, Dinesh Manocha, Heinrich Müller, and Hans-Peter Seidel (Eds.)

383	Plan-Based Control of Robotic Agents (Dagstuhl Seminar 03261)
	(0.3 MB)	Dagstuhl Seminar Report, Number 383, pp. 1-6, doi: 10.4230/DagSemRep.383 Michael Beetz, Malik Ghallab, Joachim Hertzberg, and Martha E. Pollack (Eds.)

382	Inconsistency Tolerance (Dagstuhl Seminar 03241)
	(0.4 MB)	Dagstuhl Seminar Report, Number 382, pp. 1-8, doi: 10.4230/DagSemRep.382 Leopoldo Bertossi, Philippe Besnard, Anthony Hunter, and Torsten Schaub (Eds.)

381	Scientific Visualization: Extracting Information and Knowledge from Scientific Data Sets (Dagstuhl Seminar 03231)
	(0.3 MB)	Dagstuhl Seminar Report, Number 381, pp. 1-6, doi: 10.4230/DagSemRep.381 George-Pierre Bonneau, Thomas Ertl, and Gregory M. Nielson (Eds.)

380	Adaptivity in Parallel Scientific Computing (Dagstuhl Seminar 03211)
	(0.3 MB)	Dagstuhl Seminar Report, Number 380, pp. 1-6, doi: 10.4230/DagSemRep.380 Ioana Banicescu, Keshav Pingali, Thomas Rauber, and Gudula Rünger (Eds.)

379	Probabilistic Methods in Verification and Planning (Dagstuhl Seminar 03201)
	(0.4 MB)	Dagstuhl Seminar Report, Number 379, pp. 1-8, doi: 10.4230/DagSemRep.379 Craig Boutilier, Boudewijn Haverkort, Marta Kwiatkowska, and Moshe Y. Vardi (Eds.)

378	Conceptual and Technical Aspects of Electronic Learning (Dagstuhl Seminar 03191)
	(0.3 MB)	Dagstuhl Seminar Report, Number 378, pp. 1-6, doi: 10.4230/DagSemRep.378 Caroline Haythornthwaite, Wolffried Stucky, and Gottfried Vossen (Eds.)

377	Centennial Seminar on Kolmogorov Complexity and Applications (Dagstuhl Seminar 03181)
	(0.3 MB)	Dagstuhl Seminar Report, Number 377, pp. 1-6, doi: 10.4230/DagSemRep.377 Bruno Durand, Leonid A. Levin, Wolfgang Merkle, Alexander Shen, and Paul M. B. Vitanyi (Eds.)

376	Deduction and Infinite-state Model Checking (Dagstuhl Seminar 03171)
	(0.3 MB)	Dagstuhl Seminar Report, Number 376, pp. 1-5, doi: 10.4230/DagSemRep.376 Deepak Kapur, Andreas Podelski, and Andrei Voronkov (Eds.)

375	Product Family Development (Dagstuhl Seminar 03151)
	(0.4 MB)	Dagstuhl Seminar Report, Number 375, pp. 1-6, doi: 10.4230/DagSemRep.375 Günter Böckle, Peter Knauber, Linda Northrop, Klaus Pohl, and Frank van der Linden (Eds.)

374	The Propositional Satisfiability Problem -- Algorithms and Lower Bounds (Dagstuhl Seminar 03141)
	(0.3 MB)	Dagstuhl Seminar Report, Number 374, pp. 1-5, doi: 10.4230/DagSemRep.374 Andreas Goerdt, Pavel Pudlák, Uwe Schöning, and Osamu Watanabe (Eds.)

373	Domain-Specific Program Generation (Dagstuhl Seminar 03131)
	(0.6 MB)	Dagstuhl Seminar Report, Number 373, pp. 1-8, doi: 10.4230/DagSemRep.373 Don Batory, Charles Consel, Christian Lengauer, and Martin Odersky (Eds.)

372	Computational Geometry (Dagstuhl Seminar 03121)
	(0.3 MB)	Dagstuhl Seminar Report, Number 372, pp. 1-6, doi: 10.4230/DagSemRep.372 Dan Halperin, and Günter Rote (Eds.)

371	Multimedia Retrieval (Dagstuhl Seminar 03112)
	(0.3 MB)	Dagstuhl Seminar Report, Number 371, pp. 1-4, doi: 10.4230/DagSemRep.371 Michael Clause, Rolf Klein, and Ian H. Witten (Eds.)

370	Challenges in High Performance Simulations for Science and Engineering (Dagstuhl Seminar 03111)
	(0.3 MB)	Dagstuhl Seminar Report, Number 370, pp. 1-5, doi: 10.4230/DagSemRep.370 Friedel Hoßfeld, Christopher R. Johnson, Hans Petter, and Unlrich Rüde (Eds.)

369	Reasoning about Shape (Dagstuhl Seminar 03101)
	(0.4 MB)	Dagstuhl Seminar Report, Number 369, pp. 1-7, doi: 10.4230/DagSemRep.369 Markus Müller-Olm, Hanne Riis Nielson, and David Schmidt (Eds.)

368	Program Analysis for Object-Oriented Evolution (Dagstuhl Seminar 03091)
	(0.3 MB)	Dagstuhl Seminar Report, Number 368, pp. 1-5, doi: 10.4230/DagSemRep.368 Ralph Johnson, Gregor Snelting, and Frank Tip (Eds.)

367	Objects, Agents and Features (Dagstuhl Seminar 03081)
	(0.4 MB)	Dagstuhl Seminar Report, Number 367, pp. 1-6, doi: 10.4230/DagSemRep.367 Hans-Dieter Ehrich, John-Jules Ch. Meyer, and Mark D. Ryan (Eds.)

366	Emerging Technologies: Can Optimization Technology meet their Demands? (Dagstuhl Seminar 03071)
	(0.4 MB)	Dagstuhl Seminar Report, Number 366, pp. 1-6, doi: 10.4230/DagSemRep.366 Thomas M. Conte, Christine Eisenbeis, and Mary Lou Soffa (Eds.)

365	Software Architecture: Recovery and Modelling (Dagstuhl Seminar 03061)
	(0.3 MB)	Dagstuhl Seminar Report, Number 365, pp. 1-6, doi: 10.4230/DagSemRep.365 Rick Kazman, Rainer Koschke, and Arie van Deursen (Eds.)

364	Information and Process Integration: A Life Science Perspective (Dagstuhl Seminar 03051)
	(0.4 MB)	Dagstuhl Seminar Report, Number 364, pp. 1-20, doi: 10.4230/DagSemRep.364 Rolf Apweiler, Thure Etzold, Johann-Christoph Freytag, Carole Goble, and Peter Schwarz (Eds.)

363	Numerical Software with Result Verification (Dagstuhl Seminar 03041)
	(0.3 MB)	Dagstuhl Seminar Report, Number 363, pp. 1-5, doi: 10.4230/DagSemRep.363 René Alt, Andreas Frommer, Ralph Baker Kearfott, and Wolfram Luther (Eds.)

362	Verification and Constructive Algebra (Dagstuhl Seminar 03021)
	(1 MB)	Dagstuhl Seminar Report, Number 362, pp. 1-17, doi: 10.4230/DagSemRep.362 Thierry Coquand, Henri Lombardi, and Marie-Françoise Roy (Eds.)

361	Programming Multi Agent Systems based on Logic (Dagstuhl Seminar 02481)
	(0.1 MB)	Dagstuhl Seminar Report, Number 361, pp. 1-18, doi: 10.4230/DagSemRep.361 Jürgen Dix, and Michael Fischer (Eds.)

360	Computational Biology (Dagstuhl Seminar 02471)
	(3 MB)	Dagstuhl Seminar Report, Number 360, pp. 1-30, doi: 10.4230/DagSemRep.360 Ross B. Altman, David Gilbert, and Thomas Lengauer (Eds.)

359	Dependability of Component Based Systems (Dagstuhl Seminar 02451)
	(0.8 MB)	Dagstuhl Seminar Report, Number 359, pp. 1-14, doi: 10.4230/DagSemRep.359 Stuart Anderson, Robin E. Bloomfield, Maritta Heisel, and Bernd Krämer (Eds.)

358	Quality of Service in Networks and Distributed Systems (Dagstuhl Seminar 02441)
	(0.1 MB)	Dagstuhl Seminar Report, Number 358, pp. 1-10, doi: 10.4230/DagSemRep.358 Andrew T. Campbell, Stefan Fischer, Klara Nahrstedt, and Lars Wolf (Eds.)

357	Algebraic Methods in Quantum and Classical Models of Computation (Dagstuhl Seminar 02421)
	(1.0 MB)	Dagstuhl Seminar Report, Number 357, pp. 1-16, doi: 10.4230/DagSemRep.357 Harry Buhrman, Lance Fortnow, and Thomas Thierauf (Eds.)

356	Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 02401)
	(0.2 MB)	Dagstuhl Seminar Report, Number 356, pp. 1-18, doi: 10.4230/DagSemRep.356 Leszek Plakote, Klaus Ritter, Ian H. Sloan, and Joseph F. Traub (Eds.)

355	Cryptography (Dagstuhl Seminar 02391)
	(1.0 MB)	Dagstuhl Seminar Report, Number 355, pp. 1-21, doi: 10.4230/DagSemRep.355 Ueli Maurer, Adi Shamir, Jacques Stern, and Moti Yung (Eds.)

354	Nonmonotonic Reasoning, Answer Set Programming and Constraints (Dagstuhl Seminar 02381)
	(0.9 MB)	Dagstuhl Seminar Report, Number 354, pp. 1-18, doi: 10.4230/DagSemRep.354 Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, and Miroslaw Truszczynski (Eds.)

353	Experimental Algorithmics (Dagstuhl Seminar 02371)
	(3 MB)	Dagstuhl Seminar Report, Number 353, pp. 1-25, doi: 10.4230/DagSemRep.353 Jon Louis Bentley, Rudolf Fleischer, Bernard Moret, and Erik Meineche Schmidt (Eds.)

352	Supporting Customer-Supplier Relationships: Requirements Engineering and Quality Assurance (Dagstuhl Seminar 02361)
	(0.9 MB)	Dagstuhl Seminar Report, Number 352, pp. 1-22, doi: 10.4230/DagSemRep.352 Barbara Paech, David Parnas, Jesse H. Poore, H. Dieter Rombach, and Rudolf van Megen (Eds.)

350	Grand Challenges for Modelling and Simulation (Dagstuhl Seminar 02351)
	(2 MB)	Dagstuhl Seminar Report, Number 350, pp. 1-75, doi: 10.4230/DagSemRep.350 Richard Fujimoto, W. H. Lunceford Jr., Ernst H. Page, and Adelinde Uhrmacher (Eds.)

349	Performance Analysis and Distributed Computing (Dagstuhl Seminar 02341)
	(0.8 MB)	Dagstuhl Seminar Report, Number 349, pp. 1-24, doi: 10.4230/DagSemRep.349 Hans Michael Gerndt, Valdimir S. Getov, Adolfy Hoisie, Allen D. Malony, and Barton P. Miller (Eds.)

348	Aesthetic Computing (Dagstuhl Seminar 02291)
	(1 MB)	Dagstuhl Seminar Report, Number 348, pp. 1-37, doi: 10.4230/DagSemRep.348 Paul A. Fishwick, Roger Malina, and Christa Sommerer (Eds.)

347	Online Algorithms (Dagstuhl Seminar 02271)
	(1 MB)	Dagstuhl Seminar Report, Number 347, pp. 1-20, doi: 10.4230/DagSemRep.347 Susanne Albers, Amos Fiat, and Gerhard J. Woeginger (Eds.)

346	The Travelling Salesman Problem (Dagstuhl Seminar 02261)
	(2 MB)	Dagstuhl Seminar Report, Number 346, pp. 1-17, doi: 10.4230/DagSemRep.346 David S. Johnson, Jan Karel Lenstra, and Gerhard J. Woeginger (Eds.)

345	Approximation and Randomized Algorithms in Communication Networks (Dagstuhl Seminar 02251)
	(3 MB)	Dagstuhl Seminar Report, Number 345, pp. 1-25, doi: 10.4230/DagSemRep.345 Evripidis Bampis, Klaus Jansen, Giuseppe Persiano, Roberto Solis-Oba, and Gordon T. Wilfong (Eds.)

344	Electronic Market Design (Dagstuhl Seminar 02241)
	(0.2 MB)	Dagstuhl Seminar Report, Number 344, pp. 1-18, doi: 10.4230/DagSemRep.344 Daniel Lehmann, Rudolf Müller, Tuomas Sandholm, and Rakesh V. Vohra (Eds.)

343	Scheduling in Computer and Manufacturing Systems (Dagstuhl Seminar 02231)
	(0.1 MB)	Dagstuhl Seminar Report, Number 343, pp. 1-16, doi: 10.4230/DagSemRep.343 Jacek Blazewicz, Ed G. Coffman Jr., Klaus Ecker, and Denis Trystram (Eds.)

342	Mathematical Structures for Computable Topology and Geometry (Dagstuhl Seminar 02221)
	(2 MB)	Dagstuhl Seminar Report, Number 342, pp. 1-38, doi: 10.4230/DagSemRep.342 Ralph Kopperman, Michael B. Smyth, and Dieter Spreen (Eds.)

341	Geometric Modelling (Dagstuhl Seminar 02201)
	(2 MB)	Dagstuhl Seminar Report, Number 341, pp. 1-20, doi: 10.4230/DagSemRep.341 Guido Brunnett, Gerald Farin, Ron Goldman, and Stefanie Hahmann (Eds.)

339	Theoretical Foundations of Computer Vision -- Geometry, Morphology, and Computational Imaging (Dagstuhl Seminar 02151)
	(1 MB)	Dagstuhl Seminar Report, Number 339, pp. 1-24, doi: 10.4230/DagSemRep.339 Tetsuo Asano, Reinhard Klette, and Christian Ronse (Eds.)

338	Complexity of Boolean Functions (Dagstuhl Seminar 02121)
	(0.9 MB)	Dagstuhl Seminar Report, Number 338, pp. 1-25, doi: 10.4230/DagSemRep.338 Johan Hastad, Matthias Krause, David A. M. Barrington, and Rüdiger Reischuk (Eds.)

337	Concurrency and Dynamic Behaviour Modelling: Pragmatics & Semantics (Dagstuhl Seminar 02111)
	(9 MB)	Dagstuhl Seminar Report, Number 337, pp. 1-28, doi: 10.4230/DagSemRep.337 Gregor Engels, Ursula Goltz, and Rob van Glabeek (Eds.)

336	Theory and Application of Abstract State Machines (Dagstuhl Seminar 02101)
	(3 MB)	Dagstuhl Seminar Report, Number 336, pp. 1-40, doi: 10.4230/DagSemRep.336 Andreas R. Blass, Egon Börger, and Yuri Gurevich (Eds.)

335	Data Structures (Dagstuhl Seminar 02091)
	(4 MB)	Dagstuhl Seminar Report, Number 335, pp. 1-36, doi: 10.4230/DagSemRep.335 Susanne Albers, Robert Sedgewick, and Peter Widmayer (Eds.)

334	Algorithmic Combinatorial Game Theory (Dagstuhl Seminar 02081)
	(3 MB)	Dagstuhl Seminar Report, Number 334, pp. 1-39, doi: 10.4230/DagSemRep.334 Erik D. Demaine, Rudolf Fleischer, Avierzi Fraenkel, and Richard Nowakowski (Eds.)

332	Rule Markup Techniques for the Semantic Web (Dagstuhl Seminar 02061)
	(0.1 MB)	Dagstuhl Seminar Report, Number 332, pp. 1-17, doi: 10.4230/DagSemRep.332 Harold Boley, Benjamin N. Grosof, Said Tabet, and Gerd Wagner (Eds.)

331	The Logic of Rational Agency (Dagstuhl Seminar 02041)
	(1 MB)	Dagstuhl Seminar Report, Number 331, pp. 1-11, doi: 10.4230/DagSemRep.331 Wiebe van der Hoek, and Michael J. Wooldridge (Eds.)

330	Theory of Evolutionary Algorithms (Dagstuhl Seminar 02031)
	(0.2 MB)	Dagstuhl Seminar Report, Number 330, pp. 1-26, doi: 10.4230/DagSemRep.330 Hans-Georg Beyer, Kenneth A. De Jong, Colin Reeves, and Ingo Wegener (Eds.)

329	Content-Based Image and Video Retrieval (Dagstuhl Seminar 02021)
	(0.1 MB)	Dagstuhl Seminar Report, Number 329, pp. 1-10, doi: 10.4230/DagSemRep.329 Hans-Peter Kriegel, Jitendra Malik, Linda Shapiro, and Remco Veltkamp (Eds.)

328	Synchronous Languages (Dagstuhl Seminar 01491)
	(1 MB)	Dagstuhl Seminar Report, Number 328, pp. 1-30, doi: 10.4230/DagSemRep.328 Willem-Paul de Roever, Nicolas Halbwachs, Gérard Berry, and Klaus Winkelmann (Eds.)

327	Computability and Complexity in Analysis (Dagstuhl Seminar 01461)
	(0.3 MB)	Dagstuhl Seminar Report, Number 327, pp. 1-24, doi: 10.4230/DagSemRep.327 Vasco Brattka, Peter Hertling, Mariko Yasugi, and Ning Zhong (Eds.)

326	Exploration of Large State Spaces (Dagstuhl Seminar 01451)
	(0.2 MB)	Dagstuhl Seminar Report, Number 326, pp. 1-22, doi: 10.4230/DagSemRep.326 Tom L. Dean, Bernhard Nebel, and Moshe Y. Vardi (Eds.)

324	Plan-based Control of Robotic Agents (Dagstuhl Seminar 01431)
	(1 MB)	Dagstuhl Seminar Report, Number 324, pp. 1-17, doi: 10.4230/DagSemRep.324 Michael Beetz, Malik Ghallab, Joachim Hertzberg, and Martha E. Pollack (Eds.)

323	Integration of Algebra and Geometry Software Systems (Dagstuhl Seminar 01421)
	(1 MB)	Dagstuhl Seminar Report, Number 323, pp. 1-22, doi: 10.4230/DagSemRep.323 Michael Joswig, and Nobuki Takayama (Eds.)

322	Proof Theory in Computer Science (Dagstuhl Seminar 01411)
	(1 MB)	Dagstuhl Seminar Report, Number 322, pp. 1-18, doi: 10.4230/DagSemRep.322 Reinhard Kahle, Peter Schröder-Heister, and Robert F. Stärk (Eds.)

321	Specification and Analysis of Secure Cryptographic Protocols (Dagstuhl Seminar 01391)
	(0.6 MB)	Dagstuhl Seminar Report, Number 321, pp. 1-15, doi: 10.4230/DagSemRep.321 David Basin, Grit Denker, Jon Millen, and Gavin Lowe (Eds.)

320	Algorithmic Aspects of Large and Complex Networks (Dagstuhl Seminar 01381)
	(0.2 MB)	Dagstuhl Seminar Report, Number 320, pp. 1-21, doi: 10.4230/DagSemRep.320 Micah Adler, Friedhelm Meyer auf der Heide, and Dorothea Wagner (Eds.)

319	Ubiquitous Computing (Dagstuhl Seminar 01371)
	(0.1 MB)	Dagstuhl Seminar Report, Number 319, pp. 1-10, doi: 10.4230/DagSemRep.319 Gaetano Borriello, Hans Gellersen, and Friedemann Mattern (Eds.)

318	Foundations of Semistructured Data (Dagstuhl Seminar 01361)
	(0.2 MB)	Dagstuhl Seminar Report, Number 318, pp. 1-22, doi: 10.4230/DagSemRep.318 Alberto Mendelzon, Thomas Schwentick, and Dan Suciu (Eds.)

317	Dependent Type Theory meets Practical Programming (Dagstuhl Seminar 01341)
	(0.7 MB)	Dagstuhl Seminar Report, Number 317, pp. 1-13, doi: 10.4230/DagSemRep.317 Gilles Barthe, Peter Dybjer, and Peter Thiemann (Eds.)

316	Parameterized Complexity (Dagstuhl Seminar 01311)
	(0.3 MB)	Dagstuhl Seminar Report, Number 316, pp. 1-28, doi: 10.4230/DagSemRep.316 Rodney G. Downey, Michael R. Fellows, Rolf Niedermeier, and Peter Rossmanith (Eds.)

315	Inference Principles and Model Selection (Dagstuhl Seminar 01301)
	(0.2 MB)	Dagstuhl Seminar Report, Number 315, pp. 1-22, doi: 10.4230/DagSemRep.315 Joachim Buhmann, and Bernhard Schölkopf (Eds.)

314	Link Analysis and Visualization (Dagstuhl Seminar 01271)
	(0.1 MB)	Dagstuhl Seminar Report, Number 314, pp. 1-16, doi: 10.4230/DagSemRep.314 Ulrik Brandes, David Krackhardt, Roberto Tamassia, and Dorothea Wagner (Eds.)

313	Information and Simulation Systems for the Analysis of Gene Regulation and Metabolic Pathways (Dagstuhl Seminar 01261)
	(0.4 MB)	Dagstuhl Seminar Report, Number 313, pp. 1-38, doi: 10.4230/DagSemRep.313 Ralf Hofestädt, John Reinitz, and Nikolay Kolchanov (Eds.)

312	Graph Decompositions and Algorithmic Applications (Dagstuhl Seminar 01251)
	(3 MB)	Dagstuhl Seminar Report, Number 312, pp. 1-20, doi: 10.4230/DagSemRep.312 Andreas Brandstädt, and Jeremy P. Spinrad (Eds.)

311	Stochastic Methods in Rendering (Dagstuhl Seminar 01242)
	(0.1 MB)	Dagstuhl Seminar Report, Number 311, pp. 1-12, doi: 10.4230/DagSemRep.311 Werner Purgathofer, Mateu Sbert, and Pete Shirley (Eds.)

310	Management of Metacomputers (Dagstuhl Seminar 01241)
	(0.2 MB)	Dagstuhl Seminar Report, Number 310, pp. 1-30, doi: 10.4230/DagSemRep.310 Francine D. Berman, Alexander Reinefeld, and Uwe Schwiegelshohn (Eds.)

309	Design and Analysis of Randomized and Approximation Algorithms (Dagstuhl Seminar 01231)
	(0.2 MB)	Dagstuhl Seminar Report, Number 309, pp. 1-28, doi: 10.4230/DagSemRep.309 Martin Dyer, Mark Jerrum, and Marek Karpinski (Eds.)

308	Can Formal Methods Cope with Software-Intensive Systems? (Dagstuhl Seminar 01221)
	(0.2 MB)	Dagstuhl Seminar Report, Number 308, pp. 1-31, doi: 10.4230/DagSemRep.308 Stefan Jähnichen, Jeff Kramer, Michel Lemoine, and Martin Wirsing (Eds.)

307	Software Visualization (Dagstuhl Seminar 01211)
	(0.2 MB)	Dagstuhl Seminar Report, Number 307, pp. 1-35, doi: 10.4230/DagSemRep.307 Stephan Diehl, Peter Eades, and John Stasko (Eds.)

306	Algorithms and Number Theory (Dagstuhl Seminar 01201)
	(0.3 MB)	Dagstuhl Seminar Report, Number 306, pp. 1-24, doi: 10.4230/DagSemRep.306 Joe Buhler, Harald Niederreiter, and Michael E. Post (Eds.)

305	Computational Cartography and Spatial Modelling (Dagstuhl Seminar 01191)
	(3 MB)	Dagstuhl Seminar Report, Number 305, pp. 1-21, doi: 10.4230/DagSemRep.305 Marc van Kreveld, Robert Weibel, and Michael Worboys (Eds.)

304	Product Family Development (Dagstuhl Seminar 01161)
	(0.1 MB)	Dagstuhl Seminar Report, Number 304, pp. 1-19, doi: 10.4230/DagSemRep.304 Klaus Pohl, Günter Böckle, Paul Clements, Henk Obbink, and Dieter Rombach (Eds.)

303	Semantic Foundations of Proof-search (Dagstuhl Seminar 01141)
	(0.2 MB)	Dagstuhl Seminar Report, Number 303, pp. 1-16, doi: 10.4230/DagSemRep.303 David Pym, Eike Ritter, and Thomas Streicher (Eds.)

302	Computational Geometry (Dagstuhl Seminar 01121)
	(0.2 MB)	Dagstuhl Seminar Report, Number 302, pp. 1-27, doi: 10.4230/DagSemRep.302 Rolf Klein, and Günter Rote (Eds.)

301	Methodology of Evaluation in Computational Medical Imaging (Dagstuhl Seminar 01111)
	(2 MB)	Dagstuhl Seminar Report, Number 301, pp. 1-31, doi: 10.4230/DagSemRep.301 Kevin W. Bowyer, Murray H. Loew, H. Siegfried Stiehl, and Max A. Viergever (Eds.)

300	Deduction (Dagstuhl Seminar 01101)
	(2 MB)	Dagstuhl Seminar Report, Number 300, pp. 1-27, doi: 10.4230/DagSemRep.300 Ulrich Furbach, Harald Ganzinger, Ryuzo Hasegawa, and Deepak Kapur (Eds.)

299	Algorithmic Techniques in Physics (Dagstuhl Seminar 01091)
	(0.2 MB)	Dagstuhl Seminar Report, Number 299, pp. 1-21, doi: 10.4230/DagSemRep.299 Michael Jünger, Gerhard Reinelt, Heiko Rieger, and Giovanni Rinaldi (Eds.)

298	Applications of Kleene Algebra (Dagstuhl Seminar 01081)
	(1 MB)	Dagstuhl Seminar Report, Number 298, pp. 1-21, doi: 10.4230/DagSemRep.298 Roland C. Backhouse, Dexter Kozen, and Bernhard Möller (Eds.)

297	Computer Aided Design and Test - BDDs versus SAT (Dagstuhl Seminar 01051)
	(0.3 MB)	Dagstuhl Seminar Report, Number 297, pp. 1-25, doi: 10.4230/DagSemRep.297 Bernd Becker, Masahiro Fujita, Christoph Meinel, and Fabio Somenzi (Eds.)

296	Interoperability of Reengineering Tools (Dagstuhl Seminar 01041)
	(2 MB)	Dagstuhl Seminar Report, Number 296, pp. 1-25, doi: 10.4230/DagSemRep.296 Jürgen Ebert, Kostas Kontogiannis, and John Mylopoulos (Eds.)

295	Semantics in Databases (Dagstuhl Seminar 01021)
	(1 MB)	Dagstuhl Seminar Report, Number 295, pp. 1-24, doi: 10.4230/DagSemRep.295 Leopoldo Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, and Bernhard Thalheim (Eds.)

294	Security through Analysis and Verification (Dagstuhl Seminar 00501)
	(0.2 MB)	Dagstuhl Seminar Report, Number 294, pp. 1-15, doi: 10.4230/DagSemRep.294 Pierpaolo Degano, Roberto Gorrieri, Chris Hankin, Flemming Nielson, and Hanne Riis Nielson (Eds.)

293	Bioinformatics (Dagstuhl Seminar 00491)
	(2 MB)	Dagstuhl Seminar Report, Number 293, pp. 1-29, doi: 10.4230/DagSemRep.293 Douglas Brutlag, Thomas Lengauer, and Martin Vingron (Eds.)

292	Logic, Algebra, and Formal Verification of Concurrent Systems (Dagstuhl Seminar 00481)
	(0.2 MB)	Dagstuhl Seminar Report, Number 292, pp. 1-26, doi: 10.4230/DagSemRep.292 Volker Diekert, Manfred Droste, Anca Muscholl, and Doron Peled (Eds.)

291	Effective Implementation of Object-Oriented Programming Languages (Dagstuhl Seminar 00451)
	(1.0 MB)	Dagstuhl Seminar Report, Number 291, pp. 1-19, doi: 10.4230/DagSemRep.291 Uwe Aßmann, Laurie Hendren, Barbara Ryder, and Frank Tip (Eds.)

290	Self-Stabilization (Dagstuhl Seminar 00431)
	(0.1 MB)	Dagstuhl Seminar Report, Number 290, pp. 1-17, doi: 10.4230/DagSemRep.290 Anish Arora, Joffroy Beauquier, Shlomi Dolev, Ted Herman, and Willem-Paul de Roever (Eds.)

289	Modelling of Sensor-Based Intelligent Robot Systems (Dagstuhl Seminar 00421)
	(0.2 MB)	Dagstuhl Seminar Report, Number 289, pp. 1-24, doi: 10.4230/DagSemRep.289 Horst Bunke, Henrik Iskov Christensen, Gregory Hager, and Rolf Klein (Eds.)

288	Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 00411)
	(0.2 MB)	Dagstuhl Seminar Report, Number 288, pp. 1-36, doi: 10.4230/DagSemRep.288 Hartmut Ehrig, Gregor Engels, Fernando Orejas, and Martin Wirsing (Eds.)

287	Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 00391)
	(0.3 MB)	Dagstuhl Seminar Report, Number 287, pp. 1-15, doi: 10.4230/DagSemRep.287 Stefan Heinrich, Sergei Pereverzev, Joseph Traub, and Grzegorz Wasilkowski (Eds.)

286	Code Optimisation: Trends, Challenges and Perspectives (Dagstuhl Seminar 00381)
	(0.2 MB)	Dagstuhl Seminar Report, Number 286, pp. 1-30, doi: 10.4230/DagSemRep.286 Carole Dulong, Rajiv Gupta, Robert Kennedy, Jens Knoop, and Jim Pierce (Eds.)

285	Experimental Algorithmics (Dagstuhl Seminar 00371)
	(0.3 MB)	Dagstuhl Seminar Report, Number 285, pp. 1-38, doi: 10.4230/DagSemRep.285 Rudolf Fleischer, Bernard Moret, and Erik Meineche Schmidt (Eds.)

284	High Performance Computing and Java (Dagstuhl Seminar 00341)
	(2 MB)	Dagstuhl Seminar Report, Number 284, pp. 1-27, doi: 10.4230/DagSemRep.284 Susan Flynn-Hummer, Vladimi Getov, Francois Irigoin, and Christian Lengauer (Eds.)

283	Intelligent Data Analysis (Dagstuhl Seminar 00331)
	(0.2 MB)	Dagstuhl Seminar Report, Number 283, pp. 1-24, doi: 10.4230/DagSemRep.283 Michael R. Berthold, Rudolf Kruse, Xiahui Liu, and Helen Szczerbicka (Eds.)

282	Logics for Emerging Applications of Databases (Dagstuhl Seminar 00291)
	(3 MB)	Dagstuhl Seminar Report, Number 282, pp. 1-40, doi: 10.4230/DagSemRep.282 Jan Chomicki, Ron van der Meyden, and Gunter Saake (Eds.)

281	Knowledge Management: An Interdisciplinary Approach (Dagstuhl Seminar 00281)
	(0.3 MB)	Dagstuhl Seminar Report, Number 281, pp. 1-19, doi: 10.4230/DagSemRep.281 Matthias Jarke, Dan E. O'Leary, and Rudi Studer (Eds.)

280	Stochastic and Dynamic Real-Time Systems (Dagstuhl Seminar 00271)
	(0.4 MB)	Dagstuhl Seminar Report, Number 280, pp. 1-27, doi: 10.4230/DagSemRep.280 Günter Hommel, and Lonnie R. Welch (Eds.)

279	Dynamically Reconfigurable Architectures (Dagstuhl Seminar 00261)
	(2 MB)	Dagstuhl Seminar Report, Number 279, pp. 1-22, doi: 10.4230/DagSemRep.279 Gordon Brebner, Karl-Heinz Brenner, Hossam El Gindy, and Hartmut Schmeck (Eds.)

278	Image Synthesis and Interactive 3D Graphics (Dagstuhl Seminar 00251)
	(0.2 MB)	Dagstuhl Seminar Report, Number 278, pp. 1-34, doi: 10.4230/DagSemRep.278 Michael Cohen, Heinrich Müller, Claude Puech, and Hans-Peter Seidel (Eds.)

277	Multimedia for Multimedia: Learning and Teaching at the University in the Next Decade (Dagstuhl Seminar 00241)
	(0.1 MB)	Dagstuhl Seminar Report, Number 277, pp. 1-26, doi: 10.4230/DagSemRep.277 Wolfgang Effelsberg, Edward Fox, Nicolas D. Georganas, and Ralf Steinmetz (Eds.)

276	Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization (Dagstuhl Seminar 00231)
	(0.3 MB)	Dagstuhl Seminar Report, Number 276, pp. 1-27, doi: 10.4230/DagSemRep.276 Ralph Kopperman, Mike Smyth, and Dieter Spreen (Eds.)

274	Quality of Service in Networks and Distributed Systems (Dagstuhl Seminar 00191)
	(0.1 MB)	Dagstuhl Seminar Report, Number 274, pp. 1-19, doi: 10.4230/DagSemRep.274 Andrew Campbell, Domenico Ferrari, Stefan Fischer, and Lars Wolf (Eds.)

273	Probabilistic Methods in Verification (Dagstuhl Seminar 00181)
	(0.2 MB)	Dagstuhl Seminar Report, Number 273, pp. 1-30, doi: 10.4230/DagSemRep.273 Marta Kwiatkowska, Ulrich Herzog, Christoph Meinel, and Moshe Vardi (Eds.)

272	Advanced Stochastic Modelling in Telecommunications (Dagstuhl Seminar 00151)
	(0.2 MB)	Dagstuhl Seminar Report, Number 272, pp. 1-20, doi: 10.4230/DagSemRep.272 Ulrich Herzog, Guy Latouche, Vaidyanathan Ramaswami, and Phuoc Tran-Gia (Eds.)

271	Verification of Infinite-state Systems (Dagstuhl Seminar 00141)
	(0.2 MB)	Dagstuhl Seminar Report, Number 271, pp. 1-24, doi: 10.4230/DagSemRep.271 Ahmed Bouajjani, and Javier Esparza (Eds.)

270	Validation of Dependable Behavior of Safety- and Mission-Critical Computing Systems (Dagstuhl Seminar 00131)
	(0.1 MB)	Dagstuhl Seminar Report, Number 270, pp. 1-21, doi: 10.4230/DagSemRep.270 Andrea Bondavalli, Mario Dal Cin, Klaus Echtle, and Erik Maehle (Eds.)

269	Semantics for the Web (Dagstuhl Seminar 00121)
	(0.2 MB)	Dagstuhl Seminar Report, Number 269, pp. 1-19, doi: 10.4230/DagSemRep.269 Dieter Fensel, Jim Hendler, Henry Lieberman, and Wolfgang Wahlster (Eds.)

268	Multi-Image Search, Filtering, Reasoning and Visualisation (Dagstuhl Seminar 00111)
	(1 MB)	Dagstuhl Seminar Report, Number 268, pp. 1-35, doi: 10.4230/DagSemRep.268 Alfred Bruckstein, Thomas Huang, Reinhard Klette, and SongDe Ma (Eds.)

267	Data Structures (Dagstuhl Seminar 00091)
	(0.2 MB)	Dagstuhl Seminar Report, Number 267, pp. 1-22, doi: 10.4230/DagSemRep.267 Susanne Albers, Ian Munro, and Peter Widmayer (Eds.)

266	Specification of Distributed Information Systems (Dagstuhl Seminar 00081)
	(0.2 MB)	Dagstuhl Seminar Report, Number 266, pp. 1-32, doi: 10.4230/DagSemRep.266 Hans-Dieter Ehrich, Ursula Goltz, José Meseguer, and Amir Pnueli (Eds.)

265	Theory of Evolutionary Algorithms (Dagstuhl Seminar 00071)
	(0.2 MB)	Dagstuhl Seminar Report, Number 265, pp. 1-24, doi: 10.4230/DagSemRep.265 Hans-Georg Beyer, Kenneth De Jong, David B. Fogel, and Ingo Wegener (Eds.)

264	Informatics 10 Years Back, 10 Years Ahead (Dagstuhl Seminar 00352)
	(17 MB)	Dagstuhl Seminar Report, Number 264, pp. 1-56, doi: 10.4230/DagSemRep.264 Reinhard Wilhelm (Ed.)

263	Linear, Semidefinite Programming and Randomization Methods for Combinatorial Optimization Problems (Dagstuhl Seminar 00041)
	(0.2 MB)	Dagstuhl Seminar Report, Number 263, pp. 1-22, doi: 10.4230/DagSemRep.263 Klaus Jansen, Jose Rolim, and Madhu Sudan (Eds.)

262	Constraint Programming and Integer Programming (Dagstuhl Seminar 00031)
	(2 MB)	Dagstuhl Seminar Report, Number 262, pp. 1-20, doi: 10.4230/DagSemRep.262 Krysztof Apt, Michael Jünger, Pascal van Hentenryck, and Laurence A. Wolsey (Eds.)

261	Content-Based Image and Video Retrieval (Dagstuhl Seminar 99491)
	(0.2 MB)	Dagstuhl Seminar Report, Number 261, pp. 1-15, doi: 10.4230/DagSemRep.261 Hans Burkhardt, Hans-Peter Kriegel, and Remco Veltkamp (Eds.)

260	Symbolic-algebraic Methods and Verification Methods - Theory and Applications (Dagstuhl Seminar 99471)
	(0.3 MB)	Dagstuhl Seminar Report, Number 260, pp. 1-34, doi: 10.4230/DagSemRep.260 Götz Alefeld, Jiri Rohn, Siegfried M. Rump, and Tesuro Yamamoto (Eds.)

259	Computability and Complexity in Analysis (Dagstuhl Seminar 99461)
	(0.2 MB)	Dagstuhl Seminar Report, Number 259, pp. 1-20, doi: 10.4230/DagSemRep.259 Ker-I Ko, Anil Nerode, and Klaus Weihrauch (Eds.)

258	Rigorous Analysis and Design for Software Intensive Systems (Dagstuhl Seminar 99451)
	(0.2 MB)	Dagstuhl Seminar Report, Number 258, pp. 1-31, doi: 10.4230/DagSemRep.258 Stephan Jähnichen, Michel Lemoine, Tom Maibaum, and Martin Wirsing (Eds.)

257	Complexity of Boolean Functions (Dagstuhl Seminar 99441)
	(8 MB)	Dagstuhl Seminar Report, Number 257, pp. 1-30, doi: 10.4230/DagSemRep.257 D. M. Barrington, Rüdiger Reischuk, and Ingo Wegener (Eds.)

256	Scheduling in Computer and Manufacturing Systems (Dagstuhl Seminar 99431)
	(1 MB)	Dagstuhl Seminar Report, Number 256, pp. 1-19, doi: 10.4230/DagSemRep.256 Jacek Blazewicz, Klaus H. Ecker, Ed G. Coffman Jr., and Gerd Finke (Eds.)

254	Temporal Logics for Distributed Systems - Paradigms and Algorithms (Dagstuhl Seminar 99411)
	(0.2 MB)	Dagstuhl Seminar Report, Number 254, pp. 1-27, doi: 10.4230/DagSemRep.254 Edmund M. Clarke, Ursula Goltz, Peter Niebert, and Wojciech Penczek (Eds.)

253	Finite Model Theory, Databases, and Computer-Aided Verification (Dagstuhl Seminar 99401)
	(0.2 MB)	Dagstuhl Seminar Report, Number 253, pp. 1-25, doi: 10.4230/DagSemRep.253 Georg Gottlob, Erich Grädel, Moshe Vardi, and Victor Vianu (Eds.)

252	Computational Cartography (Dagstuhl Seminar 99381)
	(0.4 MB)	Dagstuhl Seminar Report, Number 252, pp. 1-35, doi: 10.4230/DagSemRep.252 Martien Molenaar, Marc van Kreveld, Frank Wagner, and Rob Weibel (Eds.)

251	Declarative Data Access on the Web (Dagstuhl Seminar 99371)
	(0.2 MB)	Dagstuhl Seminar Report, Number 251, pp. 1-26, doi: 10.4230/DagSemRep.251 Nicolas Spyratos, Krishnamurthy Vidyasankar, and Gottfried Vossen (Eds.)

250	Social Thinking - Software Practice. Approaches Relating Software Development, Work, and Organisational Change (Dagstuhl Seminar 99361)
	(0.7 MB)	Dagstuhl Seminar Report, Number 250, pp. 1-81, doi: 10.4230/DagSemRep.250 Christiane Floyd, Yvonne Dittrich, and Ralf Klischewski (Eds.)

249	Multimedia Database Support for Digital Libraries (Dagstuhl Seminar 99351)
	(0.2 MB)	Dagstuhl Seminar Report, Number 249, pp. 1-27, doi: 10.4230/DagSemRep.249 Elisa Bertino, Andreas Heuer, M. Tamer Özsu, and Gunter Saake (Eds.)

248	Linear Logic and Applications (Dagstuhl Seminar 99341)
	(0.2 MB)	Dagstuhl Seminar Report, Number 248, pp. 1-21, doi: 10.4230/DagSemRep.248 Valeria de Paiva, Josef von Genabith, Eike Ritter, and Richard Crouch (Eds.)

247	Astromomie und Informatik (Dagstuhl Seminar 99321)
	(0.1 MB)	Dagstuhl Seminar Report, Number 247, pp. 1-9, doi: 10.4230/DagSemRep.247 Walter Oberschelp, Wilhelm Seggewiss, and Reinhard Wilhelm (Eds.)

246	Parallel and Distributed Algorithms (Dagstuhl Seminar 99291)
	(0.2 MB)	Dagstuhl Seminar Report, Number 246, pp. 1-22, doi: 10.4230/DagSemRep.246 Bruce Maggs, Friedhelm Meyer auf der Heide, and Ernst W. Mayr (Eds.)

245	Agent Oriented Approaches in Distributed Modeling and Simulation: Challenges and Methodologies (Dagstuhl Seminar 99271)
	(0.3 MB)	Dagstuhl Seminar Report, Number 245, pp. 1-42, doi: 10.4230/DagSemRep.245 Paul Fishwick, Adelinde Uhrmacher, and Bernard GF. Zeigler (Eds.)

244	Foundations for Information Integration (Dagstuhl Seminar 99261)
	(0.1 MB)	Dagstuhl Seminar Report, Number 244, pp. 1-15, doi: 10.4230/DagSemRep.244 Serge Abiteboul, Dana Florescu, Alon Levy, and Guido Moerkotte (Eds.)

243	Competitive Algorithms (Dagstuhl Seminar 99251)
	(0.3 MB)	Dagstuhl Seminar Report, Number 243, pp. 1-25, doi: 10.4230/DagSemRep.243 Amos Fiat, Anna Karlin, and Gerhard Woeginger (Eds.)

242	Requirements Capture, Documentation and Validation (Dagstuhl Seminar 99241)
	(0.2 MB)	Dagstuhl Seminar Report, Number 242, pp. 1-31, doi: 10.4230/DagSemRep.242 Egon Börger, Bärbeö Hörger, David Parnas, and Dieter Rombach (Eds.)

241	Graph Decompositions and Algorithmic Applications (Dagstuhl Seminar 99231)
	(0.2 MB)	Dagstuhl Seminar Report, Number 241, pp. 1-20, doi: 10.4230/DagSemRep.241 Andreas Brandstädt, Stephan Olariu, and Jeremy P. Spinrad (Eds.)

240	Geometric Modelling (Dagstuhl Seminar 99201)
	(0.2 MB)	Dagstuhl Seminar Report, Number 240, pp. 1-26, doi: 10.4230/DagSemRep.240 Hanspeter Bieri, Guido Brunnet, and Gerald Farin (Eds.)

239	Mobile Multimedia Communication - Systems and Networks (Dagstuhl Seminar 99061)
	(2 MB)	Dagstuhl Seminar Report, Number 239, pp. 1-16, doi: 10.4230/DagSemRep.239 Andrew Campbell, Ernst Rolf, Stephen Pink, and Martina Zitterbart (Eds.)

238	High Level Parallel Programming: Applicability, Analysis and Performance (Dagstuhl Seminar 99171)
	(0.2 MB)	Dagstuhl Seminar Report, Number 238, pp. 1-23, doi: 10.4230/DagSemRep.238 Murray Cole, Sergei Gorlatch, Jan Prins, and David Skillcorn (Eds.)

237	Instruction-Level Parallelism and Parallelizing Compilation (Dagstuhl Seminar 99161)
	(0.2 MB)	Dagstuhl Seminar Report, Number 237, pp. 1-30, doi: 10.4230/DagSemRep.237 D. K. Arvind, Kemal Ebcioglu, Christian Lengauer, Keshav Pingali, and Robert S. Schreiber (Eds.)

236	Program Analysis (Dagstuhl Seminar 99151)
	(0.3 MB)	Dagstuhl Seminar Report, Number 236, pp. 1-31, doi: 10.4230/DagSemRep.236 Riis Nielson Hanne, and Mooly Sagiv (Eds.)

235	Unsupervised Learning (Dagstuhl Seminar 99121)
	(0.2 MB)	Dagstuhl Seminar Report, Number 235, pp. 1-27, doi: 10.4230/DagSemRep.235 Joachim M. Buhmann, Wolfgang Maass, Helge Ritter, and Naftali Tishby (Eds.)

234	Systems Integration (Dagstuhl Seminar 99111)
	(0.2 MB)	Dagstuhl Seminar Report, Number 234, pp. 1-35, doi: 10.4230/DagSemRep.234 Paolo Ciancarini, Stefan Conrad, and Wilhelm Hasselbrin (Eds.)

233	Computational Geometry (Dagstuhl Seminar 99102)
	(0.2 MB)	Dagstuhl Seminar Report, Number 233, pp. 1-27, doi: 10.4230/DagSemRep.233 Michael Goodrich, Rolf Klein, and Raimund Seidel (Eds.)

232	Deduction (Dagstuhl Seminar 99091)
	(0.2 MB)	Dagstuhl Seminar Report, Number 232, pp. 1-24, doi: 10.4230/DagSemRep.232 Ulrich Furbach, Harald Ganzinger, Ryuzo Hasegawa, and Deepak Kapur (Eds.)

231	Component-based Programming under Different Paradigms (Dagstuhl Seminar 99081)
	(0.2 MB)	Dagstuhl Seminar Report, Number 231, pp. 1-31, doi: 10.4230/DagSemRep.231 Philip Wadler, and Karsten Weihe (Eds.)

230	Software Engineering Research and Education: Seeking a new Agenda (Dagstuhl Seminar 99071)
	(0.3 MB)	Dagstuhl Seminar Report, Number 230, pp. 1-56, doi: 10.4230/DagSemRep.230 Ernst Denert, Daniel Hoffman, Jochen Ludewig, and David L. Parnas (Eds.)

229	Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 99041)
	(0.1 MB)	Dagstuhl Seminar Report, Number 229, pp. 1-16, doi: 10.4230/DagSemRep.229 Bernd Becker, Christoph Meinel, Shin-Ichi Minato, and Fabio Somenzi (Eds.)

228	Integrating Spatial and Temporal Databases (Dagstuhl Seminar 98471)
	(0.3 MB)	Dagstuhl Seminar Report, Number 228, pp. 1-43, doi: 10.4230/DagSemRep.228 Oliver Günther, Timos Sellis, and Babis Theodoulidis (Eds.)

227	CAD-Tools and Methods for Systems Development (Dagstuhl Seminar 98461)
	(0.2 MB)	Dagstuhl Seminar Report, Number 227, pp. 1-37, doi: 10.4230/DagSemRep.227 Pere Brunet, Chris Hoffmann, and Dieter Roller (Eds.)

226	Adaptation and Evolution in Embedded Information Systems (Dagstuhl Seminar 98441)
	(0.2 MB)	Dagstuhl Seminar Report, Number 226, pp. 1-22, doi: 10.4230/DagSemRep.226 Hubertus Franke, Bernd Kleinjohann, and János Sztipanovits (Eds.)

225	Algorithms and Number Theory (Dagstuhl Seminar 98431)
	(0.3 MB)	Dagstuhl Seminar Report, Number 225, pp. 1-27, doi: 10.4230/DagSemRep.225 Harald Niederreiter, Andrew Odlyzko, and Michael E. Pohst (Eds.)

224	Modelling and Planning for Sensor-Based Intelligent Robot Systems (Dagstuhl Seminar 98391)
	(0.1 MB)	Dagstuhl Seminar Report, Number 224, pp. 1-25, doi: 10.4230/DagSemRep.224 Robert C. Bolles, Horst Bunke, Henrik I. Christensen, and Hartmut Noltemeier (Eds.)

223	Test Automation for Reactive Systems - Theorie and Practice (Dagstuhl Seminar 98361)
	(0.2 MB)	Dagstuhl Seminar Report, Number 223, pp. 1-23, doi: 10.4230/DagSemRep.223 Ed Brinksma, Jan Peleska, and Michael Siegel (Eds.)

222	Architectural and Arithmetic Support for Multimedia (Dagstuhl Seminar 98351)
	(0.2 MB)	Dagstuhl Seminar Report, Number 222, pp. 1-22, doi: 10.4230/DagSemRep.222 Guy Even, Peter Kornerup, and Wolfgang Paul (Eds.)

221	Tiling for Optimal Resource Utilization (Dagstuhl Seminar 98341)
	(0.2 MB)	Dagstuhl Seminar Report, Number 221, pp. 1-17, doi: 10.4230/DagSemRep.221 Jeanne Ferrante, Wolfgang K. Giloi, Sanjay Rajopadhye, and Lothar Thiele (Eds.)

220	Self-Stabilization (Dagstuhl Seminar 98331)
	(0.1 MB)	Dagstuhl Seminar Report, Number 220, pp. 1-17, doi: 10.4230/DagSemRep.220 Anish Arora, Shlomi Dolev, and Willem-Paul de Roever (Eds.)

219	Graph Algorithms and Applications (Dagstuhl Seminar 98301)
	(0.3 MB)	Dagstuhl Seminar Report, Number 219, pp. 1-38, doi: 10.4230/DagSemRep.219 Takao Nishizeki, Roberto Tamassia, and Dorothea Wagner (Eds.)

218	Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 98281)
	(0.3 MB)	Dagstuhl Seminar Report, Number 218, pp. 1-40, doi: 10.4230/DagSemRep.218 Hartmut Ehrig, Gergor Engels, Fernando Orejas, and Martin Wirsing (Eds.)

217	Petri Nets and Business Process Management (Dagstuhl Seminar 98271)
	(0.4 MB)	Dagstuhl Seminar Report, Number 217, pp. 1-40, doi: 10.4230/DagSemRep.217 Jörg Desel, Andreas Oberweis, Wolfgang Reisig, and Grzegorz Rosenberg (Eds.)

216	The Semantic Challenge of Object-Oriented Programming (Dagstuhl Seminar 98261)
	(0.1 MB)	Dagstuhl Seminar Report, Number 216, pp. 1-14, doi: 10.4230/DagSemRep.216 Luca Cardelli, Achim Jung, Peter O'Hearn, and Jens Palsberg (Eds.)

215	Modelling and Simulation of Gene and Cell Regulation and Metabolic Pathways (Dagstuhl Seminar 98251)
	(0.4 MB)	Dagstuhl Seminar Report, Number 215, pp. 1-60, doi: 10.4230/DagSemRep.215 Julio Collado-Vides, Ralf Hofestädt, Michael Mavrovouniotis, and Gerhard Michal (Eds.)

214	Real Computation and Complexity (Dagstuhl Seminar 98241)
	(0.2 MB)	Dagstuhl Seminar Report, Number 214, pp. 1-15, doi: 10.4230/DagSemRep.214 Felipe Cucker, Thomas Lickteig, Marie-Francoise Roy, and Michael Shub (Eds.)

213	Programs: Improvements, Complexity, and Meanings (Dagstuhl Seminar 98231)
	(0.1 MB)	Dagstuhl Seminar Report, Number 213, pp. 1-15, doi: 10.4230/DagSemRep.213 Neil D. Jones, Oege de Moor, and James S. Royer (Eds.)

212	Hierarchical Methods in Computer Graphics (Dagstuhl Seminar 98211)
	(0.2 MB)	Dagstuhl Seminar Report, Number 212, pp. 1-23, doi: 10.4230/DagSemRep.212 Markus Gross, Heinrich Müller, Peter Schröder, and Hans-Peter Seidel (Eds.)

211	Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 98201)
	(0.3 MB)	Dagstuhl Seminar Report, Number 211, pp. 1-25, doi: 10.4230/DagSemRep.211 Peter Mathé, Klaus Ritter, and Joseph F. Traub (Eds.)

210	Quantum Algorithms (Dagstuhl Seminar 98191)
	(0.2 MB)	Dagstuhl Seminar Report, Number 210, pp. 1-21, doi: 10.4230/DagSemRep.210 Thomas Beth, and Gilles Brassard (Eds.)

209	Domain Theory and Its Applications (Dagstuhl Seminar 98181)
	(0.2 MB)	Dagstuhl Seminar Report, Number 209, pp. 1-18, doi: 10.4230/DagSemRep.209 Stephen Brookes, Manfred Droste, and Michael Mislove (Eds.)

208	Generic Programming (Dagstuhl Seminar 98171)
	(0.3 MB)	Dagstuhl Seminar Report, Number 208, pp. 1-30, doi: 10.4230/DagSemRep.208 Mehdi Jazayeri, Rüdiger Loos, David Musser, and Alex Stepanov (Eds.)

207	Programs with Recursively Defined Data Structures (Dagstuhl Seminar 98161)
	(0.2 MB)	Dagstuhl Seminar Report, Number 207, pp. 1-24, doi: 10.4230/DagSemRep.207 Michael I. Schwartzbach, Mooly Sagiv, Karsten Weihe, and Kurt Mehlhorn (Eds.)

206	Advanced Stochastic Modelling Applied to Telecommunication-Networks and Distributed Systems (Dagstuhl Seminar 98131)
	(0.1 MB)	Dagstuhl Seminar Report, Number 206, pp. 1-18, doi: 10.4230/DagSemRep.206 Ulrich Herzog, Guy Latouche, Vaidyanat Ramaswami, and Phuoc Tran-Gia (Eds.)

205	Evaluation and Validation of Computer Vision Algorithms (Dagstuhl Seminar 98111)
	(0.2 MB)	Dagstuhl Seminar Report, Number 205, pp. 1-33, doi: 10.4230/DagSemRep.205 Robert M. Haralick, Reinhard Klette, M. Siegfried Stiehl, and Max A. Viergever (Eds.)

204	Program Comprehension and Software Reengineering (Dagstuhl Seminar 98101)
	(0.3 MB)	Dagstuhl Seminar Report, Number 204, pp. 1-24, doi: 10.4230/DagSemRep.204 Hausi Müller, Thomas Reps, and Gergor Snelting (Eds.)

203	Continuous Engineering for Industrial Scale Software Systems (Dagstuhl Seminar 98092)
	(0.2 MB)	Dagstuhl Seminar Report, Number 203, pp. 1-28, doi: 10.4230/DagSemRep.203 Hausi Müller, and Herbert Weber (Eds.)

202	Data Structures (Dagstuhl Seminar 98091)
	(0.2 MB)	Dagstuhl Seminar Report, Number 202, pp. 1-25, doi: 10.4230/DagSemRep.202 Ian Munro, Stefan Näher, and Peter Widmayer (Eds.)

201	Dynamically Reconfigurable Architectures (Dagstuhl Seminar 98081)
	(0.1 MB)	Dagstuhl Seminar Report, Number 201, pp. 1-28, doi: 10.4230/DagSemRep.201 Karl-Heinz Brenner, Hossam ElGindy, Hartmut Schmeck, and Heiko Schröder (Eds.)

200	Information Systems as Reactive Systems (Dagstuhl Seminar 98071)
	(0.2 MB)	Dagstuhl Seminar Report, Number 200, pp. 1-31, doi: 10.4230/DagSemRep.200 Hand-Dieter Ehrich, Ursula Goltz, and José Meseguer (Eds.)

199	Scenario-Management (Dagstuhl Seminar 98061)
	(0.8 MB)	Dagstuhl Seminar Report, Number 199, pp. 1-55, doi: 10.4230/DagSemRep.199 Matthias Jarke, X. Tung Bui, and John M. Carroll (Eds.)

198	New Media in (Computer) Science Teaching at University Level (Dagstuhl Seminar 98051)
	(0.1 MB)	Dagstuhl Seminar Report, Number 198, pp. 1-26, doi: 10.4230/DagSemRep.198 Peter A. Gloor, Robert D. Harding, and Thomas Ottmann (Eds.)

197	Algorithmic Techniques in Physics (Dagstuhl Seminar 9751)
	(0.2 MB)	Dagstuhl Seminar Report, Number 197, pp. 1-24, doi: 10.4230/DagSemRep.197 Michael Jünger, Gerhard Reinelt, Heiko Rieger, and Giovanni Rinaldi (Eds.)

196	Knowledge-Based Computer Vision (Dagstuhl Seminar 9750)
	(0.4 MB)	Dagstuhl Seminar Report, Number 196, pp. 1-61, doi: 10.4230/DagSemRep.196 Henrik I. Christensen, David Hogg, and Bernd Neumann (Eds.)

195	Parallel Processing in the Engineering Sciences - Methods and Applications (Dagstuhl Seminar 9745)
	(0.2 MB)	Dagstuhl Seminar Report, Number 195, pp. 1-22, doi: 10.4230/DagSemRep.195 Götz Alefeld, O. Mahrenholtz, and Roland Vollmar (Eds.)

194	Multiple Valued Logic (Dagstuhl Seminar 9744)
	(0.3 MB)	Dagstuhl Seminar Report, Number 194, pp. 1-29, doi: 10.4230/DagSemRep.194 Daniele Mundici, Peter H. Schmitt, and Lotfi Zadeh (Eds.)

193	Applications of Tree Automata in Rewriting, Logic and Programming (Dagstuhl Seminar 9743)
	(0.3 MB)	Dagstuhl Seminar Report, Number 193, pp. 1-34, doi: 10.4230/DagSemRep.193 Hubert Comon, Dexter Kozen, Helmut Seidl, and Mosche Y. Vardi (Eds.)

192	Mobile Software-Agents (Dagstuhl Seminar 9742)
	(0.2 MB)	Dagstuhl Seminar Report, Number 192, pp. 1-24, doi: 10.4230/DagSemRep.192 Friedemann Mattern, Kurt Rothermel, Fred B. Schneider, and Brent Welch (Eds.)

190	Cryptography (Dagstuhl Seminar 9739)
	(1 MB)	Dagstuhl Seminar Report, Number 190, pp. 1-15, doi: 10.4230/DagSemRep.190 Andrew Odlyzko, Claus Peter Schnorr, Adi Shamir, and Jacques Stern (Eds.)

189	Performance Evaluation - Origins and Directions (Dagstuhl Seminar 9738)
	(0.2 MB)	Dagstuhl Seminar Report, Number 189, pp. 1-21, doi: 10.4230/DagSemRep.189 Günter Haring, Christoph Lindemann, and Martin Reiser (Eds.)

188	Parallel and Distributed Algorithms (Dagstuhl Seminar 9737)
	(0.3 MB)	Dagstuhl Seminar Report, Number 188, pp. 1-27, doi: 10.4230/DagSemRep.188 Ernst W. Mayr, Friedhelm Meyer auf der Heide, and Larry Rudolph (Eds.)

187	Combinatorial Approximation Algorithms (Dagstuhl Seminar 9734)
	(9 MB)	Dagstuhl Seminar Report, Number 187, pp. 1-33, doi: 10.4230/DagSemRep.187 Yuval Rabani, David Shmoys, and Gerhard Woeginger (Eds.)

186	Parallel Scheduling (Dagstuhl Seminar 9729)
	(0.0 MB)	Dagstuhl Seminar Report, Number 186, pp. 1-1, doi: 10.4230/DagSemRep.186 Ed Coffman, Ernst W. Mayr, and Uwe Schwiegelshohn (Eds.)

185	`Average-Case'-Analysis of Algorithms (Dagstuhl Seminar 9728)
	(0.2 MB)	Dagstuhl Seminar Report, Number 185, pp. 1-23, doi: 10.4230/DagSemRep.185 Philippe Flajolet, Rainer Kemp, Hosam M. Mahmoud, and Helmut Prodinger (Eds.)

184	Multimedia Synchronization and Resource Management in Advanced Multimedia Environments (Dagstuhl Seminar 9727)
	(0.0 MB)	Dagstuhl Seminar Report, Number 184, pp. 1-14, doi: 10.4230/DagSemRep.184 Nicolas Georganas, Thomas C. Little, Kurt Rothermel, and Ralf Steinmetz (Eds.)

183	Temporal Databases (Dagstuhl Seminar 9726)
	(0.2 MB)	Dagstuhl Seminar Report, Number 183, pp. 1-38, doi: 10.4230/DagSemRep.183 Opher Etzion, Sushil Jajodia, and Suryanarayana Sripada (Eds.)

182	High-Performance Networks for Multimedia Applications (Dagstuhl Seminar 9725)
	(0.1 MB)	Dagstuhl Seminar Report, Number 182, pp. 1-16, doi: 10.4230/DagSemRep.182 André Danthine, Wolfgang Effelsberg, Domenico Ferrari, and Otto Spaniol (Eds.)

181	Scientific Visualization (Dagstuhl Seminar 9724)
	(0.2 MB)	Dagstuhl Seminar Report, Number 181, pp. 1-30, doi: 10.4230/DagSemRep.181 Hans Hagen, Gregory Nielson, and Frits Post (Eds.)

180	Scheduling in Computer and Manufacturing Systems (Dagstuhl Seminar 9723)
	(0.2 MB)	Dagstuhl Seminar Report, Number 180, pp. 1-26, doi: 10.4230/DagSemRep.180 Jacek Blazewicz, Klaus H. Ecker, Wieslaw Kubiak, and Denis Trystram (Eds.)

179	Computational Aspects of Commutative Algebra and Algebraic Geometry (Dagstuhl Seminar 9722)
	(0.2 MB)	Dagstuhl Seminar Report, Number 179, pp. 1-15, doi: 10.4230/DagSemRep.179 Eberhard Becker, Wolfram Decker, David Eisenbud, Hendrik W. Lenstra, and Barry Trager (Eds.)

178	Practical Methods for Code Documentation and Inspection (Dagstuhl Seminar 9720)
	(0.1 MB)	Dagstuhl Seminar Report, Number 178, pp. 1-20, doi: 10.4230/DagSemRep.178 Egon Börger, Paul Joannou, and Dave Parnas (Eds.)

177	Social Science Microsimulation: Tools for Modeling, Parameter Optimization, and Sensitivity Analysis (Dagstuhl Seminar 9719)
	(0.2 MB)	Dagstuhl Seminar Report, Number 177, pp. 1-30, doi: 10.4230/DagSemRep.177 G. Nigel Gilbert, Ulrich Mueller, Klaus G. Troitzsch, and Ramzi Suleiman (Eds.)

176	Computability and Complexity in Analysis (Dagstuhl Seminar 9717)
	(0.2 MB)	Dagstuhl Seminar Report, Number 176, pp. 1-22, doi: 10.4230/DagSemRep.176 Ker-I Ko, Anil Nerode, and Klaus Weihrauch (Eds.)

175	Evaluation of Multimedia Information Retrieval (Dagstuhl Seminar 9716)
	(0.0 MB)	Dagstuhl Seminar Report, Number 175, pp. 1-14, doi: 10.4230/DagSemRep.175 Norbert Fuhr, Alan F. Smeaton, and Keith van Rijsbergen (Eds.)

174	Object-Oriented Software Development (Dagstuhl Seminar 9715)
	(0.2 MB)	Dagstuhl Seminar Report, Number 174, pp. 1-35, doi: 10.4230/DagSemRep.174 Hans-Dieter Erich, Yulin Feng, David Kung, and Grit Denker (Eds.)

173	Software Engineering and Database Technology (Dagstuhl Seminar 9712)
	(0.0 MB)	Dagstuhl Seminar Report, Number 173, pp. 1-12, doi: 10.4230/DagSemRep.173 Naser S. Barghouti, Klaus Dittrich, David Maier, and Wilhelm Schäfer (Eds.)

172	Complexity of Boolean Functions (Dagstuhl Seminar 9711)
	(0.3 MB)	Dagstuhl Seminar Report, Number 172, pp. 1-26, doi: 10.4230/DagSemRep.172 David Mix Barrington, Noam Nisan, Rüdiger Reischuk, and Ingo Wegener (Eds.)

171	Logic for System Engineering (Dagstuhl Seminar 9710)
	(0.2 MB)	Dagstuhl Seminar Report, Number 171, pp. 1-34, doi: 10.4230/DagSemRep.171 Stefan Jähnichen, Jacques Loeckx, and Martin Wirsing (Eds.)

170	Deduction (Dagstuhl Seminar 9709)
	(0.2 MB)	Dagstuhl Seminar Report, Number 170, pp. 1-23, doi: 10.4230/DagSemRep.170 Wolfgang Bibel, Ulrich Furbach, Ryuzo Hasegawa, and Mark Stickel (Eds.)

169	Theory and Practice of Higher-Order Parallel Programming (Dagstuhl Seminar 9708)
	(0.2 MB)	Dagstuhl Seminar Report, Number 169, pp. 1-30, doi: 10.4230/DagSemRep.169 Murray Cole, Sergei Gorlatch, Christian Lengauer, and David Skillicorn (Eds.)

168	Computational Geometry (Dagstuhl Seminar 9707)
	(0.3 MB)	Dagstuhl Seminar Report, Number 168, pp. 1-34, doi: 10.4230/DagSemRep.168 Rolf Klein, Raimund Seidel, and Seth Teller (Eds.)

167	Standards for Dialogue Coding in Natural Language Processing (Dagstuhl Seminar 9706)
	(3 MB)	Dagstuhl Seminar Report, Number 167, pp. 1-41, doi: 10.4230/DagSemRep.167 Nils Dahlbäck, Norbert Reithinger, and Marilyn Walker (Eds.)

166	Computer Aided Design and Test Decision Diagrams - Concepts and Applications (Dagstuhl Seminar 9705)
	(0.2 MB)	Dagstuhl Seminar Report, Number 166, pp. 1-18, doi: 10.4230/DagSemRep.166 Bernd Becker, Randy Bryant, Masahiro Fujita, and Christoph Meinel (Eds.)

165	Discrete Tomography: Algorithms and Complexity (Dagstuhl Seminar 97042)
	(0.2 MB)	Dagstuhl Seminar Report, Number 165, pp. 1-17, doi: 10.4230/DagSemRep.165 Peter Grtizmann, and Maurice Nivat (Eds.)

164	High-Level Concurrent Languages (Dagstuhl Seminar 97041)
	(0.2 MB)	Dagstuhl Seminar Report, Number 164, pp. 1-20, doi: 10.4230/DagSemRep.164 Kohei Honda, Martin Odersky, Benjamin Pierce, Gert Smolla, and Philip Wadler (Eds.)

163	Theory and Practice of Machine Learning (Dagstuhl Seminar 9702)
	(0.3 MB)	Dagstuhl Seminar Report, Number 163, pp. 1-33, doi: 10.4230/DagSemRep.163 Thomas G. Dietterich, Wolfgang Maass, Hans Ulrich Simon, and Robert S. Sutton (Eds.)

162	Synchronous Languages (Dagstuhl Seminar 9650)
	(2 MB)	Dagstuhl Seminar Report, Number 162, pp. 1-25, doi: 10.4230/DagSemRep.162 Willem-Paul de Roever, Nicolas Halbwachs, and Klaus Winkelmann (Eds.)

161	Control of Search in AI Planning (Dagstuhl Seminar 9647)
	(0.2 MB)	Dagstuhl Seminar Report, Number 161, pp. 1-21, doi: 10.4230/DagSemRep.161 Jim Hendler, and Jana Koehler (Eds.)

160	Computational Cartography (Dagstuhl Seminar 9645)
	(0.2 MB)	Dagstuhl Seminar Report, Number 160, pp. 1-16, doi: 10.4230/DagSemRep.160 Christopher Gold, Jack Snoeyink, and Frank Wagner (Eds.)

159	Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9643)
	(0.3 MB)	Dagstuhl Seminar Report, Number 159, pp. 1-25, doi: 10.4230/DagSemRep.159 Erich Nowak, Joseph F. Traub, and Grzegorz W. Wasilkowski (Eds.)

158	Structure and Complexity (Dagstuhl Seminar 9640)
	(0.2 MB)	Dagstuhl Seminar Report, Number 158, pp. 1-22, doi: 10.4230/DagSemRep.158 Eric Allender, Uwe Schöning, and Klaus W. Wagner (Eds.)

157	Logic Databases and the Meaning of Change (Dagstuhl Seminar 9639)
	(0.3 MB)	Dagstuhl Seminar Report, Number 157, pp. 1-31, doi: 10.4230/DagSemRep.157 Hendrik Decker, Jorge Bocca, Michael Kifer, and Andrei Voronkov (Eds.)

156	Expressiveness in Concurrency (Dagstuhl Seminar 9638)
	(0.0 MB)	Dagstuhl Seminar Report, Number 156, pp. 1-7, doi: 10.4230/DagSemRep.156 Rocco De Nicola, Ursula Goltz, and Frits Vaandrager (Eds.)

155	Graph Transformations in Computer Science (Dagstuhl Seminar 9637)
	(0.3 MB)	Dagstuhl Seminar Report, Number 155, pp. 1-39, doi: 10.4230/DagSemRep.155 Hartmut Ehrig, Ugo Montanari, Grzegorz Rozenberg, and Hans Jürgen Schneider (Eds.)

154	Modelling and Planning for Sensor Based Intelligent Robot Systems (Dagstuhl Seminar 9636)
	(0.2 MB)	Dagstuhl Seminar Report, Number 154, pp. 1-17, doi: 10.4230/DagSemRep.154 Horst Bunke, Robert C. Bolles, and Hartmut Noltemeier (Eds.)

153	The History of Software Engineering (Dagstuhl Seminar 9635)
	(0.2 MB)	Dagstuhl Seminar Report, Number 153, pp. 1-61, doi: 10.4230/DagSemRep.153 Andreas Brennecke, and Reinhard Keil-Slawik (Eds.)

152	Transactional Workflows (Dagstuhl Seminar 9629)
	(11 MB)	Dagstuhl Seminar Report, Number 152, pp. 1-39, doi: 10.4230/DagSemRep.152 Frank Leymann, Hans-Jörg Schek, and Gottfried Vossen (Eds.)

151	Specification and Semantics (Dagstuhl Seminar 9628)
	(0.4 MB)	Dagstuhl Seminar Report, Number 151, pp. 1-38, doi: 10.4230/DagSemRep.151 Hartmut Ehrig, Friedrich von Henke, José Meseguer, and Martin Wirsing (Eds.)

150	Disjunctive Logic Programming and Databases: Nonmonotonic Aspects (Dagstuhl Seminar 9627)
	(0.2 MB)	Dagstuhl Seminar Report, Number 150, pp. 1-27, doi: 10.4230/DagSemRep.150 Jürgen Dix, Don Loveland, Jack Minker, and David Warren (Eds.)

149	On-line Algorithms (Dagstuhl Seminar 9626)
	(0.3 MB)	Dagstuhl Seminar Report, Number 149, pp. 1-25, doi: 10.4230/DagSemRep.149 Amos Fiat, and Gerhard Woeginger (Eds.)

148	Rendering (Dagstuhl Seminar 9624)
	(0.2 MB)	Dagstuhl Seminar Report, Number 148, pp. 1-24, doi: 10.4230/DagSemRep.148 Patrick M. Hanrahan, Heinrich Müller, and Claude Puech (Eds.)

147	Geometric Modelling (Dagstuhl Seminar 9622)
	(0.1 MB)	Dagstuhl Seminar Report, Number 147, pp. 1-17, doi: 10.4230/DagSemRep.147 Hanspeter Bieri, Guido Brunnett, Tony DeRose, and Gerald Farin (Eds.)

146	Integration of Functional and Logic Languages (Dagstuhl Seminar 9621)
	(0.0 MB)	Dagstuhl Seminar Report, Number 146, pp. 1-2, doi: 10.4230/DagSemRep.146 Michael Hanus, John W. Lloyd, and Juan José Moreno Navarro (Eds.)

145	Graph Algorithms and Applications (Dagstuhl Seminar 9620)
	(0.3 MB)	Dagstuhl Seminar Report, Number 145, pp. 1-28, doi: 10.4230/DagSemRep.145 Takao Nishizeki, Roberto Tamassia, and Dorothea Wagner (Eds.)

144	Semantics of Concurrent Systems - Foundations and Applications (Dagstuhl Seminar 9619)
	(0.1 MB)	Dagstuhl Seminar Report, Number 144, pp. 1-18, doi: 10.4230/DagSemRep.144 Manfred Droste, Ernst-Rüdiger Olderog, Bernhard Steffen, and Glynn Winskel (Eds.)

143	Design Automation for Embedded Systems (Dagstuhl Seminar 9617)
	(0.2 MB)	Dagstuhl Seminar Report, Number 143, pp. 1-25, doi: 10.4230/DagSemRep.143 Edward A. Lee, Giovanni de Micheli, Wofgang Rosenstiel, and Lothar Thiele (Eds.)

142	Loop Parallelization (Dagstuhl Seminar 9616)
	(0.2 MB)	Dagstuhl Seminar Report, Number 142, pp. 1-22, doi: 10.4230/DagSemRep.142 Christian Lengauer, Lothar Thiele, Michael Wolfe, and Hans Zima (Eds.)

141	Performance Enhancement in Object Bases (Dagstuhl Seminar 9614)
	(0.2 MB)	Dagstuhl Seminar Report, Number 141, pp. 1-26, doi: 10.4230/DagSemRep.141 Umeshwar Dayal, Alfons Kemper, Guido Moerkotte, and Gerhard Weikum (Eds.)

140	Evolutionary Algorithms and their Application (Dagstuhl Seminar 9613)
	(0.2 MB)	Dagstuhl Seminar Report, Number 140, pp. 1-31, doi: 10.4230/DagSemRep.140 Volker Claus, Jörn Hopf, and Hans-Paul Schwefel (Eds.)

139	Theoretical Foundations of Computer Vision (Dagstuhl Seminar 9612)
	(0.2 MB)	Dagstuhl Seminar Report, Number 139, pp. 1-14, doi: 10.4230/DagSemRep.139 Ruzena Bajcsy, Reinhard Klette, Walter G. Kropatsch, and Franc Solina (Eds.)

138	Time Services (Dagstuhl Seminar 9611)
	(0.1 MB)	Dagstuhl Seminar Report, Number 138, pp. 1-19, doi: 10.4230/DagSemRep.138 Danny Dolev, Rüdiger Reischuk, Fred B. Schneider, and H. Raymond Strong (Eds.)

137	New Trends in Database Languages (Dagstuhl Seminar 9610)
	(0.3 MB)	Dagstuhl Seminar Report, Number 137, pp. 1-34, doi: 10.4230/DagSemRep.137 Anthony J. Bonner, Andreas Heuer, and Letizia Tanca (Eds.)

136	Data Structures (Dagstuhl Seminar 9609)
	(0.2 MB)	Dagstuhl Seminar Report, Number 136, pp. 1-21, doi: 10.4230/DagSemRep.136 Stefan Näher, Hartmut Noltemeier, and Ian Munro (Eds.)

135	Informatics and Semiotics (Dagstuhl Seminar 9608)
	(13 MB)	Dagstuhl Seminar Report, Number 135, pp. 1-48, doi: 10.4230/DagSemRep.135 Peter B. Andersen, Mihai Nadin, and Frieder Nake (Eds.)

134	Partial Evaluation (Dagstuhl Seminar 9607)
	(0.2 MB)	Dagstuhl Seminar Report, Number 134, pp. 1-35, doi: 10.4230/DagSemRep.134 Olivier Danvy, Robert Glück, and Peter Thiemann (Eds.)

133	Computeralgebra - Software (Dagstuhl Seminar 9606)
	(0.2 MB)	Dagstuhl Seminar Report, Number 133, pp. 1-30, doi: 10.4230/DagSemRep.133 Johannes Buchmann, Rüdiger Loos, and Roman Mäder (Eds.)

132	Quantitative Aspects of Designing and Validating Dependable Computing Systems -- Calculations, Measurements, and Simulations (Dagstuhl Seminar 9546)
	(0.1 MB)	Dagstuhl Seminar Report, Number 132, pp. 1-14, doi: 10.4230/DagSemRep.132 Klaus Echtle, Winfried Görke, Jean-Claude Laprie, and Winfrid Schneeweiss (Eds.)

131	Real Computation and Complexity (Dagstuhl Seminar 9545)
	(0.2 MB)	Dagstuhl Seminar Report, Number 131, pp. 1-14, doi: 10.4230/DagSemRep.131 Felipe Cucker, Thomas Lickteig, and Michael Shub (Eds.)

130	Modelling and Simulation of Gene and Cell Regulation (Dagstuhl Seminar 9543)
	(0.3 MB)	Dagstuhl Seminar Report, Number 130, pp. 1-34, doi: 10.4230/DagSemRep.130 Julio Collado-Vides, Ralf Hofestädt, Markus Löffler, and Michael Mavrovouniotis (Eds.)

128	Modelling and Simulation of Complex Environmental Problems (Dagstuhl Seminar 9540)
	(0.1 MB)	Dagstuhl Seminar Report, Number 128, pp. 1-13, doi: 10.4230/DagSemRep.128 Greg R. Carmichael, Granino A. Korn, and Achim Sydow (Eds.)

127	Applied Stochastic Modelling in Telecommunication and Manufacturing Systems (Dagstuhl Seminar 9539)
	(6 MB)	Dagstuhl Seminar Report, Number 127, pp. 1-27, doi: 10.4230/DagSemRep.127 Ulrich Herzog, Guy Latouche, Phuoc Tran-Gia, and Vaydanat Ramaswami (Eds.)

126	New Trends In the Integration of Paradigms (Dagstuhl Seminar 9538)
	(0.2 MB)	Dagstuhl Seminar Report, Number 126, pp. 1-27, doi: 10.4230/DagSemRep.126 Chris Hankin, and Hanne Riis Nielson (Eds.)

125	Parallel and Distributed Algorithms (Dagstuhl Seminar 9537)
	(0.2 MB)	Dagstuhl Seminar Report, Number 125, pp. 1-17, doi: 10.4230/DagSemRep.125 Cynthia Dwork, Ernst W. Mayr, and Friedhelm Meyer auf der Heide (Eds.)

124	CAD Tools for Products (Dagstuhl Seminar 9536)
	(7 MB)	Dagstuhl Seminar Report, Number 124, pp. 1-24, doi: 10.4230/DagSemRep.124 Pere Brunet, Dieter Roller, and Jarek Rossignac (Eds.)

123	Abstract Interpretation (Dagstuhl Seminar 9535)
	(0.2 MB)	Dagstuhl Seminar Report, Number 123, pp. 1-20, doi: 10.4230/DagSemRep.123 Patrick Cousot, Rhadia Cousot, and Alan Mycroft (Eds.)

122	Automation of Proof by Mathematical Induction (Dagstuhl Seminar 9530)
	(0.3 MB)	Dagstuhl Seminar Report, Number 122, pp. 1-40, doi: 10.4230/DagSemRep.122 Alan Bundy, Robert S. Boyer, Deepak Kapur, and Christoph Walther (Eds.)

121	Role of Logics in Information Systems (Dagstuhl Seminar 9529)
	(0.2 MB)	Dagstuhl Seminar Report, Number 121, pp. 1-34, doi: 10.4230/DagSemRep.121 Jan Chomicki, Gunter Saake, and Christina Sernadas (Eds.)

120	Molecular Bioinformatics (Dagstuhl Seminar 9528)
	(3 MB)	Dagstuhl Seminar Report, Number 120, pp. 1-25, doi: 10.4230/DagSemRep.120 Dan Gusfield, Thomas Lengauer, and Chris Sander (Eds.)

119	`Average-Case'-Analysis of Algorithms (Dagstuhl Seminar 9527)
	(2 MB)	Dagstuhl Seminar Report, Number 119, pp. 1-20, doi: 10.4230/DagSemRep.119 Philippe Flajolet, Rainer Kemp, Helmut Prodinger, and Robert Sedgewick (Eds.)

118	Architecture and Protocols for High Performance Networks (Dagstuhl Seminar 9525)
	(6 MB)	Dagstuhl Seminar Report, Number 118, pp. 1-24, doi: 10.4230/DagSemRep.118 Wolfgang Effelsberg, Domenico Ferrari, Otto Spaniol, and André Danthine (Eds.)

117	Methods for Semantics and Specification (Dagstuhl Seminar 9523)
	(0.2 MB)	Dagstuhl Seminar Report, Number 117, pp. 1-27, doi: 10.4230/DagSemRep.117 Jean-Raymond Abrial, Egon Börger, and Hans Langmaack (Eds.)

116	Computing with Faulty Inputs (Dagstuhl Seminar 9522)
	(0.1 MB)	Dagstuhl Seminar Report, Number 116, pp. 1-10, doi: 10.4230/DagSemRep.116 Martin Aigner, Joel Spencer, and Eberhard Triesch (Eds.)

115	Performance and Dependability Modeling with Stochastic Petri Nets (Dagstuhl Seminar 9521)
	(0.1 MB)	Dagstuhl Seminar Report, Number 115, pp. 1-21, doi: 10.4230/DagSemRep.115 Heniz Bilner, Gianfranco Ciardo, Christoph Lindemann, and Kishor S. Trivedi (Eds.)

114	Scheduling in Computer & Manufacturing Systems (Dagstuhl Seminar 9520)
	(9 MB)	Dagstuhl Seminar Report, Number 114, pp. 1-30, doi: 10.4230/DagSemRep.114 Jacek Blazewicz, and Klaus Ecker (Eds.)

113	Shareable and Reusable Problem Solving Methods (Dagstuhl Seminar 9519)
	(7 MB)	Dagstuhl Seminar Report, Number 113, pp. 1-22, doi: 10.4230/DagSemRep.113 Rudi Studer, and Mark A. Musen (Eds.)

112	Social Science Microsimulation: A Challenge for Computer Science (Dagstuhl Seminar 9518)
	(0.2 MB)	Dagstuhl Seminar Report, Number 112, pp. 1-27, doi: 10.4230/DagSemRep.112 Jim Doran, G. Nigel Gilbert, Ulrich Mueller, and Klaus G. Troitzsch (Eds.)

111	Object-Orientation with Parallelism and Persistence (Dagstuhl Seminar 9514)
	(0.2 MB)	Dagstuhl Seminar Report, Number 111, pp. 1-22, doi: 10.4230/DagSemRep.111 Burkhard Freitag, Clifford B. Jones, Christian Lengauer, and Hans-Jörg Schek (Eds.)

110	Deduction (Dagstuhl Seminar 9512)
	(2 MB)	Dagstuhl Seminar Report, Number 110, pp. 1-26, doi: 10.4230/DagSemRep.110 Wolfgang Bibel, Koichi Furukawa, and Mark Stickel (Eds.)

109	Computational Geometry (Dagstuhl Seminar 9511)
	(8 MB)	Dagstuhl Seminar Report, Number 109, pp. 1-27, doi: 10.4230/DagSemRep.109 Helmut Alt, Bernard Chazelle, and Raimund Seidel (Eds.)

108	Cellular Automata (Dagstuhl Seminar 9510)
	(0.3 MB)	Dagstuhl Seminar Report, Number 108, pp. 1-26, doi: 10.4230/DagSemRep.108 Jozef Gruska, Hiroshi Umeo, and Roland Vollmar (Eds.)

107	High Integrity Programmable Electronic Systems (Dagstuhl Seminar 9509)
	(0.3 MB)	Dagstuhl Seminar Report, Number 107, pp. 1-39, doi: 10.4230/DagSemRep.107 William John Cullyer, Wolfgang A. Halang, and Bernd J. Krämer (Eds.)

106	Software Architectures (Dagstuhl Seminar 9508)
	(0.1 MB)	Dagstuhl Seminar Report, Number 106, pp. 1-28, doi: 10.4230/DagSemRep.106 David Garlan, Walter Tichy, and Frances Paulisch (Eds.)

105	Computer Aided Design and Test (Dagstuhl Seminar 9507)
	(0.2 MB)	Dagstuhl Seminar Report, Number 105, pp. 1-24, doi: 10.4230/DagSemRep.105 Bernd Becker, Randy Bryant, Oliver Coudert, and Christoph Meinel (Eds.)

104	Synchronous Languages (Dagstuhl Seminar 9448)
	(5 MB)	Dagstuhl Seminar Report, Number 104, pp. 1-31, doi: 10.4230/DagSemRep.104 Gérard Berry, Willem-Paul de Roever, Axel Poigné, and Amir Pnueli (Eds.)

103	Neural Computing (Dagstuhl Seminar 9445)
	(0.2 MB)	Dagstuhl Seminar Report, Number 103, pp. 1-27, doi: 10.4230/DagSemRep.103 Wolfgang Maass, Christoph von der Malsburg, Eduardo Sontag, and Ingo Wegener (Eds.)

102	Environment Modelling and Motion Planning for Autonomous Robots (Dagstuhl Seminar 9443)
	(8 MB)	Dagstuhl Seminar Report, Number 102, pp. 1-27, doi: 10.4230/DagSemRep.102 Horst Bunke, Takeo Kanade, and Hartmut Noltemeier (Eds.)

101	Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9442)
	(0.3 MB)	Dagstuhl Seminar Report, Number 101, pp. 1-22, doi: 10.4230/DagSemRep.101 Stefan Heinrich, Joseph F. Traub, and Henryk Wozniakowski (Eds.)

100	Algorithms and Number Theory (Dagstuhl Seminar 9441)
	(0.3 MB)	Dagstuhl Seminar Report, Number 100, pp. 1-32, doi: 10.4230/DagSemRep.100 Johannes Buchmann, Harald Niederreiter, Andrew M. Odlyzko, and Horst Günther Zimmer (Eds.)

99	System Requirements: Analysis, Management, and Exploitation (Dagstuhl Seminar 9440)
	(5 MB)	Dagstuhl Seminar Report, Number 99, pp. 1-20, doi: 10.4230/DagSemRep.99 Mattias Jarke, Peri Loucopoulos, John Mylopoulos, and Alistair Sutcliffe (Eds.)

98	Specification Problem (Dagstuhl Seminar 9439)
	(0.1 MB)	Dagstuhl Seminar Report, Number 98, pp. 1-18, doi: 10.4230/DagSemRep.98 Manfred Broy, and Leslie Lamport (Eds.)

97	Interdisciplinary Foundations of Systems Design and Evaluation (Dagstuhl Seminar 9438)
	(0.1 MB)	Dagstuhl Seminar Report, Number 97, pp. 1-56, doi: 10.4230/DagSemRep.97 Reinhard Keil-Slawik, Ina Wagner, and Liam Bannon (Eds.)

96	Unifying Theory and Practice in Distributed Systems (Dagstuhl Seminar 9436)
	(9 MB)	Dagstuhl Seminar Report, Number 96, pp. 1-32, doi: 10.4230/DagSemRep.96 Kenneth Birman, Flaviu Cristian, Friedemann Mattern, and André Schiper (Eds.)

95	Fundamentals of Object-Oriented Languages, Systems, and Methods (Dagstuhl Seminar 9434)
	(3 MB)	Dagstuhl Seminar Report, Number 95, pp. 1-47, doi: 10.4230/DagSemRep.95 Hans-Dieter Ehrich, Gregor Engels, Jan Paredaens, and Peter Wegner (Eds.)

94	Expert- and Tutoring-Systems as Media for Embodying and Sharing Knowledge (Dagstuhl Seminar 9431)
	(8 MB)	Dagstuhl Seminar Report, Number 94, pp. 1-24, doi: 10.4230/DagSemRep.94 Alan Lesgold, and Franz Schmalhofer (Eds.)

93	Principles of Natural Language Generation (Dagstuhl Seminar 9430)
	(17 MB)	Dagstuhl Seminar Report, Number 93, pp. 1-62, doi: 10.4230/DagSemRep.93 Wolfgang Hoeppner, Helmut Horacek, and Johanna Moore (Eds.)

92	Fundamentals and Perspectives of Multimedia Systems (Dagstuhl Seminar 9427)
	(24 MB)	Dagstuhl Seminar Report, Number 92, pp. 1-75, doi: 10.4230/DagSemRep.92 José Encarnação, James Foley, and Ralf Guido Herrtwich (Eds.)

91	Theory and Praxis of Machine Learning (Dagstuhl Seminar 9426)
	(0.2 MB)	Dagstuhl Seminar Report, Number 91, pp. 1-24, doi: 10.4230/DagSemRep.91 Thomas Dietterich, Wolfgang Maass, Hans-Ulrich Simon, and Manfred Warmuth (Eds.)

90	Scientific Visualization (Dagstuhl Seminar 9421)
	(0.2 MB)	Dagstuhl Seminar Report, Number 90, pp. 1-26, doi: 10.4230/DagSemRep.90 Hans Hagen, Heinrich Müller, and Gregory N. Nielson (Eds.)

89	Functional Programming in the Real World (Dagstuhl Seminar 9420)
	(0.2 MB)	Dagstuhl Seminar Report, Number 89, pp. 1-22, doi: 10.4230/DagSemRep.89 Robert Giegerich, and John Hughes (Eds.)

88	Incremental Computation and Dynamic Algorithms (Dagstuhl Seminar 9418)
	(2 MB)	Dagstuhl Seminar Report, Number 88, pp. 1-26, doi: 10.4230/DagSemRep.88 Jan van Leeuwen, Kurt Mehlhorn, and Thomas Reps (Eds.)

87	Expander Graphs, Random Graphs and Their Application in Computer Science (Dagstuhl Seminar 9415)
	(0.3 MB)	Dagstuhl Seminar Report, Number 87, pp. 1-24, doi: 10.4230/DagSemRep.87 Fridhelm Meyer auf der Heide, Hans Jürgen Prömel, and Uli Upfal (Eds.)

86	Active Databases (Dagstuhl Seminar 9412)
	(0.2 MB)	Dagstuhl Seminar Report, Number 86, pp. 1-22, doi: 10.4230/DagSemRep.86 Alex Buchmann, Sharma Chakravarthy, and Klaus Dittrich (Eds.)

85	Theoretical Foundations of Computer Vision (Dagstuhl Seminar 9411)
	(0.1 MB)	Dagstuhl Seminar Report, Number 85, pp. 1-21, doi: 10.4230/DagSemRep.85 Reinhard Klette, Walter G. Kropatsch, and Franc Solina (Eds.)

84	Logical Theory for Program Construction (Dagstuhl Seminar 9410)
	(0.3 MB)	Dagstuhl Seminar Report, Number 84, pp. 1-46, doi: 10.4230/DagSemRep.84 Jean-Pierre Finance, Stefan Jähnichen, Jacques Loeckx, Douglas Smith, and Martin Wirsing (Eds.)

83	Data Structures (Dagstuhl Seminar 9409)
	(1 MB)	Dagstuhl Seminar Report, Number 83, pp. 1-14, doi: 10.4230/DagSemRep.83 Hartmut Noltemeier, Thomas Ottmann, and Derick Wood (Eds.)

82	Structure and Complexity (Dagstuhl Seminar 9407)
	(0.3 MB)	Dagstuhl Seminar Report, Number 82, pp. 1-30, doi: 10.4230/DagSemRep.82 Klaus Ambos-Spies, Steven Homer, and Uwe Schöning (Eds.)

81	Algorithms in Automata Theory (Dagstuhl Seminar 9406)
	(0.3 MB)	Dagstuhl Seminar Report, Number 81, pp. 1-28, doi: 10.4230/DagSemRep.81 André Arnold, Helmut Seidl, and Bernhard Steffen (Eds.)

80	Relational Methods in Computer Science (Dagstuhl Seminar 9403)
	(0.4 MB)	Dagstuhl Seminar Report, Number 80, pp. 1-28, doi: 10.4230/DagSemRep.80 Chris Brink, and Gunther Schmidt (Eds.)

79	Summarizing Text for Intelligent Communication (Dagstuhl Seminar 9350)
	(80 MB)	Dagstuhl Seminar Report, Number 79, pp. 1-36, doi: 10.4230/DagSemRep.79 Brigitte Endres-Niggermeyer, Jerry Hobbs, and Karen Sparck Jones (Eds.)

78	Counting Issues: Theory and Application (Dagstuhl Seminar 9349)
	(4 MB)	Dagstuhl Seminar Report, Number 78, pp. 1-24, doi: 10.4230/DagSemRep.78 Peter Gritzmann, David Johnson, Victor Klee, and Christoph Meinel (Eds.)

77	Deductive Approaches to Plan Generation and Plan Recognition (Dagstuhl Seminar 9343)
	(4 MB)	Dagstuhl Seminar Report, Number 77, pp. 1-20, doi: 10.4230/DagSemRep.77 Susanne Biundo, and Richard Waldinger (Eds.)

76	Combinatorial Methods for Integrated Circuits Design (Dagstuhl Seminar 9342)
	(1 MB)	Dagstuhl Seminar Report, Number 76, pp. 1-20, doi: 10.4230/DagSemRep.76 Thomas Lengauer, Majid Sarrafzadeh, and Dorothea Wagner (Eds.)

75	Computational Kinematics (Dagstuhl Seminar 9341)
	(4 MB)	Dagstuhl Seminar Report, Number 75, pp. 1-24, doi: 10.4230/DagSemRep.75 Jorge Angeles, Günter Hommer, and Peter Kovacs (Eds.)

74	Cryptography (Dagstuhl Seminar 9339)
	(5 MB)	Dagstuhl Seminar Report, Number 74, pp. 1-28, doi: 10.4230/DagSemRep.74 Andrew M. Odlyzko, Claus P. Schnorr, and Adi Shamir (Eds.)

73	Non-Classical Logics in Computer Science (Dagstuhl Seminar 9338)
	(6 MB)	Dagstuhl Seminar Report, Number 73, pp. 1-36, doi: 10.4230/DagSemRep.73 Victor Marek, Anil Nerode, and Peter H. Schmitt (Eds.)

72	Parallel and Distributed Algorithms (Dagstuhl Seminar 9337)
	(4 MB)	Dagstuhl Seminar Report, Number 72, pp. 1-24, doi: 10.4230/DagSemRep.72 Richard Cole, Ernst W. Mayr, and Friedhelm Meyer auf der Heide (Eds.)

71	Architecture and Protocols for High-Speed Networks (Dagstuhl Seminar 9335)
	(6 MB)	Dagstuhl Seminar Report, Number 71, pp. 1-32, doi: 10.4230/DagSemRep.71 André Danthine, Wofgang Effelsberg, and Otto Spaniol (Eds.)

70	Automated Practical Reasoning and Argumentation (Dagstuhl Seminar 9334)
	(6 MB)	Dagstuhl Seminar Report, Number 70, pp. 1-28, doi: 10.4230/DagSemRep.70 Dov M. Gabbay, and Hans Jürgen Ohlbach (Eds.)

69	Interactions between Category Theory and Computer Science (Dagstuhl Seminar 9329)
	(5 MB)	Dagstuhl Seminar Report, Number 69, pp. 1-28, doi: 10.4230/DagSemRep.69 John W. Gray, Andrew M. Pitts, and Kurt Sieber (Eds.)

68	"Average-Case"-Analysis of Algorithms (Dagstuhl Seminar 9328)
	(5 MB)	Dagstuhl Seminar Report, Number 68, pp. 1-32, doi: 10.4230/DagSemRep.68 Philippe Flajolet, Rainer Kemp, and Helmut Prodinger (Eds.)

67	Geometric Modelling (Dagstuhl Seminar 9326)
	(0.8 MB)	Dagstuhl Seminar Report, Number 67, pp. 1-17, doi: 10.4230/DagSemRep.67 Gerald Farin, Hans Hagen, and Hartmut Noltemeier (Eds.)

66	Parallelization Techniques for Uniform Algorithms (Dagstuhl Seminar 9325)
	(5 MB)	Dagstuhl Seminar Report, Number 66, pp. 1-31, doi: 10.4230/DagSemRep.66 Christian Lengauer, Patrice Quinton, Yves Robert, and Lothar Thiele (Eds.)

65	Semantics of Programming Languages and Algebra (Dagstuhl Seminar 9323)
	(4 MB)	Dagstuhl Seminar Report, Number 65, pp. 1-24, doi: 10.4230/DagSemRep.65 Manfred Droste, and Yuri Gurevich (Eds.)

64	Specification and Semantics (Dagstuhl Seminar 9321)
	(2 MB)	Dagstuhl Seminar Report, Number 64, pp. 1-23, doi: 10.4230/DagSemRep.64 Hartmut Ehrig, Friedrich von Henke, José Meseguer, and Martin Wirsing (Eds.)

63	Descriptional Complexity (Dagstuhl Seminar 9318)
	(6 MB)	Dagstuhl Seminar Report, Number 63, pp. 1-36, doi: 10.4230/DagSemRep.63 Ronald V. Book, Edwin Pednault, and Detlef Wotschke (Eds.)

62	Formal Aspects of Object Base Dynamics (Dagstuhl Seminar 9317)
	(6 MB)	Dagstuhl Seminar Report, Number 62, pp. 1-31, doi: 10.4230/DagSemRep.62 Catriel Beeri, Andreas Heuer, Gunter Saake, and Susan Urban (Eds.)

61	Graphics & Robotics (Dagstuhl Seminar 9316)
	(11 MB)	Dagstuhl Seminar Report, Number 61, pp. 1-67, doi: 10.4230/DagSemRep.61 Wolfgang Strasser, and Friedrich Wahl (Eds.)

60	Universals in the Lexicon: At the Intersection of Lexical Semantic Theories (Dagstuhl Seminar 9313)
	(8 MB)	Dagstuhl Seminar Report, Number 60, pp. 1-39, doi: 10.4230/DagSemRep.60 Hans Kamp, and James Pustejovsky (Eds.)

59	Computational Geometry (Dagstuhl Seminar 9312)
	(7 MB)	Dagstuhl Seminar Report, Number 59, pp. 1-28, doi: 10.4230/DagSemRep.59 Helmut Alt, Bernard Chazelle, and Emo Welzl (Eds.)

58	Deduction (Dagstuhl Seminar 9310)
	(6 MB)	Dagstuhl Seminar Report, Number 58, pp. 1-32, doi: 10.4230/DagSemRep.58 Wolfgang Bibel, Koichi Furukawa, and Mark Stickel (Eds.)

57	Semantic Formalisms in Natural Language Processing (Dagstuhl Seminar 9308)
	(24 MB)	Dagstuhl Seminar Report, Number 57, pp. 1-119, doi: 10.4230/DagSemRep.57 Manfred Pinkal, Remko Scha, and Lenhart Schubert (Eds.)

56	Computer Aided Design and Test (Dagstuhl Seminar 9307)
	(3 MB)	Dagstuhl Seminar Report, Number 56, pp. 1-24, doi: 10.4230/DagSemRep.56 Bernd Becker, Randal Bryant, and Christoph Meinel (Eds.)

55	Versioning in Database Management Systems (Dagstuhl Seminar 9305)
	(6 MB)	Dagstuhl Seminar Report, Number 55, pp. 1-32, doi: 10.4230/DagSemRep.55 Wojciech Cellary, Krishnamurthy Vidyasankar, and Gottfried Vossen (Eds.)

54	Automata Theory: Distributed Models (Dagstuhl Seminar 9302)
	(4 MB)	Dagstuhl Seminar Report, Number 54, pp. 1-24, doi: 10.4230/DagSemRep.54 André Arnold, Lutz Priese, and Roland Vollmer (Eds.)

53	Graph-Transformations in Computer Science (Dagstuhl Seminar 9301)
	(6 MB)	Dagstuhl Seminar Report, Number 53, pp. 1-32, doi: 10.4230/DagSemRep.53 Bruno Courcelle, Hartmut Ehrig, Grzegorz Rozenberg, and Hans Jürgen Schneider (Eds.)

52	Self-Timed Design (Dagstuhl Seminar 9249)
	(4 MB)	Dagstuhl Seminar Report, Number 52, pp. 1-20, doi: 10.4230/DagSemRep.52 Franz J. Rammig, Jorgen Staunstrup, and Gerhard Zimmermann (Eds.)

51	Multimedia - System Architectures and Applications (Dagstuhl Seminar 9245)
	(15 MB)	Dagstuhl Seminar Report, Number 51, pp. 1-87, doi: 10.4230/DagSemRep.51 José Encarnação, and James Foley (Eds.)

50	Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9242)
	(4 MB)	Dagstuhl Seminar Report, Number 50, pp. 1-24, doi: 10.4230/DagSemRep.50 Erich Novak, Steve Smale, and Joseph F. Traub (Eds.)

49	Analogical and Inductive Inference 1992 (Dagstuhl Seminar 9241)
	(5 MB)	Dagstuhl Seminar Report, Number 49, pp. 1-28, doi: 10.4230/DagSemRep.49 Robert P. Daley, Ulrich Furbach, and Klaus Peter Jantke (Eds.)

48	Informatik und Philosophie (Dagstuhl Seminar 9239)
	(5 MB)	Dagstuhl Seminar Report, Number 48, pp. 1-24, doi: 10.4230/DagSemRep.48 Yvonne Dittrich, Heiner Hastedt, and Peter Schefe (Eds.)

47	Experimental Software Engineering Issues (Dagstuhl Seminar 9238)
	(6 MB)	Dagstuhl Seminar Report, Number 47, pp. 1-24, doi: 10.4230/DagSemRep.47 Victor R. Basili, H. Dieter Rombach, and Richard W. Selby (Eds.)

46	Molecular Bioinformatics (Dagstuhl Seminar 9237)
	(5 MB)	Dagstuhl Seminar Report, Number 46, pp. 1-28, doi: 10.4230/DagSemRep.46 Thomas Lengauer, Dietmar Schomburg, and Michael S. Waterman (Eds.)

45	Complexity and Realization of Boolean Functions (Dagstuhl Seminar 9235)
	(5 MB)	Dagstuhl Seminar Report, Number 45, pp. 1-28, doi: 10.4230/DagSemRep.45 Rüdiger Reischuk, and Dietmar Uhlig (Eds.)

44	Third International Workshop on User Modellng (UM'92) (Dagstuhl Seminar 9233)
	(4 MB)	Dagstuhl Seminar Report, Number 44, pp. 1-28, doi: 10.4230/DagSemRep.44 Robin Cohen, Bob Kass, Cécile Paris, and Wolfgang Wahlster (Eds.)

43	Symbolic, Algebraic and Validated Numerical Computation (Dagstuhl Seminar 9232)
	(3 MB)	Dagstuhl Seminar Report, Number 43, pp. 1-20, doi: 10.4230/DagSemRep.43 James H. Davenport, Fritz Krückeberg, Ramon E. More, and Siegfried M. Rump (Eds.)

42	6th International Workshop on Unification (Dagstuhl Seminar 9231)
	(5 MB)	Dagstuhl Seminar Report, Number 42, pp. 1-32, doi: 10.4230/DagSemRep.42 Franz Baader, Jörg Siekmann, and Wayne Snyder (Eds.)

41	Algebraic Complexity and Parallelism (Dagstuhl Seminar 9230)
	(2 MB)	Dagstuhl Seminar Report, Number 41, pp. 1-16, doi: 10.4230/DagSemRep.41 Joachim von zur Gathen, Marek Karpinski, and Dexter Kozen (Eds.)

40	Computer Science Logic (Dagstuhl Seminar 9229)
	(6 MB)	Dagstuhl Seminar Report, Number 40, pp. 1-28, doi: 10.4230/DagSemRep.40 Egon Börger, Yuri Gurevich, Hans Kleine-Büning, and M. M. Richter (Eds.)

39	Algorithms and Number Theory (Dagstuhl Seminar 9226)
	(4 MB)	Dagstuhl Seminar Report, Number 39, pp. 1-28, doi: 10.4230/DagSemRep.39 Johannes Buchmann, Harald Niederreiter, Andrew M. Odlyzko, and Horst G. Zimmer (Eds.)

38	Distributed Cooperation in Integrated Information Systems (Dagstuhl Seminar 9215)
	(4 MB)	Dagstuhl Seminar Report, Number 38, pp. 1-20, doi: 10.4230/DagSemRep.38 Clarence A. Ellis, and Matthias Jarke (Eds.)

37	System Security (Dagstuhl Seminar 9214)
	(4 MB)	Dagstuhl Seminar Report, Number 37, pp. 1-24, doi: 10.4230/DagSemRep.37 Thomas Beth, Whithfield Diffie, and Gustavus J. Simmons (Eds.)

36	Functional Languages: Compiler Technology and Parallelism (Dagstuhl Seminar 9213)
	(5 MB)	Dagstuhl Seminar Report, Number 36, pp. 1-32, doi: 10.4230/DagSemRep.36 Werner Damm, Chris Hankin, and John Hughes (Eds.)

35	Foundations of Information Systems Specification and Design (Dagstuhl Seminar 9212)
	(5 MB)	Dagstuhl Seminar Report, Number 35, pp. 1-32, doi: 10.4230/DagSemRep.35 Hans-Dieter Ehrich, Joseph A. Goguen, and Amilcar Sernadas (Eds.)

34	Programming Environments (Dagstuhl Seminar 9211)
	(4 MB)	Dagstuhl Seminar Report, Number 34, pp. 1-24, doi: 10.4230/DagSemRep.34 Paul Klint, Thomas Reps, and Gregor Sneltig (Eds.)

33	Parallel and Distributed Algorithms (Dagstuhl Seminar 9210)
	(4 MB)	Dagstuhl Seminar Report, Number 33, pp. 1-23, doi: 10.4230/DagSemRep.33 Richard Cole, Ernst W. Mayr, and Friedhelm Meyer auf der Heide (Eds.)

32	Future Directions in Software Engineering (Dagstuhl Seminar 9208)
	(9 MB)	Dagstuhl Seminar Report, Number 32, pp. 1-41, doi: 10.4230/DagSemRep.32 Nico Habermann, and Walter Tichy (Eds.)

31	Limits of Information-technological Models (Dagstuhl Seminar 9207)
	(4 MB)	Dagstuhl Seminar Report, Number 31, pp. 1-24, doi: 10.4230/DagSemRep.31 Bernhelm Booß, Wolfgang Coy, and Jörg-Martin Pflüger (Eds.)

30	Structure and Complexity Theory (Dagstuhl Seminar 9206)
	(4 MB)	Dagstuhl Seminar Report, Number 30, pp. 1-24, doi: 10.4230/DagSemRep.30 Klaus Ambos-Spies, Steven Homer, and Uwe Schöning (Eds.)

29	Software Construction - Foundation and Application (Dagstuhl Seminar 9203)
	(6 MB)	Dagstuhl Seminar Report, Number 29, pp. 1-36, doi: 10.4230/DagSemRep.29 Hans Langmaack, Erich Neuhold, and Manfred Paul (Eds.)

28	Automata Theory: Infinite Computations (Dagstuhl Seminar 9202)
	(5 MB)	Dagstuhl Seminar Report, Number 28, pp. 1-29, doi: 10.4230/DagSemRep.28 Kevin Compton, Jean-Eric Pin, and Wolfgang Thomas (Eds.)

27	Algorithms of Computeralgebra (Dagstuhl Seminar 9151)
	(3 MB)	Dagstuhl Seminar Report, Number 27, pp. 1-16, doi: 10.4230/DagSemRep.27 Bruno Buchberger, James Davenport, and Fritz Schwarz (Eds.)

26	Efficient Interpolation Algorithms (Dagstuhl Seminar 9149)
	(2 MB)	Dagstuhl Seminar Report, Number 26, pp. 1-15, doi: 10.4230/DagSemRep.26 Andreas Dress, Marek Karpinski, and Michael Singer (Eds.)

25	Data Structures (Dagstuhl Seminar 9145)
	(3 MB)	Dagstuhl Seminar Report, Number 25, pp. 1-20, doi: 10.4230/DagSemRep.25 Hartmut Noltemeier, Thomas Ottmann, and Derick Wood (Eds.)

24	Theorem Proving and Logic Programming with Constraints (Dagstuhl Seminar 9143)
	(4 MB)	Dagstuhl Seminar Report, Number 24, pp. 1-24, doi: 10.4230/DagSemRep.24 Hubert Comon, Harald Ganzinger, Claude Kirchner, Hélène Kirchner, Jean-Louis Lassez, and Gert Smolka (Eds.)

23	Trends and Applications in Formal Language Theory (Dagstuhl Seminar 9142)
	(4 MB)	Dagstuhl Seminar Report, Number 23, pp. 1-24, doi: 10.4230/DagSemRep.23 Franz-Josef Brandenburg, Jean Berstel, and Detlef Wotschke (Eds.)

22	Computational Geometry (Dagstuhl Seminar 9141)
	(5 MB)	Dagstuhl Seminar Report, Number 22, pp. 1-27, doi: 10.4230/DagSemRep.22 Helmut Alt, Bernard Chazelle, and Emo Welzl (Eds.)

21	Directions of Future Database Research (Dagstuhl Seminar 9137)
	(4 MB)	Dagstuhl Seminar Report, Number 21, pp. 1-20, doi: 10.4230/DagSemRep.21 Francois Bancilhon, Peter Lockemann, and Dionysis Tsichritzis (Eds.)

20	Theory and Practice of Physical Design of VLSI Systems (Dagstuhl Seminar 9136)
	(4 MB)	Dagstuhl Seminar Report, Number 20, pp. 1-28, doi: 10.4230/DagSemRep.20 Thomas Lengauer, Rolf H. Möhring, and Bryan Preas (Eds.)

19	Scientific Visualization (Dagstuhl Seminar 9135)
	(4 MB)	Dagstuhl Seminar Report, Number 19, pp. 1-20, doi: 10.4230/DagSemRep.19 Hans Hagen, and Heinrich Müller (Eds.)

18	Operating Systems of the 90s and Beyond (Dagstuhl Seminar 9128)
	(2 MB)	Dagstuhl Seminar Report, Number 18, pp. 1-16, doi: 10.4230/DagSemRep.18 Arthur I. Karshmer, and Jürgen Nehmer (Eds.)

17	Geometric Modelling (Dagstuhl Seminar 9127)
	(4 MB)	Dagstuhl Seminar Report, Number 17, pp. 1-20, doi: 10.4230/DagSemRep.17 Gerald Farin, Hans Hagen, and Hartmut Noltemeier (Eds.)

16	Semantics of Programming Languages and Model Theory (Dagstuhl Seminar 9126)
	(5 MB)	Dagstuhl Seminar Report, Number 16, pp. 1-24, doi: 10.4230/DagSemRep.16 Manfred Droste, and Yuri Gurevich (Eds.)

15	Query Processing in Object-Oriented, Complex Object, and Nested Relation Databases (Dagstuhl Seminar 9125)
	(6 MB)	Dagstuhl Seminar Report, Number 15, pp. 1-32, doi: 10.4230/DagSemRep.15 Johann Christoph Freytag, David Maier, and Gottfried Vossen (Eds.)

14	Randomized Algorithms (Dagstuhl Seminar 9124)
	(3 MB)	Dagstuhl Seminar Report, Number 14, pp. 1-24, doi: 10.4230/DagSemRep.14 Marek Karpinski, Michael Luby, and Umesh Vazirani (Eds.)

13	Code Generation - Concepts, Tools, Techniques (Dagstuhl Seminar 9121)
	(7 MB)	Dagstuhl Seminar Report, Number 13, pp. 1-31, doi: 10.4230/DagSemRep.13 Robert Giegerich, and Susan L. Graham (Eds.)

12	Terminological Logics (Dagstuhl Seminar 9119)
	(4 MB)	Dagstuhl Seminar Report, Number 12, pp. 1-23, doi: 10.4230/DagSemRep.12 Bernhard Nebel, Christof Peltason, and Kai von Luck (Eds.)

11	Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 9116)
	(5 MB)	Dagstuhl Seminar Report, Number 11, pp. 1-28, doi: 10.4230/DagSemRep.11 Erich Novak, Josef F. Traub, and Henryk Wozniakowski (Eds.)

10	Integration of Functional and Logic Programming (Dagstuhl Seminar 9112)
	(4 MB)	Dagstuhl Seminar Report, Number 10, pp. 1-23, doi: 10.4230/DagSemRep.10 Krzysztof Apt, Klaus Indermark, and Mario Rodríguez Artalejo (Eds.)

9	Concurrent Systems: Semantics, Specification, and Synthesis (Dagstuhl Seminar 9111)
	(4 MB)	Dagstuhl Seminar Report, Number 9, pp. 1-20, doi: 10.4230/DagSemRep.9 Manfred Broy, Peter Deussen, Ernst-Rüdiger Olderog, and Willem-Paul de Roever (Eds.)

8	Parallel and Distributed Algorithms (Dagstuhl Seminar 9110)
	(4 MB)	Dagstuhl Seminar Report, Number 8, pp. 1-20, doi: 10.4230/DagSemRep.8 Ernst W. Mayr, and Meyer auf der Heide Friedhelm (Eds.)

7	Logical Theory for Program Construction (Dagstuhl Seminar 9109)
	(5 MB)	Dagstuhl Seminar Report, Number 7, pp. 1-31, doi: 10.4230/DagSemRep.7 Jean-Pierre Finance, Stefan Jähnichen, Jacques Loeckx, and Martin Wirsing (Eds.)

6	Entwerfen, Prüfen, Testen (Dagstuhl Seminar 9108)
	(5 MB)	Dagstuhl Seminar Report, Number 6, pp. 1-34, doi: 10.4230/DagSemRep.6 Bernd Becker, and Christoph Meinel (Eds.)

5	Automata Theory and Applications in Logic and Complexity (Dagstuhl Seminar 9103)
	(4 MB)	Dagstuhl Seminar Report, Number 5, pp. 1-24, doi: 10.4230/DagSemRep.5 Jean Berstel, Jean-Eric Pin, and Wolgang Thoma (Eds.)

4	Algorithmic Geometry (Dagstuhl Seminar 9041)
	(3 MB)	Dagstuhl Seminar Report, Number 4, pp. 1-19, doi: 10.4230/DagSemRep.4 Alt Helmut, and Welzl Emo (Eds.)

3	Functional Languages: Optimization for Parallelism (Dagstuhl Seminar 9036)
	(5 MB)	Dagstuhl Seminar Report, Number 3, pp. 1-28, doi: 10.4230/DagSemRep.3 Hankin Chris, and Wilhelm Reinhard (Eds.)

2	Tree Adjoining Grammars (Dagstuhl Seminar 9033)
	(5 MB)	Dagstuhl Seminar Report, Number 2, pp. 1-28, doi: 10.4230/DagSemRep.2 Karin Harbusch, and Wolfgang Wahlster (Eds.)

1	Architecture and Performance (Dagstuhl Seminar 9025)
	(2 MB)	Dagstuhl Seminar Report, Number 1, pp. 1-12, doi: 10.4230/DagSemRep.1 Wolfgang Gentzsch, and Paul J. Wolfgang (Eds.)

Dagstuhl Seminar Reports are discontinued and replaced by Dagstuhl Seminar Proceedings (2003-2010) and by Dagstuhl Reports (since 2011).

More about Dagstuhl Seminar Reports

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI

Published by LZI