Dagstuhl 10th Anniversary: Informatics 2001

@proceedings{DBLP:conf/dagstuhl/2001,
  editor    = {Reinhard Wilhelm},
  title     = {Informatics  - 10 Years Back. 10 Years Ahead},
  booktitle = {Informatics  - 10 Years Back. 10 Years Ahead.},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2000},
  year      = {2001},
  isbn      = {3-540-41635-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

The Web

... How to Make the Best Use of It

• Gerhard Weikum:
  The Web in 2010: Challenges and Opportunities for Database Research. 1-23
  
• Michael J. Franklin:
  Challenges in Ubiquitous Data Management. 24-33
  

... What's Underneath

• Andrew T. Campbell, Michael E. Kounavis, John B. Vicente:
  Programmable Networks. 34-49
  

... How to Still Feel Secure

• Andreas Pfitzmann:
  Multilateral Security: Enabling Technologies and Their Evaluation. 50-62
  
• Ueli M. Maurer:
  Cryptography 2000±10. 63-85
  
• Fred B. Schneider, J. Gregory Morrisett, Robert Harper:
  A Language-Based Approach to Security. 86-101
  

Software

... the Right Engineering

• Jochen Ludewig:
  Software Engineering in the Years 2000 Minus and Plus Ten. 102-111
  
• Cliff B. Jones:
  Thinking Tools for the Future of Computing Science. 112-130
  
• Famantanantsoa Randimbivololona:
  Orientations in Verification Engineering of Avionics Software. 131-137
  

... the Right Tooling

• Patrick Cousot:
  Abstract Interpretation Based Formal Methods and Future Challenges. 138-156
  
• K. Rustan M. Leino:
  Extended Static Checking: A Ten-Year Perspective. 157-175
  
• Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith:
  Progress on the State Explosion Problem in Model Checking. 176-194
  

A Political Issue: Open Source?

• Susan L. Graham:
  From Research Software to Open Source. 195-208
  

Architecture

• Gurindar S. Sohi:
  Microprocessors - 10 Years Back, 10 Years Ahead. 209-218
  
• Paul M. B. Vitányi:
  The Quantum Computing Challenge. 219-233
  
• Lawrence Snyder:
  Parallel Computation: MM +/- X. 234-250
  

Theory

... Why It Is Needed

• Juris Hartmanis:
  Computational Complexity and Mathematical Proofs. 251-256
  
• Wolfgang Thomas:
  Logic for Computer Science: The Engineering Challenge. 257-267
  

... How It Becomes Practice

• Kurt Mehlhorn:
  From Algorithm to Program to Software Library. 268-273
  

Artificial Intelligence

• Wolfgang Wahlster:
  Pervasive Speech and Language Technology. 274-293
  
• Rolf Pfeifer:
  Embodied Artificial Intelligence: 10 Years Back, 10 Years Forward. 294-310
  

Graphics and Vision

• Hans Hagen, Achim Ebert, Rolf Hendrik van Lengen, Gerik Scheuermann:
  Scientific Visualization - Methods and Applications. 311-327
  
• Jan-Olof Eklundh, Henrik I. Christensen:
  Computer Vision: Past and Future. 328-340
  

Immersion into Other Disciplines

• Thomas Lengauer:
  Computational Biology at the Beginning of the Post-genomic Era. 341-355
  
• A. Peter Young:
  Computer Science in Physics. 356-368