This year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time. Although born as a local Czechoslovak event 25 years ago SOFSEM did not miss the opportunity oe red in 1989 by the newly found freedom in our part of Europe and has evolved into a full-?edged international conference. For all the changes, however, it has kept its generalist and mul- disciplinarycharacter.Thetracksofinvitedtalks,rangingfromTrendsinTheory to Software and Information Engineering, attest to this. Apart from the topics mentioned above, SOFSEM’99 oer s invited talks exploring core technologies, talks tracing the path from data to knowledge, and those describing a wide variety of applications. TherichcollectionofinvitedtalkspresentsonetraditionalfacetofSOFSEM: that of a winter school, in which IT researchers and professionals get an opp- tunity to see more of the large pasture of today’s computing than just their favourite grazing corner. To facilitate this purpose the prominent researchers delivering invited talks usually start with a broad overview of the state of the art in a wider area and then gradually focus on their particular subject.

This book constitutes the refereed proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2000, held in Milovy, Czech Republic in November/December 2000. The 16 invited papers and 18 contributed papers selected from 36 submissions were carefully selected in order to provide representative coverage of the three tracks: trends in algorithms, information technologies and practice, and computational perception.

This book constitutes the refereed proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2001, held in Piestany, Slovak Republic, in November/December 2001. Teh volume presents 12 invited lectures and one keynote paper by leading researchers together with 18 revised full research papers selected from 46 submissions. The papers span the whole range of informatics with emphasis on trends in informatics, enabling technologies for global computing, and practical systems engineering.

This book constitutes the refereed proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2002, held in Milovy, Czech Republic, in November 2002. The volume presents 10 invited lectures and the report on a panel discussion on GRID computing together with 11 revised full papers selected from 22 submissions. Among the topics covered are system design and testing related theory, distributed and parallel systems, type theory, multimedia, databases, computer vision, and soft computing.

This book constitutes the refereed proceedings of the 7th European Workshop on Software Process Technology, EWSPT 2000, held in Kaprun, Austria in February 2000 in conjunction with a meeting of the European ESPRIT IV Project for Process Instance Evolution (PIE). The 21 revised papers presented were carefully reviewed and selected from 44 submissions. The book is organized in sections on methods, applications, process instance evolution, distributed processes and process modeling languages, and industrial experience.

This book constitutes the refereed proceedings of the 7th International Conference on Intelligence and Services in Networks, IS&N 2000, held in Athens, Greece, in February 2000. The 23 revised papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in sections on electronic commerce, communications efficiency through management and control, architectures for multimedia communications, service creation techniques for software development and deployment, agent-based management, virtual home environments, and integrated and scalable solutions for telecommunications management.

Computational psychoanalysis is a new field stemming from Freudian psychoanalysis. The new area aims to understand the primary formal structures and running mechanisms of the unconscious while implementing them into computer sciences. Computational Psychoanalysis and Formal Bi-Logic Frameworks provides emerging information on this new field which uses psychoanalysis and the unconscious mind to make advancements in computational research. While highlighting the challenges of applying analytical logic trends to primary formal structures, readers will learn the valuable outputs to society when these trends are successfully implemented. This book is an important resource for computer scientists, researchers, academics, and other professionals seeking current research on applying psychoanalysis and Freudian concepts to computational structures.

Worked problems offer an interesting way to learn and practice with key concepts of string algorithms and combinatorics on words.

This book constitutes the refereed proceedings of the 24th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'97, held in Milovy, Czech Republic, in November 1997. SOFSEM is special in being a mix of a winter school, an international conference, and an advanced workshop meeting the demand for ongoing education in the area of computer science. The volume presents 22 invited contributions by leading experts together with 24 revised contributed papers selected from 63 submissions. The invited presentations are organized in topical sections on foundations, distributed and parallel computing, software engineering and methodology, and databases and information systems.