Informatics

The Web.- The Web in 2010: Challenges and Opportunities for Database Research.- Challenges in Ubiquitous Data Management.- Programmable Networks.- Multilateral Security: Enabling Technologies and Their Evaluation.- Cryptography 2000±10.- A Language-Based Approach to Security.- Software.- Software Engineering in the Years 2000 Minus and Plus Ten.- Thinking Tools for the Future of Computing Science.- Orientations in Verification Engineering of Avionics Software.- Abstract Interpretation Based Formal Methods and Future Challenges.- Extended Static Checking: A Ten-Year Perspective.- Progress on the State Explosion Problem in Model Checking.- A Political Issue: Open Source?.- From Research Software to Open Source.- Architecture.- Microprocessors — 10 Years Back, 10 Years Ahead.- The Quantum Computing Challenge.- Parallel Computation: MM +/- X.- Theory.- Computational Complexity and Mathematical Proofs.- Logic for Computer Science: The Engineering Challenge.- From Algorithm to Program to Software Library.- Artificial Intelligence.- Pervasive Speech and Language Technology.- Embodied Artificial Intelligence 10 Years Back, 10 Years Forward.- Graphics and Vision.- Scientific Visualization - Methods and Applications -.- Computer Vision: Past and Future.- Immersion into Other Disciplines.- Computational Biology at the Beginning of the Post-genomic Era.- Computer Science in Physics.