This book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held in Merin, Czech Republic. The 45 revised full papers, presented together with 10 invited contributions were carefully reviewed and selected from 157 submissions. The papers were organized in four topical tracks on computer science foundations, wireless, mobile, ad hoc and sensor networks, database technologies, and semantic Web technologies.

The international conference on current trends in the theory and practice of informatics SOFSEM 2000 was held 25 November-2 December 2000 in the c- ference facilities of the Dev?et Skal (Nine Rocks) Hotel, Milovy, Czech-Moravian Highlands, the Czech Republic. It was already the 27th annual meeting in the series of SOFSEM conferences organized in either the Czech or the Slovak Rep- lic. Since its establishment in 1974, SOFSEM has gone through a long dev- opment in parallel with the entire ?eld of informatics. Currently SOFSEM is a wide-scope, multidisciplinary conference, with stress on the interplay between the theory and practice of informatics. The SOFSEM scienti?c program consists mainly of invited talks which determine the topics of the conference. Invited talks are complemented by short refereed talks contributed by SOFSEM parti- pants. The topics of invited talks are chosen so as to cover the span from theory to practice and to bring interesting research areas to the attention of conf- ence participants. For the year 2000, the following three streams were chosen for presentation by the SOFSEM Steering Committee: - Trends in Algorithmics - Information Technologies in Practice - Computational Perception The above streams were covered through 16 invited talks given by prominent researchers. There were 18 contributed talks also presented, chosen by the int- national Program Committee from among 36 submitted papers. The program also included a panel on lessons learned from the Y2K problem.

ICALP { the International Colloquium on Automata, Languages, and Progr- ming { is a series of annual conferences of the European Association for Th- retical Computer Science (EATCS). ICALP'99 was organized by the Institute of Computer Science of the Academy of Sciences of the Czech Republic in - operation with the Action M Agency. Stimulated by the positive experience from previous meetings, the guiding idea of the ICALP'99 organization was to keep and to enhance the idea of a parallel two{track conference with invited plenary talks. Similarly to the two parts of the journal Theoretical Computer Science, Track A of the meeting is devoted to Algorithms, Automata, Complexity, and Games, and Track B to Logic, Semantics, and Theory of Programming. The Program Committee was structured along these same lines. As a further inno- tion, ICALP'99 was coordinated with the European Symposium on Algorithms (ESA'99) in such a way that both conferences took place in the same location with the former immediately followed by the latter. ICALP'99 was the 26th in the series of ICALP colloquia. Previous colloquia were held in Paris (1972), Saarbruc ] ken (1974), Edinburgh (1976), Turku (1977), Udine (1978), Graz (1979), Amsterdam (1980), Haifa (1981), Aarhus (1982), Barcelona (1983), Antwerp (1984), Nafplion (1985), Rennes (1986), Karlsruhe (1987), Tampere (1988), Stresa (1989), Warwick (1990), Madrid (1991), Vienna (1992), Lund (1993), Jerusalem (1994), Szeged (1995), Paderborn (1996), Bo- gna (1997), and Aalborg (1998). In the year 2000 ICALP will be held in Geneva."

This book presents the proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95, held in Prague, Czech Republic in August/September 1995.
The book contains eight invited papers and two abstracts of invited talks by outstanding scientists as well as 44 revised full research papers selected from a total of 104 submissions. All relevant aspects of theoretical computer science are addressed, particularly the mathematical foundations; the papers are organized in sections on structural complexity, algorithms, complexity theory, graphs in models of computation, lower bounds, formal languages, unification, rewriting and type theory, distributed computation, concurrency, semantics, model checking, and formal calculi.

This book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in Milovy, Czech Republic, in November 1995. The SOFSEM seminars are held annually and aim at fostering cooperation among and high-level continuing education of computer scientists active in different areas.
The book presents 17 invited full papers by renowned researchers as well as 22 revised refereed papers selected from 52 submissions. The 17 invited papers cover more than 350 pages and give a representative overview of fundamental issues, databases, software engineering, parallel and distributed systems and scientific computing, and multimedia and hypertext; the selected papers are devoted to special aspects of the same topics.