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

[txt]

[pdf]

SOFSEM is organized in parallel tracks with topics close enough to attract a community of researchers that share specific fields of interest. Each track consists in invited lectures, workshops, and contributed papers. 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 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

Important Dates (for all types of submissions):

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 Proceedings containing the invited papers (not exceeding 15 pages) and contributed papers - both full papers (not exceeding 10 pages) and short papers (not exceeding 4 pages) 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.

Communications papers describing the work-in-progress and Student Research Forum papers will be published in the local proceedings (with corresponding ISBN).

The working language of SOFSEM is English.
All authors are required to use Springer llncs style.

Student Research Forum:
An integral part of the SOFSEM is Student Research Forum (chair: Rastislav Kralovic, Comenius University). The forum offers the opportunity to present and discuss students' projects, to receive feedback on the obtained scientific results as well as the work in progress. The papers/posters will be reviewed and selected by Program Committee. To be eligible, all authors of the paper must be students. The best paper of the Sofsem 2005 Student Research Forum will be selected, awarded and published in LNCS Proceedings.

General Conference Chair:
Peter Vojtas, also Track chair Modeling and Searching Data in Web-Era (Institute of Informatics, P. J. Safarik University, Kosice, Slovakia)

Program Committee Co-chairs:
Bernadette Charron-Bost, Track chair Foundations of Computer Science (Laboratoire STIX, Ecole Polytechnique Palaiseau, France)
Ondrej Sykora, Track chair Graph drawing (Computer Science, Loughborough University, Loughborough, UK)
Maria Bielikova, Track chair Software Engineering (Faculty of Informatics and Information Technologies, Slovak University of Technology, Bratislava, Slovakia)

Submission:
The conference seeks original papers in all areas of computer science. Papers bridging the gap between theory and applications are highly encouraged. Authors are invited to submit a PostScript/PDF version of their paper together with at most 20 lines of abstract in ASCII format via the conference web page http://www.sofsem.sk Indicating the track and type of paper (contributed paper, communications paper or student paper).

Organization:
SOFSEM 2005 is organized by

• Slovak Society for Computer Science and
• Comenius University, Bratislava and
• P.J.Safarik University, Kosice

• Czech Society for Computer Science
• Faculty of Informatics and Information Technologies, Slovak University of Technology, Bratislava
• Slovak Research Consortium for Informatics and Mathematics,

Program Committee

Maria Bielikova,	Slovakia, Track chair
Bernadette Charron-Bost,	France, Track chair
Claude Crepeau,	Canada
Ulrich Eisenecker,	Germany
Ghica van Emde Boas,	Netherlands
Viliam Geffert,	Slovakia
Sergio Greco,	Italy
Patrick Healy,	Ireland
Juraj Hromkovic,	Switzerland
Michael Kaufmann,	Germany
Rastislav Kralovic,	Slovakia
Jan Kratochvil,	Czech Republic
Giuseppe Liotta	Italy
Frederic Magniez	France
Peter Mellor	UK
Pavol Navrat,	Slovakia
Jerzy Nawrocki,	Poland
Patrice Ossona de Mendez,	France
Catuscia Palamidessi,	France
Dana Pardubska,	Slovakia
Dimitris Plexousakis,	Greece
Jaroslav Pokorny,	Czech Republic
Karel Richta,	Czech Republic
Mark Roantree,	Ireland
Vaclav Snasel,	Czech Republic
Klaus-Dieter Schewe,	New Zealand
Ondrej Sykora,	UK, Track chair,
Gerard Tel	Netherlands
Ioannis Tollis	USA
Petr Tuma,	Czech Republic
Peter Vojtas,	Slovakia, PC chair and Track chair
Imrich Vrto,	Slovakia
Krzysztof Wecel,	Poland
Pavel Zezula,	Czech Republic

further Program Committee members can be included later

Organizing Committee
chair: Dana Pardubska(Comenius University, Bratislava)

General Contact Address:
Dana Pardubska - SOFSEM

Department of Computer Science
Faculty of Mathematics, Physics and Informatics
Mlynska dolina
482 48 Bratislava
Slovak Republic

email: sofsem@informatika.sk
phone: +421 2 602 95 236
fax: +421 2 654 27 041