Dagstuhl Publiactions 2003

Domain-Specific Program Generation 2003

Objects, Agents, and Features 2003

Embodied Artificial Intelligence 2003

Numerical Software with Result Verification 2003

Logics for Emerging Applications of Databases 2003

Spinning the Semantic Web 2003

Algebra, Geometry, and Software Systems 2003

Data Visualization: The State of the Art 2003

Scenarios: Models, Transformations and Tools 2003