SOFSEM 2005 31st Annual Conference on Current Trends in Theory and Practice of Informatics January 22 - 28, 2005 Hotel MAJ, Liptovsky Jan, Slovak Republic, Europe

For SOFSEM 2005 the following tracks and topics have been selected:

Track Foundations of Computer Science:

• Algorithms and data structures (including sequential, parallel, distributed, approximation and number theory algorithms)
• Complexity theory (computational and structural)
• Concurrency theory
• Cryptography and security
• Grammars and formal models
• Semantics and logic of programs
• Quantum computation and quantum information

Track Graph drawing:

• Visualization of computer networks, Web maps, software engineering diagrams, database schemas, chemical and biological structures
• Software systems and libraries for graph visualization
• Geometric graph theory and geometric computing
• Topology and planarity
• Graph combinatorics, algorithms and optimization
• Visual programming languages

Track Modeling and Searching Data in Web-Era:

• XML warehouse
• Structured, nonstructured, semistructured data
• Web clustering
• Imperfect information (including logical, probabilistic, possibilistic, Bayesian models)
• Approximate querying
• Search engines

Track Software Engineering:

• Software specification, software design, software evolution
• Model driven architecture
• Model driven software development
• Web-based software systems modeling
• Tools, languages and mechanisms for meta-modeling
• Domain modeling, new trends in software systems modeling
• Processes and tools for developing open source and free software