1. Foundations of Program and System Development and Analysis
- specification, validation, and verification techniques,
- program analysis, transformation and synthesis,
- semantics, logic and formal models of programs,
- partial evaluation, mixed computation, abstract interpretation, compiler construction,
- theorem proving and model checking,
- concurrency theory,
- modeling and analysis of real-time and hybrid systems,
- computer models and algorithms for bioinformatics.
2. Programming Methodology and Software Engineering
- object-oriented, aspect-oriented, component-based and generic programming,
- programming by contract,
- program and system construction for parallel and distributed computing,
- constraint programming,
- multi-agent technology,
- system re-engineering and reuse,
- integrated programming environments,
- software architectures,
- software development and testing,
- model-driven system/software development,
- agile software development,
- software engineering methods and tools,
- program understanding and visualization.
3. Information Technologies
- data models,
- database and information systems,
- knowledge-based systems and knowledge engineering,
- bioinformatics engineering,
- ontologies and semantic Web,
- digital libraries, collections and archives, Web publishing,
- peer-to-peer data management.
In addition to papers on topics from the list above, papers both bridging the gap between different directions and promoting mutual understanding of researchers are welcome. Papers defining the general prospects in computer, software and information sciences are also encouraged.