Hagenberg Research: Introduction.- Algorithms in Symbolic Computation.- Automated Reasoning.- Metaheuristic Optimization.- Software Engineering - Processes and Tools.- Data-Driven and Knowledge-Based Modeling.- Information and Semantics in Databases and on the Web.- Parallel, Distributed, and Grid Computing.- Pervasive Computing.- Interactive Displays and Next-Generation Interfaces.