Peter Vojtás – författare

This volume contains papers selected for presentation at the 31st Annual C- ference on Current Trends in Theory and Practice of Informatics – SOFSEM 2005, held on January 22–28, 2005 in LiptovskyJ ´ an, ´ Slovakia. The series of SOFSEM conferences, organized alternately in the Czech - public and Slovakia since 1974, has a well-established tradition. The SOFSEM conferences were originally intended to break the Iron Curtain in scienti?c - change. After the velvet revolution SOFSEM changed to a regular broad-scope international conference. Nowadays, SOFSEM is focused each year on selected aspects of informatics. This year the conference was organized into four tracks, each of them complemented by two invited talks: – Foundations of Computer Science (Track Chair: Bernadette Charron-Bost) – Modeling and Searching Data in the Web-Era (Track Chair: Peter Vojt´ a? s) – Software Engineering (Track Chair: M´ aria Bielikova) ´ – Graph Drawing (Track Chair: Ondrej Syk ´ ora) The aim of SOFSEM 2005 was, as always, to promote cooperation among professionalsfromacademiaandindustryworkinginvariousareasofinformatics. Each track was complemented by two invited talks. The SOFSEM 2005 Program Committee members coming from 13 countries evaluated 144 submissions (128 contributed papers and 16 student research - rum papers). After a careful review process (counting at least 3 reviews per paper), followed by detailed discussions in the PC, and a co-chairs meeting held on October 8, 2005 in Bratislava, Slovakia, 44 papers (overall acceptance rate 34.

This volume contains papers selected for presentation at the 31st Annual C- ference on Current Trends in Theory and Practice of Informatics – SOFSEM 2005, held on January 22–28, 2005 in LiptovskyJ ´ an, ´ Slovakia. The series of SOFSEM conferences, organized alternately in the Czech - public and Slovakia since 1974, has a well-established tradition. The SOFSEM conferences were originally intended to break the Iron Curtain in scienti?c - change. After the velvet revolution SOFSEM changed to a regular broad-scope international conference. Nowadays, SOFSEM is focused each year on selected aspects of informatics. This year the conference was organized into four tracks, each of them complemented by two invited talks: – Foundations of Computer Science (Track Chair: Bernadette Charron-Bost) – Modeling and Searching Data in the Web-Era (Track Chair: Peter Vojt´ a? s) – Software Engineering (Track Chair: M´ aria Bielikova) ´ – Graph Drawing (Track Chair: Ondrej Syk ´ ora) The aim of SOFSEM 2005 was, as always, to promote cooperation among professionalsfromacademiaandindustryworkinginvariousareasofinformatics. Each track was complemented by two invited talks. The SOFSEM 2005 Program Committee members coming from 13 countries evaluated 144 submissions (128 contributed papers and 16 student research - rum papers). After a careful review process (counting at least 3 reviews per paper), followed by detailed discussions in the PC, and a co-chairs meeting held on October 8, 2005 in Bratislava, Slovakia, 44 papers (overall acceptance rate 34.

Thisvolumecontainspapersselectedforpresentationatthe28thSymposiumon MathematicalFoundationsofComputerScience-MFCS2003,heldinBratislava, Slovakia, August 25-29, 2003. MFCS 2003 was organized by the Slovak Society for Computer Science and the Comenius University in Bratislava, in cooperation with other institutions in Slovakia. It was supported by the European Association for Theoretical C- puter Science and the Slovak Research Consortium for Informatics and Mat- matics. The series of MFCS symposia, organized alternately in the Czech Republic, PolandandSlovakiasince1972,hasawell-establishedtradition. TheMFCSs- posiaencouragehigh-qualityresearchinallbranchesoftheoreticalcomputers- ence. Theirbroadscopeprovidesanopportunitytobringtogetherspecialistswho donotusuallymeetatspecializedconferences. Thepreviousmeetingstookplace ? in Jablonna, 1972; Strbsk' e Pleso, 1973; Jadwisin, 1974; Mari' ansk'eL' azn? e, 1975; Gdansk, ' 1976; Tatransk' a Lomnica, 1977; Zakopane, 1978; Olomouc, 1979; Ry- ? dzina, 1980; Strbsk' e Pleso, 1981; Prague, 1984; Bratislava, 1986; Carlsbad, 1988; Porabk , a-Kozubnik,1989;Bansk' aBystrica,1990;KazimierzDolny,1991;Prague, 1992;Gdansk, ' 1993,Ko? sice,1994;Prague,1995;Krak' ow,1996;Bratislava,1997; Brno, 1998; Szklarska Por, eba, 1999; Bratislava, 2000; Mari' ansk'eL' azn?e, 2001; and Warsaw-Otwock, 2002. The MFCS 2003 Proceedings consists of 7 invited papers and 55 c- tributed papers. The latter were selected by the Program Committee from a total of 137 submitted papers.