31st Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM) (SOFSEM 2005)

Venue: Hotel Maj

Location: Liptovsky Jan, Slovak Republic

Event Date/Time: Jan 22, 2005 End Date/Time: Jan 28, 2005
Abstract Submission Date: Aug 23, 2004
Paper Submission Date: Aug 30, 2004
Report as Spam


SOFSEM (SOFtware SEMinar) is an annual international conference devoted to the theory and practice of Informatics. Its aim is to promote co-operation among professionals from academia and industry working in various areas of Informatics.

SOFSEM is organized in parallel tracks with topics close enough to attract a community of researchers that share specific fields of interest. The tracks consist of invited lectures, workshop and contributed papers each. The schedule will allow the attendance of all invited lectures.

SOFSEM offers a unique opportunity to quickly obtain a representative overview of the areas of Computer Science selected as the topics of the year. It provides an optimal framework for discussions, meetings, establishing contacts, and socializing. SOFSEM is especially suited for young computer scientists.

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 Model Driven Software Development:
- software specification, software design, software evolution
- tools, languages and mechanisms for meta-modeling
- software engineering for web-based systems
- open source systems
- component-based systems
- domain modeling, new trends in software systems modeling

The program consists of a series of Invited Talks, given by prominent professionals and researchers, Contributed Talks selected by the Program Committee from submitted papers, Workshop Sessions discussing work-in-progress, and the Student Research Forum.

Proceedings containing the invited and contributed papers and the best Student Research Forum paper will be published by the Springer-Verlag in the Lecture Notes in Computer Science series and distributed at the conference. Papers describing the work-in-progress and Student Research Forum papers will be published in the local proceedings. The working language of SOFSEM is English.